On Friday, May 11, 2012 2:39:55 AM UTC-4, Keshav Kini wrote: > > > The mechanism seems to be broken. Actually, the mechanism that compares > boolean > > expressions seems to be broken, which means that assumptions don't work > right, > > either. > > Relevant: #11309, a ticket I worked on a bit at a Sage Days last year > with Burcin. http://trac.sagemath.org/sage_trac/ticket/11309 > > Ah, I knew there was something. And it still applies...
Yes, it seems to fix this issue. sage: c = (x-2<=0) sage: assume(c) sage: a = (x-1<=0) sage: if a in sage.symbolic.assumptions._assumptions: ....: print 'yes' ....: sage: assumptions() [x - 2 <= 0] sage: assume(a) sage: assumptions() [x - 2 <= 0, x - 1 <= 0] I've updated the ticket with this. There is still some discussion there, a year old, about nested expressions... once again, the perfect has become the enemy of fixing at all. - kcrisman -- 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
