From b7346f820519b025bdcdbbcaa0af2d4fd9a3bfca Mon Sep 17 00:00:00 2001
From: GDeLaurentis <g.dl@hotmail.it>
Date: Wed, 27 Dec 2023 10:15:49 +0000
Subject: [PATCH] Newer versions of Singular have moved poly.lib to polylib.lib
 - fixing import.

---
 syngular/ideal_algorithms.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/syngular/ideal_algorithms.py b/syngular/ideal_algorithms.py
index 255f9ce..33ed256 100644
--- 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};