From ddd860b526eb9c64bd260db1e79aee7c98f59627 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 31 Oct 2024 19:42:01 -0700 Subject: [PATCH] python/sage_helper.py: Fix for is_RealIntervalFieldElement --- python/sage_helper.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/sage_helper.py b/python/sage_helper.py index 9bc6861b..3a0e82fd 100644 --- a/python/sage_helper.py +++ b/python/sage_helper.py @@ -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 @@ -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: