#6922: Matrix term ordering
------------------------------+---------------------------------------------
Reporter: klee | Owner: Somebody
Type: enhancement | Status: new
Priority: minor | Milestone: sage-feature
Component: basic arithmetic | Keywords: term order
Reviewer: | Author:
Merged: |
------------------------------+---------------------------------------------
Comment(by malb):
Replying to [comment:3 klee]:
> I agree partially. Should we follow the Singular syntax exactly? For
short syntax, how about just "m(1,3,1,0)"? I personally think the Singular
syntax for term ordering is somewhat cryptic.
Sure, but it would be accepted anyway and passed through to Singular (in
an ideal implementation) :)
> I think it is better for Sage to support both the string description and
{{{TermOrder}}} description. Thus for examples,
>
> {{{
> order='m(1,3,1,0)'+'deglex(2)'
> }}}
>
> {{{
> order='m(1,3,1,0),deglex(3)'
> }}}
This description is a mix of Singular syntax and Sage string syntax. I
would like to avoid Sage string syntax as much as possible.
> for a square matrix m,
> {{{
> order=TermOrder(m)+TermOrder('deglex',3)
> }}}
> are all supported.
I like this best.
> Marshall Hampton says:
>
> I agree with John that Simon's example:
>
> {{{
> sage: M = Matrix(2,2, [1,3,1,0])
> sage: R.<a,b,c,d,e,f> = PolynomialRing(QQ, order=TermOrder(M)
> +TermOrder('deglex',3))
> }}}
>
> looks good and reasonably intuitive to me.
Yep, that's what I would be aiming for.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6922#comment:4>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
