Skip to content

Commit

Permalink
python/sage_helper.py: Fix for is_RealIntervalFieldElement
Browse files Browse the repository at this point in the history
  • Loading branch information
mkoeppe committed Nov 1, 2024
1 parent bc10c9a commit ddd860b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions python/sage_helper.py
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ def sage_method(function):
from sage.all import RealField, ComplexField, gcd, prod, powerset
from sage.all import MatrixSpace, matrix, vector, ZZ
from sage.all import Integer, Rational, QQ, RR, CC, SR
from sage.all import is_RealIntervalFieldElement, sqrt
from sage.all import sqrt
except ImportError:
# Modularized Sage library
from sage.arith.misc import gcd
Expand All @@ -51,10 +51,10 @@ def sage_method(function):
from sage.rings.integer_ring import ZZ
from sage.rings.rational import Rational
from sage.rings.rational_field import QQ
from sage.rings.real_mpfi import is_RealIntervalFieldElement
from sage.rings.real_mpfr import RealField, RR
from sage.symbolic.ring import SR

from sage.rings.real_mpfi import is_RealIntervalFieldElement
from sage.structure.sage_object import SageObject

else:
Expand Down

0 comments on commit ddd860b

Please sign in to comment.