#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 malb):
Replying to [comment:20 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)
Good idea.
> Some other suggestions, though that could easily be postponed to
followup tickets:
> * Document the relationship between ideals and polynomial sequences in
the ideals module.
Done.
> * 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`
This is now #10856.
> * Perhaps move `MPolynomialIdeal.weil_restriction` since you say that
it depends on the presentation.
Thinking about it: it's about the variety and thus can stay with the
ideals.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1819#comment:21>
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.
