D.6.10.4 WSemigroup

Usage:

WSemigroup(X,b0);
X a list of polynomials in one variable, say t.
b0 an integer

Compute:

Weierstrass semigroup of space curve C,which is given by a parametrization X[1](t),...,X[k](t), till the bound b0.

Assume:

b0 is greater then conductor

Return:

list M of size 5.
M[1]= list of integers, which are minimal generators set of the Weierstrass semigroup. M[2]=integer, conductor of the Weierstrass semigroup. M[3]=intvec, all elements of the Weierstrass semigroup till some bound b, which is greater than conductor.

Warning:

works only over the ring with one variable with ordering ds

LIB "curvepar.lib";
ring r=0,(t),ds;
list X=t4,t5+t11,t9+2*t7;
list L=WSemigroup(X,30);
L;
==> [1]:
==>    4,5,7
==> [2]:
==>    7
==> [3]:
==>    4,5,7,8,9,10