Hi,
>
> On Wed, Jun 4, 2014 at 8:42 AM, Cyril Bdl <bbab...@gmail.com <javascript:>>
> 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 was coming from this strange behaviour.
> >
>
>
Indeed, the function assume is not very reliable; it works for certain
simple operations (e.g. bool(1-t^2 > 0) correctly returns True in your
example). Although this will not solve your problem, you may find some
reasons why it is so in this thread
<https://groups.google.com/d/msg/sage-devel/zh3MfEdbwPs/z-xyL02v1IwJ>.
--
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.
