Top
Back: BrillNoether
Forward: extcurve
FastBack: Visualization
FastForward: decodegb_lib
Up: brnoeth_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.10.1.4 Weierstrass

Procedure from library brnoeth.lib (see brnoeth_lib).

Usage:
Weierstrass( i, m, CURVE ); i,m integers and CURVE a list

Return:
list WS of two lists:
 
  WS[1] list of integers (Weierstr. semigroup of the curve at place i up to m)
  WS[2] list of ideals (the associated rational functions)

Note:
The procedure must be called from the ring CURVE[1][2], where CURVE is the output of the procedure NSplaces.
i represents the place CURVE[3][i].
Rational functions are represented by numerator/denominator in form of ideals with two homogeneous generators.

Warning:
The place must be rational, i.e., necessarily CURVE[3][i][1]=1.

Example:
 
See also: Adj_div; BrillNoether; NSplaces.


Top Back: BrillNoether Forward: extcurve FastBack: Visualization FastForward: decodegb_lib Up: brnoeth_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.