sage: a=(sqrt(6)-sqrt(5))^-1 sage: maxima(a).trigrat() sqrt(6)+sqrt(5) Now the question is, how to include trigrat function into Sage. I attempted to do something similar for logarithms and logcontract, logexpand in http://trac.sagemath.org/sage_trac/ticket/7334 - see the related dicussion on sage-devel (the link is in the discussion in the trac). As I understand the discussion, the simplification frontend is supposed to be rewritten in near future.
Robert Marik On 10 pro, 06:21, kcrisman <kcris...@gmail.com> wrote: > On Dec 9, 5:07 pm, Harald Schilly <harald.schi...@gmail.com> wrote: > > > > > Hi, i got a "report a problem" comment about how > > simplify/full_simplify works. I think this could be sent to maxima > > upstream? > > > Well, here is the (rather educational) example: > > > sage: a=(sqrt(6)-sqrt(5))^-1 > > > sage: a > > -1/(sqrt(5) - sqrt(6)) > > > sage: a.full_simplify() > > 1/(sqrt(2)*sqrt(3) - sqrt(5)) > > > sage: a.simplify() > > -1/(sqrt(5) - sqrt(6)) > > Before doing that, note that the Sage rep probably treats the > denominator separately somehow. Also, since full_simplify() calls a > whole heck of a lot of things, they may cancel each other out in this > case - it would be worth trying a few of the simplify_blah separately; > unfortunately, I can't do that right now. Anyway, let's not assume > it's Maxima until we're sure :) > > - kcrisman -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
