The commands
A1.<x>=AffineSpace(1, QQ)
X=A1.subscheme([x^1789+x])
Q=X([0])
Q.multiplicity()
result in 1789.
There seems to be a bug in the multiplicity command for subschemes of the line.
Yes, this is a bug. Typing Q.multiplicity?? we see that it calls X.multiplicity(Q) and X.multiplicity?? shows that it changes the monomial ordering to negdegrevlex and then tries to use the interface to Singular. However the interface to Singular is broken for univariate polynomial rings with "local" monomial ordering (it always uses the global ordering instead); I reported this as trac ticket #27479.
As a temporary workaround I guess you can add a variable and set it to zero:
sage: A2.<x,y> = AffineSpace(QQ,2)
sage: X = A2.subscheme([x^1789+x,y])
sage: Q = X([0,0])
sage: Q.multiplicity()
1Asked: 6 years ago
Seen: 353 times
Last updated: Mar 13 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.