diff --git a/build/pkgs/singular/checksums.ini b/build/pkgs/singular/checksums.ini index 69cc9aae6e3..67bdbebe236 100644 --- a/build/pkgs/singular/checksums.ini +++ b/build/pkgs/singular/checksums.ini @@ -1,4 +1,4 @@ tarball=singular-VERSION.tar.gz -sha1=1f678e1cc756fd8dc29dcdef5ae67441b6bcc779 -sha256=c269abbd24c84fe33edc0af1e78b8fec53d8e94338410ac06c2666cfd40d43f2 -upstream_url=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/${VERSION_MAJOR}-${VERSION_MINOR}-${VERSION_MICRO}/singular-VERSION.tar.gz +sha1=2f67f3a8c91ef794a232c5df471c68850d248476 +sha256=23a7674d1cf734b436c26c145dc22cb51f71a14d61e6ca17084293ccd0148902 +upstream_url=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/${VERSION_MAJOR}-${VERSION_MINOR}-0/singular-VERSION.tar.gz diff --git a/build/pkgs/singular/package-version.txt b/build/pkgs/singular/package-version.txt index fdc6698807a..fee356b7e0f 100644 --- a/build/pkgs/singular/package-version.txt +++ b/build/pkgs/singular/package-version.txt @@ -1 +1 @@ -4.4.0 +4.4.0p6 diff --git a/src/sage/libs/singular/option.pyx b/src/sage/libs/singular/option.pyx index e729255e2d9..3855fb2f732 100644 --- a/src/sage/libs/singular/option.pyx +++ b/src/sage/libs/singular/option.pyx @@ -20,15 +20,17 @@ By default, tail reductions are performed:: sage: from sage.libs.singular.option import opt, opt_ctx sage: opt['red_tail'] True - sage: std(I)[-1] + sage: red = std(I)[-1]; red d^2*e^6 + 28*b*c*d + ... If we don't want this, we can create an option context, which disables this:: sage: with opt_ctx(red_tail=False, red_sb=False): - ....: std(I)[-1] - d^2*e^6 + 8*c^3 + ... + ....: notred = std(I)[-1]; notred + d^2*e^6 + ... + sage: len(list(red)) < len(list(notred)) + True However, this does not affect the global state:: diff --git a/src/sage/rings/polynomial/multi_polynomial_ideal.py b/src/sage/rings/polynomial/multi_polynomial_ideal.py index bb9ee33b86f..f8daa8371b6 100644 --- a/src/sage/rings/polynomial/multi_polynomial_ideal.py +++ b/src/sage/rings/polynomial/multi_polynomial_ideal.py @@ -176,7 +176,7 @@ The Groebner basis modulo any product of the prime factors is also non-trivial:: sage: I.change_ring(P.change_ring(IntegerModRing(2 * 7))).groebner_basis() - [x + 9*y + 13*z, y^2 + 3*y, y*z + 7*y + 6, 2*y + 6, z^2 + 3, 2*z + 10] + [x + ..., y^2 + 3*y, y*z + 7*y + 6, 2*y + 6, z^2 + 3, 2*z + 10] Modulo any other prime the Groebner basis is trivial so there are no other solutions. For example::