Is there any way to fix it (at least by yourself, in Sage's source code) ? On Friday, May 11, 2012 1:14:01 AM UTC+2, John H Palmieri wrote: > > > > On Thursday, May 10, 2012 2:41:07 PM UTC-7, Duc Trung Ha wrote: >> >> Hola, >> >> would anybody be so kind and explain to me the mechanism behind >> "assume(sth)"? >> > > 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. > > sage: a = (x - 2 <= 0) > sage: b = (x <= 2) > sage: c = (x - 1 <= 0) > sage: a == b > False > sage: a == c > True > sage: b == c > False > > The first two claimed equalities are a bit troubling... > > -- > John > >
-- 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
