Thanks. Incidentally, at some point in the not-to-distant future, sqrt
will be replaced by a symbolic version, so sqrt(2) will be symbolic. Then
sqrt(2) + 1 - 1 == sqrt(2) will be true (and the equality will be tested
using either Maxima or Giac).
William
Yes at this moment there is an unpleasant inconsistency between some
functions and others.
E.g. log(2) or sqrt(2) evaluate immediately, whereas sin(2) doesn't.
Michel
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/
-~--~~~~--~~--~--~---