On Fri, May 8, 2009 at 12:56 AM, Robert Bradshaw <rober...@math.washington.edu> wrote: > > > On May 7, 2009, at 4:45 PM, William Stein wrote: > >> >> On Thu, May 7, 2009 at 3:25 PM, Robert Bradshaw >> <rober...@math.washington.edu> wrote: >>> >>> On May 7, 2009, at 4:10 AM, Mike Hansen wrote: >>> >>>> Hello all, >>>> >>>> I've been doing a lot of work recent trying to get the new symbolics >>>> ready for Sage 4.0. With 4.0 due out in 8 days, we're trying to do >>>> the final push. >>>> >>>> There are currently a lot of printing errors since Pynac/GiNaC >>>> prints >>>> expressions differently than Maxima does. Some things still need >>>> doctests, and there are a few small features left to implement. If >>>> you have some free time in the next few days and want to help out, >>>> it'd be greatly appreciated. >>>> >>>> If you want to try the code out, there is an spkg and two patches in >>>> http://sage.math.washington.edu/home/mhansen/symbolics/. These >>>> should >>>> install and apply cleanly to Sage 3.4.2. >>>> >>>> I'll try to be around in IRC most of the day tomorrow. Sometime >>>> during >>>> the day or evening, we'll set up a public notebook for people to try >>>> things out and try to break things. >>> >>> I just noticed >>> >>> sage: sqrt(x)^2 >>> x >>> >>> sage: sqrt(2)^2 >>> sqrt(2)^2 >>> >> >> OK, that's definitely a bug. By the way, testing this in Ginac >> directly is useful, which anybody can do by typing ginsh on sage.math: >> >> wst...@sage:~$ ginsh >> ginsh - GiNaC Interactive Shell (ginac V1.4.1) >> ... >>> sqrt(2)^2; >> 2 > > Also > > sage: sqrt(SR(16)) > sqrt(16) > sage: 27^(1/3) > 27^(1/3)
The little patch I posted to http://trac.sagemath.org/sage_trac/ticket/5930 fixes sage: sqrt(2)^2 2 However, still sage: sqrt(SR(16)) sqrt(16) sage: SR(16)^(1/2) sqrt(16) William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---