This should have been fixed in #1163 or #7315, but slipped through the cracks since I didn't know about it. Thanks to Robert D. for bringing the "remove" thing to my attention - I think that will make this stuff a little easier to read when it gets fixed.
- kcrisman On Nov 21, 7:22 am, Burcin Erocal <[email protected]> wrote: > On Fri, 20 Nov 2009 11:48:51 -0800 > > > > > > William Stein <[email protected]> wrote: > > On Fri, Nov 20, 2009 at 7:11 AM, Robert Dodier > > <[email protected]> wrote: > > > On Nov 19, 5:31 pm, Mike Witt <[email protected]> wrote: > > > >> sage: assume(n, 'odd') > > >> sage: assumptions() > > >> [n is odd] > > >> sage: foo=sin((-1)*n*pi) > > >> sage: foo.simplify() > > >> 0 > > >> sage: forget(n, 'odd') > > >> sage: assumptions() > > >> [] > > >> sage: foo=sin((-1)*n*pi) > > >> sage: foo.simplify() > > >> 0 > > > > I'm guessing that Sage punts to Maxima for this stuff. > > > For better or worse (mostly worse) there are different ways > > > to declare & undeclare stuff in Maxima. > > > For the "odd" declaration, it's declare(n, odd) and remove(n, odd). > > > I guess assume(n, 'odd') was translated to declare(n, odd) but > > > forget(n, 'odd') was not translated to remove(n, odd). > > > I don't know much about Sage so I could be way off here. > > > I think you're exactly 100% on target here, actually. I think this > > partly because I co-wrote the Sage assumptions-on-top-of-maxima, and > > "remove(n,odd)" looks like something I've never heard of. > > This is now #7507: > > http://trac.sagemath.org/sage_trac/ticket/7507 > > Cheers, > Burcin -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
