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

2010-07-11 Thread Carl Witty
On Thu, Dec 10, 2009 at 3:56 PM, Jason Grout wrote: > VictorMiller wrote: >> To do this correctly in full generality one needs to get into >> "cyclindrical algebraic decomposition" -- a set in R^n has a >> cylindrical algebraic >> decomposition if it is written as a finite union of sets of the for

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

2009-12-11 Thread Burcin Erocal
On Thu, 10 Dec 2009 14:37:50 -0800 (PST) Simon King wrote: > On 10 Dez., 23:15, William Stein wrote: > [...] > > __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ f := x < y > > > > > f*(-3) > > > ; > > > > __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ -3 y < -3 x > > > > > f*z; > > > > __

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

2009-12-10 Thread Jason Grout
VictorMiller wrote: > To do this correctly in full generality one needs to get into > "cyclindrical algebraic decomposition" -- a set in R^n has a > cylindrical algebraic > decomposition if it is written as a finite union of sets of the form > { x : f(x) > 0 } where f is a polynomial. There is an

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

2009-12-10 Thread VictorMiller
To do this correctly in full generality one needs to get into "cyclindrical algebraic decomposition" -- a set in R^n has a cylindrical algebraic decomposition if it is written as a finite union of sets of the form { x : f(x) > 0 } where f is a polynomial. There is an algorithm due to Tarski for cr

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

2009-12-10 Thread Simon King
Hi! On 10 Dez., 23:15, William Stein wrote: [...] >                                   f := x < y > > > f*(-3) > > ; > >                                   -3 y < -3 x > > > f*z; > >                                   *(x < y, z) > > > f*a; > >                                   *(x < y, a) What els

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

2009-12-10 Thread William Stein
On Thu, Dec 10, 2009 at 1:33 PM, kcrisman wrote: > > > On Dec 10, 2:49 pm, William Stein wrote: >> On Thu, Dec 10, 2009 at 10:32 AM, kcrisman wrote: >> >> >> At this point, I'm just throwing some remarks out, not saying that we >> >> should >> >> do anything in particular. >> >> >> I'm curious

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

2009-12-10 Thread kcrisman
On Dec 10, 2:49 pm, William Stein wrote: > On Thu, Dec 10, 2009 at 10:32 AM, kcrisman wrote: > > >> At this point, I'm just throwing some remarks out, not saying that we > >> should > >> do anything in particular. > > >> I'm curious -- who multiplies equalities by a scalar *except* high school

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

2009-12-10 Thread William Stein
On Thu, Dec 10, 2009 at 10:32 AM, kcrisman wrote: >> >> At this point, I'm just throwing some remarks out, not saying that we should >> do anything in particular. >> >> I'm curious -- who multiplies equalities by a scalar *except* high school >> students or college students taking entry level coll

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

2009-12-10 Thread kcrisman
> > At this point, I'm just throwing some remarks out, not saying that we should > do anything in particular. > > I'm curious -- who multiplies equalities by a scalar *except* high school > students or college students taking entry level college algebra classes? Or those in calculus or LP classes