|
D.10.1.7 AGcode_Omega
Procedure from library brnoeth.lib (see brnoeth_lib).
- Usage:
- AGcode_Omega( G, D, EC ); G,D intvec, EC a list
- Return:
- a generator matrix for the residual AG code defined by the
divisors G and D.
- Note:
- The procedure must be called within the ring EC[1][4],
where EC is the output of
extcurve(d) (or within
the ring EC[1][2] if d=1).
The entry i in the intvec D refers to the i-th rational
place in EC[1][5] (i.e., to POINTS[i], etc., see extcurve).
The intvec G represents a rational divisor (see BrillNoether
for more details).
The code computes the residues of a vector space basis of
at the rational places given by D.
- Warnings:
- G should satisfy
, which is
not checked by the algorithm.
G and D should have disjoint supports (checked by the algorithm).
Example:
See also:
AGcode_L;
Adj_div;
BrillNoether;
extcurve.
|