[Axiom-developer] [recurrence relation operator] D-finite functions

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/RecurrenceRelationOperator/diff
--
I just realised that this should be implemented rather as a domain, namely the 
domain of D-finite (or P-recursive) functions. They have quite a lot of 
structure: you can multiply them, add them, take the hadamard product, 
differentiate them...

Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden