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