Re: Failure to simplify trig functions of simple rational multiples of %pi

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