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-

[sage-devel] Multiplying inequality by negative number

2009-12-10 Thread ma...@mendelu.cz
Dear sage-devel this is doctested in relation.py 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-3)*(x-2)<(2-y)*(x-2) Or rai