Opened 12 years ago

Last modified 11 years ago

#9947 closed defect

expression not in canonical form — at Version 1

Reported by: zimmerma Owned by: burcin
Priority: major Milestone: sage-4.7.1
Component: symbolics Keywords: pynac
Cc: Merged in:
Authors: Richard Kreckel, Burcin Erocal Reviewers:
Report Upstream: Fixed upstream, in a later stable release. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by burcin)

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.

Change History (2)

Changed 12 years ago by burcin

add doctest

comment:1 Changed 12 years ago by burcin

  • Authors set to Richard Kreckel, Burcin Erocal
  • Component changed from calculus to symbolics
  • Description modified (diff)
  • Keywords pynac added
  • Report Upstream changed from N/A to Fixed upstream, in a later stable release.
  • Status changed from new to needs_work
  • Summary changed from output bug in GiNaC to expression not in canonical form

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.

Note: See TracTickets for help on using tickets.