#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:
--------------------------------------------------+-------------------------
Changes (by novoselt):
* status: needs_review => needs_work
Comment:
I don't insist on separating whitespace patch now, it is just inconvenient
to dig for changes in 100kb. But please make subsequent changes in a new
little patch.
1. `__cmp__` does not return the result of ``self == other`` contrary to
what is written. I also think that the test should call cmp directly,
since `==` does not always lead to `cmp`.
2. In `__lt__` the documentation says "We use ideal membership to test
whether the generators of each ideal appears in the other." while only one
of the containment directions should be checked. Despite of the
description of the algorithm in the documentation, the actual code does
something else in the beginning and can return numbers or result of `cmp`
instead of `True/False`.
3. What will `__cmp__` of ideals return if neither of them is contained
in another? Do we even need it for ideals if there are lt/gt?
4. Documentation of `__eq__` is wrong.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12802#comment:10>
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.
