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

D.10.1.6 AGcode_L

Procedure from library brnoeth.lib (see brnoeth_lib).

Usage:
AGcode_L( G, D, EC ); G,D intvec, EC a list

Return:
a generator matrix for the evaluation 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 evaluates the vector space basis of L(G) 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_Omega; Adj_div; BrillNoether; extcurve.


Top Back: extcurve Forward: AGcode_Omega 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.