#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: |
---------------------------+------------------------------------------------
Comment(by lftabera):
I think that this is intended for compatibility with Singular, which is
who really computes the elimination ideal. Singular returns an ideal in
QQ[x,y,t,s,z], so does SAGE.
- If this is going to change one would need to create the new ring of the
elimination ideal and coerce the ideal to this ring.
- One also has to check that both ring have the canonical coercion well
defined and that we can operate ideals and polynomials in both rings
automatically.
- Also, the code should raise a Warning each time it is called during a
transition time.
I am already used to this behaviour and sometimes it is convenient to add
further polynomials in the variables of the original ring. So I do not
have strong feelings against (or in favour) of this change. It might be
more convenient to compute, let's say, dimensions.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10254#comment:1>
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.
