>Your methodology for "diffs back" assumes
>correctly computing the derivative and correctly
>comparing symbolic expressions and for the latter
>counterexamples are known

Yes. This is just an indicator of possible problems, nothing more.
"diffs back" checks f == 0 which is incorrect a priori, it should 
be f == c for some constant. (See for example problem(24).) 
But as a warning lamp for the reviewer it works quite well.

> 'sage.rings.complex_interval.ComplexIntervalFieldElement'
> object has no attribute 'cot'

There are many similar errors of this kind. I have been told that
they reflect some other Sage bug not related to integration.

The most weird thing I observed occurs in connection with Charlwood's 
problem 8. Sometimes Sage quits with an RuntimeError and sometimes
Sage returns a monster solution. Indefinite integration by a Monte 
Carlo method? Something for the Journal of Irreproducible Results ;-)

Peter

-- 
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/groups/opt_out.

Reply via email to