#11316: Weighted degree term orders added
--------------------------------+-------------------------------------------
   Reporter:  klee              |          Owner:  AlexGhitza  
       Type:  enhancement       |         Status:  needs_review
   Priority:  major             |      Milestone:  sage-4.7.1  
  Component:  basic arithmetic  |       Keywords:              
Work_issues:                    |       Upstream:  N/A         
   Reviewer:                    |         Author:  Kwankyu Lee 
     Merged:                    |   Dependencies:              
--------------------------------+-------------------------------------------

Comment(by SimonKing):

 Or it can be solved on the side of Sage. Namely, while Singular does not
 allow the weighted order `wp(1,2,0)`, it ''does'' allow to provide the
 `dp` order with an additional weight vector, and this weight vector can
 contain negative numbers:
 {{{
 > ring r = 0,(a,b,c),(a(1,-2,0),dp);
 > a,b,c;  // so, printing in Singular is correct
 a b c
 > deg(b);  // and the given degrees are used
 -2
 > deg(c);
 0
 }}}

 Couldn't we change the method `TermOrder.singular_str()`, such that
 `(a(...),dp)` is used if there is any non-positive weight?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11316#comment:28>
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.

Reply via email to