src/sage/geometry/integral_points.py: import more, for doctests

sagemath · Feb 15, 2023 · 60e3509 · 60e3509
1 parent 118a408
commit 60e3509
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/src/sage/geometry/integral_points.py b/src/sage/geometry/integral_points.py
@@ -5,7 +5,10 @@
         loop_over_parallelotope_points,
         simplex_points,
         rectangular_box_points,
-        print_cache
+        print_cache,
+        Inequality_generic,
+        Inequality_int,
+        InequalityCollection,
     )
 except ImportError:
     from .integral_points_generic_dense import (
@@ -14,5 +17,8 @@
         loop_over_parallelotope_points,
         simplex_points,
         rectangular_box_points,
-        print_cache
+        print_cache,
+        Inequality_generic,
+        Inequality_int,
+        InequalityCollection,
     )