#9947: expression not in canonical form
----------------------------------------------+-----------------------------
   Reporter:  zimmerma                        |       Owner:  burcin            
                        
       Type:  defect                          |      Status:  needs_work        
                        
   Priority:  major                           |   Milestone:  sage-4.6          
                        
  Component:  symbolics                       |    Keywords:  pynac             
                        
     Author:  Richard Kreckel, Burcin Erocal  |    Upstream:  Fixed upstream, 
in a later stable release.
   Reviewer:                                  |      Merged:                    
                        
Work_issues:                                  |  
----------------------------------------------+-----------------------------
Changes (by newvalueoldvalue):

  * status:  new => needs_work
  * author:  => Richard Kreckel, Burcin Erocal
  * component:  calculus => symbolics
  * upstream:  N/A => Fixed upstream, in a later stable release.
  * keywords:  => pynac


Old description:

> {{{
> sage: a.imag()
> sin(1/2*arctan2(0, -88* + 1))*sqrt(abs(4*(sqrt(3) - 5)*(sqrt(3) + 5) +
> 1))
> }}}
> See the output of the second argument of {{{arctan2}}}.
> See also #9913.

New description:

 In some cases GiNaC leaves `numeric` objects in the terms of an `add`:

 {{{
 sage: a=(sqrt(4*(sqrt(3) - 5)*(sqrt(3) + 5) + 48) + 4*sqrt(3))/ (sqrt(3) +
 5)
 sage: a.imag()
 sin(1/2*arctan2(0, -88* + 1))*sqrt(abs(4*(sqrt(3) - 5)*(sqrt(3) + 5) + 1))
 }}}
 See the output of the second argument of {{{arctan2}}}.

 The term `-88*` is generated by the `expair` `-22*4`. This term should be
 moved to the overall coefficient.

 See also #9913.

--

Comment:

 This was fixed in GiNaC by Richard Kreckel. Here is the relevant patch:

 
http://www.ginac.de/ginac.git?p=ginac.git;a=commitdiff;h=e08cda1854bdb82f6706ec269233577690ae00e4

 I applied the patch to pynac, so this will be fixed in the next release.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9947#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to