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.

Sign up for GitHub

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

Jump to bottom

Wrong saturation exponent #1181

Open

antonio-rojas opened this issue Jul 21, 2023 · 1 comment

Contributor

antonio-rojas commented Jul 21, 2023

Regression in 4.3.2p3:

> LIB "elim.lib";
> ring r = 0,(x,y,z),dp;
> ideal i = x^5*z^3, x*y*z, y*z^4;
> ideal j = z;
> sat(i,j);
[1]:
   _[1]=y
   _[2]=x5
[2]:
   0

with 4.3.2p2:

> sat(i,j);
[1]:
   _[1]=y
   _[2]=x5
[2]:
   4

The text was updated successfully, but these errors were encountered:

antonio-rojas mentioned this issue

update Singular spkg to 4.3.2+ sagemath/sage#35676

Closed

1 task

Member

hannes14 commented Jul 22, 2023 •

edited

Loading

solved by renaming to sat_with_exp, see
https://github.com/Singular/Singular/blob/spielwiese/Singular/LIB/elim.lib#L736
in th next release of Singular

antonio-rojas mentioned this issue

Adapt to new Singular sat API sagemath/sage#35980

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment