Hi Jason,

On Sat, 31 Oct 2009 19:58:56 -0500
Jason Grout <jason-s...@creativetrax.com> wrote:

> I think it's kind of weird that:
> 
> sqrt(2)>1
> 
> does not return True automatically.  I realize it's because symbolic 
> expressions do not automatically do comparisons, but maybe we ought
> to make an exception for symbolic constants?

How would this work?

We could just evaluate both sides in RIF, and check the inequality
there, but how can one decide the initial precision to use?

Considering this example might be more instructive than the one above:

sqrt(2) - 0.4142135623730950488016887242 > 1


Thanks.

Burcin

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to