[sage-support] Re: [sage-cloud] Evaluating very simple inequalities

2014-06-05 Thread Eric Gourgoulhon
Hi, > > On Wed, Jun 4, 2014 at 8:42 AM, Cyril Bdl > > wrote: > > Hello, > > > > Is this normal ? > > > > var('t') > > assume(t<1,t>-1) > > assume(t,'real') > > bool(abs(t)<1) > > > > False > > > > This led my students (and I !!) to many difficulties before we > understood that all w

[sage-support] Re: [sage-cloud] Evaluating very simple inequalities

2014-06-04 Thread William Stein
This is a general Sage question, so I'm sending it to the sage-support mailing list, which I encourage you to join: https://groups.google.com/forum/#!forum/sage-support On Wed, Jun 4, 2014 at 8:42 AM, Cyril Bdl wrote: > Hello, > > Is this normal ? > > var('t') > assume(t<1,t>-1) > assume(t,'re