[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Failure to simplify trig functions of simple rational
Re: [Axiom-mail] Failure to simplify trig functions of simple rational multiples of %pi
Wed, 26 Aug 2009 14:13:09 +0100 (BST)
Alpine 2.00 (LNX 1167 2008-08-23)
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
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.