not all symbolic equations stay unevaluated

[rwst]

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

Component: symbolics

Author: Dave Morris

Branch/Commit: 6b95486

Reviewer: Markus Wageringel

Issue created by migration from https://trac.sagemath.org/ticket/20784

[DaveWitteMorris]

Branch: public/20784

[DaveWitteMorris]

comment:2

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:

6b95486

doctest for trac 20784

[DaveWitteMorris]

Author: Dave Morris

[DaveWitteMorris]

Commit: 6b95486

[mwageringel]

Reviewer: Markus Wageringel

[mwageringel]

comment:3

This looks good as well.