#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 john_perry):
The last line in this `if` statement that you pointed out:
{{{
if R is not S: # rings are unique
if type(R) == type(S) and (R.base_ring() == S.base_ring()) and
(R.ngens() == S.ngens()):
other = other.change_ring(R)
else:
return cmp((type(R), R.base_ring(), R.ngens()), (type(S),
S.base_ring(), S.ngens()))
}}}
strikes me as wrong. If the base ring or the number of generators are
different, they can't be the same ideal. I'm changing that to return
`False`.
The type is another story. If someone has defined a ring with singular,
and wants to compare to a ring defined with cocoa or macaulay, that ought
to be possible. Unfortunately, I can't test it: neither Macaulay nor CoCoA
build on my Sage 5.0. Are you able to build either?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12802#comment:12>
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.
