doctest fixed Pynac RuntimeErrors

[vbraun]

Series times variable raises the following exception:

sage: ex = sin(x).series(x==0, 3) * x
sage: str(ex)
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-5-c277618b0823> in <module>()
----> 1 str(ex)

/mnt/disk/home/release/Sage/local/lib/python2.7/site-packages/sage/structure/sage_object.so in sage.structure.sage_object.SageObject.__repr__ (build/cythonized/sage/structure/sage_object.c:1962)()

/mnt/disk/home/release/Sage/local/lib/python2.7/site-packages/sage/symbolic/expression.so in sage.symbolic.expression.Expression._repr_ (build/cythonized/sage/symbolic/expression.cpp:4749)()

/mnt/disk/home/release/Sage/local/lib/python2.7/site-packages/sage/symbolic/ring.so in sage.symbolic.ring.SymbolicRing._repr_element_ (build/cythonized/sage/symbolic/ring.cpp:8462)()

RuntimeError: comparing typeid's

pynac/pynac#22
pynac/pynac#32
pynac/pynac#33

Depends on #18362

CC: @burcin

Component: symbolics

Author: Ralf Stephan

Branch/Commit: 420af54

Reviewer: Jeroen Demeyer

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

[rwst]

comment:1

I get the same(?) error in the current #7660.

sage: theta = var('theta')
sage: eqn =   (x^3 + theta < sin(x*theta))
sage: eqn/theta
<repr(<sage.symbolic.expression.Expression at 0x7f3fe34efef0>) failed: RuntimeError: comparing typeid's>

[rwst]

comment:2

Also, from comment 16 of #12967:

sage: cmp(SR(oo), sqrt(2))
RuntimeError: comparing typeid's

[rwst]

Description changed:

--- 
+++ 
@@ -16,3 +16,4 @@
 
 RuntimeError: comparing typeid's
 ```
+https://github.com/pynac/pynac/issues/22

[rwst]

Upstream: Reported upstream. Developers acknowledge bug.

[rwst]

Dependencies: pynac-0.3.7

[rwst]

Changed upstream from Reported upstream. Developers acknowledge bug. to Fixed upstream, in a later stable release.

[rwst]

comment:3

With the latest commit in Pynac we now have:

sage: ex = sin(x).series(x==0, 3) * x
sage: str(ex)
'x*(1*x + Order(x^3))'
sage: cmp(SR(oo), sqrt(2))
1
sage: bool(SR(oo) < sqrt(2))  
False
sage: bool(SR(oo) > sqrt(2))
False

This means there is no longer a runtime error, there is however still code missing in Pynac and Sage to correctly handle these requests (see #12967 and the discussion in #18393).

[rwst]

Changed dependencies from pynac-0.3.7 to #18362, #12967

[rwst]

Changed upstream from Fixed upstream, in a later stable release. to none