Opened 10 years ago

Closed 10 years ago

#13587 closed defect (fixed)

automatic simplification can lose some infinities

Reported by: Burcin Erocal Owned by: Burcin Erocal
Priority: critical Milestone: sage-5.9
Component: symbolics Keywords: pynac arithmetic
Cc: Karl-Dieter Crisman Merged in: sage-5.9.beta1
Authors: Burcin Erocal Reviewers: Jean-Pierre Flori
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #13729 Stopgaps:

Status badges

Description

From this ask.sagemath.org question:

sage: t = tan(x)^2 - tan(x)    
sage: t.subs(x=pi/2)
0
sage: u = gamma(x) - gamma(x-1)
sage: u.subs(x=-1)
0

Attachments (1)

trac_13587-infinity_doctest.patch (928 bytes) - added by Burcin Erocal 10 years ago.

Download all attachments as: .zip

Change History (8)

comment:1 Changed 10 years ago by Karl-Dieter Crisman

Cc: Karl-Dieter Crisman added

Changed 10 years ago by Burcin Erocal

comment:2 Changed 10 years ago by Burcin Erocal

This is now Pynac issue #14. It will be fixed in the next Pynac release.

comment:3 Changed 10 years ago by Burcin Erocal

Authors: Burcin Erocal
Dependencies: #13729
Keywords: arithmetic added
Status: newneeds_review

Pynac 0.2.6 contains a fix for this. Updating the spkg is #13729.

comment:4 Changed 10 years ago by Jean-Pierre Flori

Reviewers: Jean-Pierre Flori
Status: needs_reviewpositive_review

The added doctest tests what it should and passes with updated Pynac, so positive review.

comment:5 Changed 10 years ago by Jeroen Demeyer

Milestone: sage-5.5sage-pending

comment:6 Changed 10 years ago by Jeroen Demeyer

Milestone: sage-pendingsage-5.9

comment:7 Changed 10 years ago by Jeroen Demeyer

Merged in: sage-5.9.beta1
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.