gh-35980: Adapt to new Singular sat API
    
The `sat` function that returns the saturation exponent was renamed to
`sat_with_exp` in [1]

This patch makes Sage work with singular < 4.3.2p3 and > 4.3.2p4. With
4.3.2p3 and 4.3.2p4 it returns a wrong exponent [2], unless singular is
patched with the above commit.

[1] Singular/Singular@3f7e01a0f1f77073a3bc0dd3
25260ea88c216aff
[2] Singular/Singular#1181
    
URL: #35980
Reported by: Antonio Rojas
Reviewer(s): Kwankyu Lee

Author: Release Manager

src/sage/rings/polynomial/multi_polynomial_ideal.py

@@ -2460,7 +2460,11 @@ def saturation(self, other):
             (Ideal (y, x^5) of Multivariate Polynomial Ring in x, y, z over Algebraic Field, 4)
         """
         from sage.libs.singular.function_factory import ff
-        sat = ff.elim__lib.sat
+        # function renamed in singular > 4.3.2p4, see issue #35980
+        try:
+            sat = ff.elim__lib.sat_with_exp
+        except NameError:
+            sat = ff.elim__lib.sat
         R = self.ring()
         ideal, expo = sat(self, other)
         return (R.ideal(ideal), ZZ(expo))