Aaron was correct, it was late at night (or early in the morning). Ondrej, can you elaborate on what you mean by canonical form? Do you mean something should be done in cos.canonize? Currently canonize just call cls.eval(arg).
I'm unclear why it works for 1 and x, i.e. cos(1-x)==cos(x-1), but not with x and y? It seems like there must be some logic that has been coded in a way that only works with specific types, when it really should work for any reasonable type. Is this something that would be fixed in cos.eval? Or should the fix go elsewhere? In cos.eval there is some code that is supposed to take care of normalizing cos(-x-y) to cos(x+y), but obviously the logic in there isn't catching this. ~Luke On May 29, 9:06 am, "Aaron S. Meurer" <asmeu...@gmail.com> wrote: > On May 29, 2009, at 9:25 AM, Ondrej Certik wrote: > > > > > On Fri, May 29, 2009 at 2:24 AM, Luke <hazelnu...@gmail.com> wrote: > > >> It is late, but it seems to me that [2] should evaluate true, for any > > > Why is it late? > > I think because he sent it at 2:30 in the morning. > > Aaron Meurer --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy?hl=en -~----------~----~----~----~------~----~------~--~---