#34519 msolve._variety() -> msolve.variety()

sagemath · Sep 16, 2022 · 7b09d5d · 7b09d5d
1 parent d5565cf
commit 7b09d5d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/sage/rings/polynomial/msolve.py b/src/sage/rings/polynomial/msolve.py
@@ -36,7 +36,7 @@
 from sage.rings.real_mpfi import RealIntervalField_class, RealIntervalField
 
 
-def _variety(ideal, ring, proof):
+def variety(ideal, ring, *, proof=True):
     r"""
     Compute the variety of a zero-dimensional ideal using msolve.
 

diff --git a/src/sage/rings/polynomial/multi_polynomial_ideal.py b/src/sage/rings/polynomial/multi_polynomial_ideal.py
@@ -2477,7 +2477,7 @@ def variety(self, ring=None, *, algorithm="triangular_decomposition", proof=True
             return self._variety_triangular_decomposition(ring)
         elif algorithm == "msolve":
             from . import msolve
-            return msolve._variety(self, ring, proof)
+            return msolve.variety(self, ring, proof=proof)
         else:
             raise ValueError(f"unknown algorithm {algorithm!r}")