Commit 78c43cfa authored by Nicolas M. Thiéry's avatar Nicolas M. Thiéry

Status of Sage float's pickling

parent 382e172f
......@@ -164,6 +164,27 @@ class OMUnpickler(Unpickler):
id=None, cdbase=None)
sage: OMtest_pickling(3)
Sage real numbers::
sage: OMtest_pickling(1.1+1.1)
But not quite yet real literals::
sage: OMtest_pickling(1.1)
Traceback (most recent call last):
sage: l = 1.1
sage: o = OMloads(dumps(1.1))
sage: l2 = openmath.convert.to_python(o); l2
sage: l2 == l
sage: type(l2)
<type 'sage.rings.real_mpfr.RealNumber'>
sage: type(l)
<type 'sage.rings.real_mpfr.RealLiteral'>
Lists of integers::
sage: l = [3r, 1r, 2r]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment