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

D.10.1.3 BrillNoether

Procedure from library brnoeth.lib (see brnoeth_lib).

Usage:
BrillNoether(G,CURVE); G an intvec, CURVE a list

Return:
list of ideals (each of them with two homogeneous generators, which represent the numerator, resp. denominator, of a rational function).
The corresponding rational functions form a vector space basis of the linear system L(G), G a rational divisor over a non-singular curve.

Note:
The procedure must be called from the ring CURVE[1][2], where CURVE is the output of the procedure NSplaces.
The intvec G represents a rational divisor supported on the closed places of CURVE[3] (e.g. G=2,0,-1; means 2 times the closed place 1 minus 1 times the closed place 3).

Example:
 
See also: Adj_div; NSplaces; Weierstrass.


Top Back: NSplaces Forward: Weierstrass 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.