On Dec 24, 11:18 am, William Stein <[email protected]> wrote: > The problem -- which is a serious one -- is that Sage's symbolic > integration is by default done using Maxima (this is currently the > main way in which Maxima is used in Sage; the other big way is for > solving symbolic equations). Maxima has a somewhat weak assumptions > system and was designed in the 1960s when the assumption that a user > was at the terminal happily answering questions -- a sort of > conversation -- was considered reasonable.
For the record, I believe that strengthening the assume system would be the shortest path towards solving the problem which started this thread. (As opposed to revising or reimplementing the code for definite integration.) FWIW Robert Dodier -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
