Top
Back: CurveParam
Forward: primparam
FastBack: classify_lib
FastForward: deform_lib
Up: curvepar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.4.4 WSemigroup

Procedure from library curvepar.lib (see curvepar_lib).

Usage:
WSemigroup(X,b0);
X a list of polinomials in one vaiable, 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 greather than conductor.

Warning:
works only over the ring with one variable with ordering ds

Example:
 


Top Back: CurveParam Forward: primparam FastBack: classify_lib FastForward: deform_lib Up: curvepar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.