On Oct 27, 11:00 am, "William Stein" <[EMAIL PROTECTED]> wrote:
> > sage: axiom.solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x) > > > +-+ +-+ > > [x= 0,x= \|2 ,x= - \|2 ] > > Sage's solve command is simply a light wrapper around Maxima's, > and Maxima doesn't solve the above: FTR there has been progress on a stronger equation solver for Maxima. All hail Barton Willis for his fine work! in Maxima 5.16.3: load (topoly_solver); to_poly_solve (sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x) ; => [[x = - sqrt(2)], [x = sqrt(2)], [x = 0]] There will be further improvements in the next release. Robert Dodier --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
