>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.