|
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.
|