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
primary decomposition doesn't work when ideal is in a quotient polynomial ring #16381
Comments
comment:1
So we'd want somthing like this? sage: R.<x,y,z> = QQ[]
sage: I = R.ideal([x*y - z^2])
sage: A.<xbar,ybar,zbar> = R.quotient(I)
sage: J = A.ideal([x,z])
# primary decomposition starts here
sage: J = Ideal(f.lift() for f in p.gens())
sage: Q = Sequence(Ideal(A(f) for f in q.gens()) for q in (I + J).primary_decomposition()) |
Author: Martin Albrecht |
Changed keywords from none to sd59 |
Branch: u/malb/trac_16381 |
Commit: |
New commits:
|
comment:5
Am i missing something or singular can give incorrect anwers in this case? :
but j0 is the inttersection of j1 and j2, which are prime ideals:
|
Upstream: Reported upstream. No feedback yet. |
Changed upstream from Reported upstream. No feedback yet. to Reported upstream. Developers acknowledge bug. |
comment:7
It's confirmed as a bug in upstream. |
comment:9
Primary decomposition in quotient rings is not yet supported by Singular, see documentation. Consider that Singular usually never checks if used parameters are valid or allowed!! Parameter check is now (since ver 4.0 ) done for primary decomposition. |
I was trying to do a simple example on page 51 of Atiyah-Macdonald using Sage, and it fails:
boom! ---
Upstream: Reported upstream. Developers acknowledge bug.
Component: commutative algebra
Keywords: sd59
Author: Martin Albrecht
Branch/Commit: u/malb/trac_16381 @
c237b07
Issue created by migration from https://trac.sagemath.org/ticket/16381
The text was updated successfully, but these errors were encountered: