On Tuesday, November 4, 2014 10:54:51 AM UTC-8, rjf wrote:
>
>
> Sage apparently does not call Maxima for this, since 
>   is(equal(0,exp(512*(x+1))));   takes 0.05ms,   even if one
> provides the irrelevant   declare(x,real).
>
> Indeed, sage doesn't call Maxima with *that* statement because it would 
produce a result that has very little bearing on the question asked. sage 
DOES call Maxima with

is (equal(1,exp(256*(x+1))));

which indeed can take quite a while. In fact, profile data indicates nearly 
all time reported is spent on that statement.

The relevant routine is test_relation_maxima in sage/symbolic/relation.py . 
The routine could use a facelift (it's doing a lot of strings-based stuff 
that doesn't need to be done strings-based anymore), but the bottleneck for 
this example seems to be entirely in maxima.

-- 
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to