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

Matthias Koeppe · Matthias Koeppe · commit 60e3509a4512 · 2023-02-14T21:52:00.000-08:00
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,
     )
