src/sage/rings/polynomial/multi_polynomial_sequence.py: Remove use of…

… fes
sagemath · Nov 19, 2022 · e7c8026 · e7c8026
1 parent 444d3f3
commit e7c8026
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 103 deletions.
diff --git a/src/sage/features/fes.py b/src/sage/features/fes.py
diff --git a/src/sage/rings/polynomial/multi_polynomial_sequence.py b/src/sage/rings/polynomial/multi_polynomial_sequence.py
@@ -1466,13 +1466,7 @@ def solve(self, algorithm='polybori', n=1,  eliminate_linear_variables=True, ver
             S = PolynomialSequence( R_solving, [ R_solving(f) for f in T] )
 
         if S != []:
-            if algorithm == "exhaustive_search":
-                from sage.features.fes import LibFES
-                LibFES().require()
-                from sage.libs.fes import exhaustive_search
-                solutions = exhaustive_search(S, max_sols=n, verbose=verbose, **kwds)
-
-            elif algorithm == "polybori":
+            if algorithm == "polybori":
                 I = S.ideal()
                 if verbose:
                     I.groebner_basis(full_prot=True, **kwds)