#4539: plural wrapper
---------------------------+------------------------------------------------
Reporter: burcin | Owner: OleksandrMotsak, AlexanderDreyer
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6
Component: algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Comment(by nthiery):
I started playing with ideals. Currently, one creates an ideal I, and
then when one calls I.std() or I.twostd() to create a new left or
twosided ideal, and actually compute the Groebner basis. What about
the following variants:
(A) Take the side decision at the time the ideal is created:
{{{
sage: I = W.ideal([...], side=...)
}}}
(to be documented in ``W.ideal?``).
With that, ``I`` would be well defined as an ideal; otherwise it is
more a ``collection of polynomials'' and the name is misleading.
(B) About computing the Grobner basis:
{{{
sage: I.groebner_basis()
}}}
or:
{{{
sage: I.std()
}}}
would compute the groebner basis, store it for later calculations, and
return it as a list of polynomials rather than a new ideal.
I haven't actually played with ideals in Sage; so maybe point (B) is
just how things are with commutative ideals in Sage, and consistency
should take precedence.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4539#comment:32>
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.
