ConvexSet_base._test_contains: Only test extension to AA for exact ba…

…se rings
sagemath · Jun 14, 2021 · 7323b10 · 7323b10
1 parent 2b1d108
commit 7323b10
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/src/sage/geometry/convex_set.py b/src/sage/geometry/convex_set.py
@@ -505,10 +505,11 @@ def _test_contains(self, tester=None, **options):
             if ambient_point is not None:
                 tester.assertEqual(contains_space_point, self.contains(ambient_point))
             tester.assertEqual(contains_space_point, self.contains(space_coords))
-            from sage.rings.qqbar import AA
-            ext_space = self.ambient_vector_space(AA)
-            ext_space_point = ext_space(space_point)
-            tester.assertEqual(contains_space_point, self.contains(ext_space_point))
+            if space.base_ring().is_exact():
+                from sage.rings.qqbar import AA
+                ext_space = self.ambient_vector_space(AA)
+                ext_space_point = ext_space(space_point)
+                tester.assertEqual(contains_space_point, self.contains(ext_space_point))
             from sage.symbolic.ring import SR
             symbolic_space = self.ambient_vector_space(SR)
             symbolic_space_point = symbolic_space(space_point)