src/sage/rings/polynomial/msolve.py: Use absolute filename of msolve

sagemath · Sep 15, 2022 · 21c3c97 · 21c3c97
1 parent dd08bb1
commit 21c3c97
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/sage/rings/polynomial/msolve.py b/src/sage/rings/polynomial/msolve.py
@@ -48,13 +48,11 @@ def _run_msolve(ideal, options):
 
     # Run msolve
 
-    msolve().require()
-
     drlpolring = ideal.ring().change_ring(order='degrevlex')
     polys = ideal.change_ring(drlpolring).gens()
     msolve_in = tempfile.NamedTemporaryFile(mode='w',
                                             encoding='ascii', delete=False)
-    command = ["msolve", "-f", msolve_in.name] + options
+    command = [msolve().absolute_filename(), "-f", msolve_in.name] + options
     try:
         print(",".join(drlpolring.variable_names()), file=msolve_in)
         print(base.characteristic(), file=msolve_in)