On Sunday, July 12, 2015 at 2:34:56 PM UTC+2, Stein William wrote: > ---------- Forwarded message ---------- > From: ruiming zhang <ruimin...@outlook.com> > Date: Sunday, July 12, 2015 > Subject: a sage bug > To: wst...@math.washington.edu > > ... > e=x+1<=x-2 > e*(-1) > -x-1<=-x+2,
This is known and has a fix. Only the review is missing. If someone wants to review the fix, please see this ticket: http://trac.sagemath.org/ticket/7660 Regards, -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
