#17550: sorted variables in multivariate polynomial ring wrong order
---------------------------+------------------------
       Reporter:  dkrenn   |        Owner:
           Type:  defect   |       Status:  new
       Priority:  major    |    Milestone:  sage-6.5
      Component:  algebra  |   Resolution:
       Keywords:           |    Merged in:
        Authors:           |    Reviewers:
Report Upstream:  N/A      |  Work issues:
         Branch:           |       Commit:
   Dependencies:           |     Stopgaps:
---------------------------+------------------------

Comment (by nbruin):

 Polynomial rings have a monomial order which should affect how monomials
 (and hence terms) compare:
 {{{
 sage: A.<a,b>=PolynomialRing(Rationals(),order="lex")
 sage: sorted([a^i*b^j for i in [0..2] for j in [0..2]])
 [1, b, b^2, a, a*b, a*b^2, a^2, a^2*b, a^2*b^2]
 sage: A.<a,b>=PolynomialRing(Rationals(),order="deglex")
 sage: sorted([a^i*b^j for i in [0..2] for j in [0..2]])
 [1, b, a, b^2, a*b, a^2, a*b^2, a^2*b, a^2*b^2]
 sage: A.<a,b>=PolynomialRing(Rationals(),order="degrevlex")
 sage: sorted([a^i*b^j for i in [0..2] for j in [0..2]])
 [1, b, a, b^2, a*b, a^2, a*b^2, a^2*b, a^2*b^2]
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/17550#comment:2>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to