#1819: move crypto.mq.MPolynomialSystem somewhere else
-----------------------------------+----------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6.2
Component: commutative algebra | Keywords:
Author: Martin Albrecht | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Comment(by vbraun):
Now that I see some of the bigger picture I'm happy with distinguishing
ideals and polynomial sequences in the way you are implementing. I don't
quite get how the multiple parts of the polynomial sequence are supposed
to fit into this. The documentation should either stress that this is
optional (and that, by default, there is only a unique part) or separate
this functionality into a derived class.
Some other suggestions, though that could easily be postponed to followup
tickets:
* Document the relationship between ideals and polynomial sequences in
the ideals module.
* An alias `MPolynomialIdeal.basis` = `MPolynomialIdeal.gens`
* Move `MPolynomialIdeal.basis_is_groebner` to
`PolynomialSequence.is_groebner`
* Move `MPolynomialIdeal.interreduced_basis` to
`PolynomialSequence.interreduce` and make it return a `PolynomialSequence`
instead of a list.
* there shouldn't be a `PolynomialSequence.groebner_basis`
* Perhaps move `MPolynomialIdeal.weil_restriction` since you say that it
depends on the presentation.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1819#comment:20>
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.
