On Thu, 4 Jul 2013 04:49:16 -0700 (PDT)
vdelecroix <[email protected]> wrote:

> If the differential forms are somewhat immutable we may also save the 
> result of is_zero once for all. Why do not make is_zero a
> cached_method of symbolic expressions ?

Do you mean wrapping sage.symbolic.expression.Expression.is_zero() with
the cached_method decorator?

Symbolic expressions are not really immutable. It is possible to
declare new assumptions (with the assume() function), change properties
of the variables (with var('x', domain=RR)) and change the result of
is_zero(). Caching results of calls to Maxima is not an option.

On the other hand, improving the implementations of __nonzero__() and
test_relation() method in sage.symbolic.expression.Expression is
definitely possible.


Cheers,
Burcin

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to