#5326: support weighted term orderings
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4.1
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
Jacob wrote on [sage-devel]:
> From reading the documentation of the TermOrder command, it looks
> like if I want to use a term order not defined in SAGE, I should
> be able to make my term order a string that can be passed to
> Singular. This works for some term orderings, but not for those
> that have commas in their definitions. Judging from the code, I
> think that SAGE sees the comma and assumes that I want a block
> ordering (which I don't).
> For example, if I want weighted reverse lex ordering with some
> weights, I can do that in Singular:
{{{
ring rr=0,(x,y),wp(2,3);
poly f=x2+y3;
deg(f);
9
poly g = x^3*y+y^3;
ideal I = f,g;
std(I);
_[1]=y3+x2
_[2]=x3y-x2
_[3]=x5+x2y2
}}}
> But not in SAGE:
{{{
sage: T = TermOrder("wp(2,3)")
Traceback (most recent call last):
...
TypeError: wp(2,3) is not a valid term ordering
}}}
{{{
sage: R.<x,y> = PolynomialRing(QQ,2,T)
sage: R._singular_()
// characteristic : 0
// number of vars : 2
// block 1 : ordering dp
// : names x y
// block 2 : ordering C
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5326>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
