Hi,
>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
Thanks,
Jacob Lewis
--~--~---------~--~----~------------~-------~--~----~
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-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
