Opened 7 years ago

Closed 7 years ago

#13587 closed defect (fixed)

automatic simplification can lose some infinities

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

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 7 years ago.

Download all attachments as: .zip

Change History (8)

comment:1 Changed 7 years ago by kcrisman

  • Cc kcrisman added

Changed 7 years ago by burcin

comment:2 Changed 7 years ago by burcin

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

comment:3 Changed 7 years ago by burcin

  • Authors set to Burcin Erocal
  • Dependencies set to #13729
  • Keywords arithmetic added
  • Status changed from new to needs_review

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

comment:4 Changed 7 years ago by jpflori

  • Reviewers set to Jean-Pierre Flori
  • Status changed from needs_review to positive_review

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

comment:5 Changed 7 years ago by jdemeyer

  • Milestone changed from sage-5.5 to sage-pending

comment:6 Changed 7 years ago by jdemeyer

  • Milestone changed from sage-pending to sage-5.9

comment:7 Changed 7 years ago by jdemeyer

  • Merged in set to sage-5.9.beta1
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.