#7507: can't forget some assumptions
-------------------------+--------------------------------------------------
Reporter: burcin | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-4.3
Component: symbolics | Keywords: maxima, assume
Work_issues: | Author:
Reviewer: | Merged:
-------------------------+--------------------------------------------------
Reported by Mike Witt on sage-support:
{{{
----------------------------------------------------------------------
| Sage Version 4.2, Release Date: 2009-10-24 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: n=var('n')
sage: assumptions()
[]
sage: foo=sin((-1)*n*pi)
sage: foo.simplify()
-sin(pi*n)
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
}}}
Robert Dodier's comments:
{{{
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.
}}}
Here is the thread:
http://groups.google.com/group/sage-
support/browse_thread/thread/9db67c2df781966b
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7507>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=.
