Newer versions of Singular have moved poly.lib to polylib.lib - fixin…

…g import.
GDeLaurentis · Dec 27, 2023 · b7346f8 · b7346f8
1 parent 1857875
commit b7346f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/syngular/ideal_algorithms.py b/syngular/ideal_algorithms.py
@@ -44,7 +44,7 @@ def extension(self, U, ordering="lp"):
         return I_extended
 
     singular_commands_EXTCONT1 = r"""
-        LIB "poly.lib";
+        LIB "polylib.lib";
         // K(U)[X \ U]
         ring r2 = {r2};
         ideal G = {extended_ideal};
@@ -85,7 +85,7 @@ def extension_contraction_fpoly(self, U, ordering="lp"):
         return ['1'] + f_polys_factors
 
     singular_commands_EXTCONT2 = """
-        LIB "poly.lib";
+        LIB "polylib.lib";
         // option(redSB);
         ring r2 = {r2};
         ideal G = {extended_ideal};