#12802: test containment of ideals in class MPolynomialIdeal
--------------------------------------------------+-------------------------
Reporter: mariah | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-5.1
Component: algebra | Resolution:
Keywords: sd40.5, groebner bases, ideals | Work issues:
documentation
Report Upstream: N/A | Reviewers: Andrey
Novoseltsev
Authors: John Perry | Merged in:
Dependencies: | Stopgaps:
--------------------------------------------------+-------------------------
Comment (by novoselt):
I think comparison of rings should be done by converting all to a single
system where they will be unique. And in general what's the point in ring
uniqueness if they may not be unique? If you are not satisfied with `R is
S` check, use `R == S` and let the meaning of this be handled by ring
code, not the ideal comparison.
Note also that there are many failing doctests, the worst ones are with
infinite recursion. If it will be necessary to change output in doctests
of toric varieties, please do it on top of #13023 which is already
positively reviewed.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12802#comment:13>
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.
