- DifferenceRootReduce will attempt to represent any expression as a DifferenceRoot object.
- DifferenceRootReduce[expr,n] always gives exactly when the DifferenceRoot object for expr is equivalent to the zero sequence.
- DifferenceRootReduce automatically threads over lists, as well as equations and inequalities.
- DifferenceRootReduce[f] operates on a pure function or pure DifferenceRoot object.
Introduced in 2008