#10254: elimination_ideal returns an ideal of the original ring
---------------------------+------------------------------------------------
Reporter: mmezzarobba | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone:
Component: algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
If ``J`` is an ideal of a Multivariate Polynomial Ring ``R``,
``J.elimination_ideal`` returns an ideal of ``R``, regardless of the
variables being eliminated. Is this intentional?
For instance, in the doctest
{{{
sage: R.<x,y,t,s,z> = PolynomialRing(QQ,5)
sage: I = R * [x-t,y-t^2,z-t^3,s-x+y^3]
sage: I.elimination_ideal([t,s])
Ideal (y^2 - x*z, x*y - z, x^2 - y) of Multivariate
Polynomial Ring in x, y, t, s, z over Rational Field
}}}
the final result is an ideal of Q[x,y,t,s,z], while I would have expected
an ideal of Q[x,y,z].
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10254>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
