PS: Singular offers to use an "extra weight vector" (see http://www.singular.uni-kl.de/Manual/latest/sing_748.htm#SEC800). Sadly, if one uses it, then one automatically gets a degree order. So, it would not solve our problem.
Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org