Re: [sage-devel] Multiplying inequality by negative number

2009-12-10 Thread William Stein
On Thu, Dec 10, 2009 at 12:45 AM, Mike Hansen wrote: > On Thu, Dec 10, 2009 at 3:37 PM, ma...@mendelu.cz wrote: >> sage: f = x + 3 < y - 2 >> sage: f*(-1) >> -x - 3 < -y + 2 >> >> Is this really intended behavior? Shouldnt the answer be the >> following? >> >> sage: f*(-1) >> -x - 3 > -y + 2 >> >

Re: [sage-devel] Multiplying inequality by negative number

2009-12-10 Thread Mike Hansen
On Thu, Dec 10, 2009 at 3:37 PM, ma...@mendelu.cz wrote: > sage: f = x + 3 < y - 2 > sage: f*(-1) > -x - 3 < -y + 2 > > Is this really intended behavior? Shouldnt the answer be the > following? > > sage: f*(-1) > -x - 3 > -y + 2 > > But what about f*(a)  or f*(x-2)? Should Sage return this? > (-x-