Opened 5 years ago

Closed 6 weeks ago

#20784 closed defect (fixed)

not all symbolic equations stay unevaluated

Reported by: rws Owned by:
Priority: minor Milestone: sage-9.3
Component: symbolics Keywords:
Cc: Merged in:
Authors: Dave Morris Reviewers: Markus Wageringel
Report Upstream: N/A Work issues:
Branch: 6b95486 (Commits, GitHub, GitLab) Commit: 6b95486d5612b28112e33224e26dd4c991f02068
Dependencies: Stopgaps:

Status badges

Description 

sage: limit(1/x, x=0) == unsigned_infinity 
True
sage: SR(unsigned_infinity) == unsigned_infinity
True

Change History (5)

comment:1 Changed 2 months ago by gh-DaveWitteMorris

  • Branch set to public/20784

comment:2 Changed 2 months ago by gh-DaveWitteMorris

  • Authors set to Dave Morris
  • Commit set to 6b95486d5612b28112e33224e26dd4c991f02068
  • Milestone changed from sage-7.3 to sage-9.3
  • Priority changed from major to minor
  • Status changed from new to needs_review

Both of these stay unevaluated now, as they should: 

sage: limit(1/x, x=0) == unsigned_infinity
Infinity == Infinity
sage: SR(unsigned_infinity) == unsigned_infinity
Infinity == Infinity

The PR adds them as doctests.

New commits:

​6b95486doctest for trac 20784

comment:3 Changed 2 months ago by gh-mwageringel

  • Reviewers set to Markus Wageringel
  • Status changed from needs_review to positive_review

This looks good as well.

comment:4 Changed 2 months ago by gh-DaveWitteMorris

Thanks for the reviews!

comment:5 Changed 6 weeks ago by vbraun

  • Branch changed from public/20784 to 6b95486d5612b28112e33224e26dd4c991f02068
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.