On Wed, 26 Aug 2009, Martin Rubey wrote:
The short answer is, unfortunately, "no". Axiom (FriCAS, OpenAxiom) currently does not support "assumptions" like "assume that l is an integer".
There is (currently) no such type as "symbolic integer".
There has been a lot of discussion on how to implement what you want, but as far as I know, nobody is working on it. Would you be interested?
Hmm... I don't (yet) know any lisp. For my own needs, I could probably hack something up with pattern recognition rules analogous to those in section 0.1.8 of Jenks and Sutor - but I'm not sure if I could give it sufficient generality to be any use to anyone else. -- Regards, Dan _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail
