Hi, I got this from the "report a problem" report link.
I confirmed this with 4.3.2, I think this would at also make a nice
doctest if it is already known...
reset(); forget(); n=var('n'); assume(n>0); bool(n>0)
=> True
After that, type:
reset(); n=var('n'); assume(n>0); bool(n>0)
=> False
Expected Behavior: The second line should yield True.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
