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
-~----------~----~----~----~------~----~------~--~---

Reply via email to