Hi Joshua,
SageMath uses Singular to compute Gröbner and standard bases.
I think that Singular (and thus, SageMath) doesn't strictly distinguish
between a Gröbner basis and a standard basis, because in a global term
ordering (i.e. 1 is smallest), both notions coincide, and thus in local
term orderings (i.e. 1 is biggest), they don't distinguish either,
although Buchberger (coining the notion "Gröbner basis") only considered
global orderings, whereas Hironaka (coining the notion "standard basis")
was more into local orderings.
Example from the docs:
"""
Sage also supports local orderings:
sage: P.<x,y,z> = PolynomialRing(QQ,3,order='negdegrevlex')
sage: I = P * ( x*y*z + z^5, 2*x^2 + y^3 + z^7, 3*z^5 +y^5 )
sage: I.groebner_basis()
[x^2 + 1/2*y^3, x*y*z + z^5, y^5 + 3*z^5, y^4*z - 2*x*z^5, z^6]
"""
Note that Singular seems to give a different answer:
sage: singular(I).std()
2*x^2+y^3+z^7,
x*y*z+z^5,
y^5+3*z^5,
y^4*z-2*x*z^5,
3*z^6+2*x*y*z^5
But in fact it isn't, because by default, in local orderings, Singular
doesn't seem to do tail reductions and also wouldn't automatically
normalise the leading monomials, whereas SageMath does. I'm
demonstrating that Singular's and SageMath's answers coincide:
sage: singular.option('redTail')
sage: singular(I).std().interred().normalize()
x^2+1/2*y^3,
x*y*z+z^5,
y^5+3*z^5,
y^4*z-2*x*z^5,
z^6
Best regards,
Simon
On 2020-12-12, Joshua Holden <joshuarbhol...@gmail.com> wrote:
>
>
> Hi, everyone!
>
> I'm trying to do some computations with (truncated) multivariable power
> series, which I'd like to put into Hironaka standard basis form. This is
> almost the same as a Groebner basis, except that the "leading" terms have
> smallest degree instead of largest. This requires slight changes to the
> algorithms in order to make sure they terminate. Does anyone know if this
> has been implemented in Sage or have a good way to fake it? I don't use
> Sage a lot and I can't find anything obvious in the documentation so I
> thought I'd ask before trying to re-implement something. I tried
> ask.sagemath.org and someone said this might be a better place.
>
> Thanks very much!
>
> ----Josh
>
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/rr4j7d%241el%241%40ciao.gmane.io.
