Developer`FibonacciSimplify

FibonacciSimplify[expr, assum] tries to simplify combinations of symbolic Fibonacci numbers in expr using assumptions assum.

Example: Developer`FibonacciSimplify[Fibonacci[n-1]+Fibonacci[n-2], Element[n, Integers]] .

FibonacciSimplify can typically perform transformations only when arguments of Fibonacci numbers are specified to be integers.

FibonacciSimplify is automatically used inside FullSimplify and FunctionExpand.