On Sat, Dec 26, 2009 at 8:28 AM, Robert Dodier <robert.dod...@gmail.com> wrote: > On Dec 24, 11:18 am, William Stein <wst...@gmail.com> 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.)
Cool. I didn't know that. What do you have in mind? William -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org