Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build/pkgs/singular: Update to 4.4.0p6 #38158

Draft
wants to merge 7 commits into
base: develop
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions build/pkgs/singular/checksums.ini
Original file line number Diff line number Diff line change
@@ -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
2 changes: 1 addition & 1 deletion build/pkgs/singular/package-version.txt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
4.4.0
4.4.0p6
8 changes: 5 additions & 3 deletions src/sage/libs/singular/option.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -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::

Expand Down
2 changes: 1 addition & 1 deletion src/sage/rings/polynomial/multi_polynomial_ideal.py
Original file line number Diff line number Diff line change
Expand Up @@ -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::
Expand Down
Loading