Home Online Manual
Top
Back: Weierstrass
Forward: AGcode_L
FastBack:
FastForward:
Up: brnoeth_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.10.1.5 extcurve

Procedure from library brnoeth.lib (see brnoeth_lib).

Usage:
extcurve( d, CURVE ); d an integer, CURVE a list

Return:
list L which is the update of the list CURVE with additional entries
 
   L[1][3]: ring (p,a),(x,y),lp (affine),
   L[1][4]: ring (p,a),(x,y,z),lp (projective),
   L[1][5]: ring (p,a),(x,y,t),ls (local),
   L[2][3]: int  (the number of rational places),
the rings being defined over a field extension of degree d.
If d<2 then extcurve(d,CURVE); creates a list L which is the update of the list CURVE with additional entries
 
   L[1][5]: ring p,(x,y,t),ls,
   L[2][3]: int  (the number of computed places over the base field).
In both cases, in the ring L[1][5] lists with the data for all the computed rational places (after a field extension of degree d) are created (see Adj_div):
 
   lists POINTS, LOC_EQS, BRANCHES, PARAMETRIZATIONS.

Note:
The list CURVE should be the output of NSplaces, and must contain (at least) one place of degree d.
You actually need all the places with degree dividing d. Otherwise, not all the places are computed, but only part of them.
This procedure must be executed before constructing AG codes, even if no extension is needed. The ring L[1][4] must be active when constructing codes over the field extension.

Example:
 
LIB "brnoeth.lib";
int plevel=printlevel;
printlevel=-1;
ring s=2,(x,y),lp;
list C=Adj_div(x5+y2+y);
==> The genus of the curve is 2
C=NSplaces(1..4,C);
// since we have all points up to degree 4, we can extend the curve
// to that extension, in order to get rational points over F_16;
C=extcurve(4,C);
==> Total number of rational places : NrRatPl = 33
// e.g., display the basepoint of place no. 32:
def R=C[1][5];
setring R;
POINTS[32];
==> [1]:
==> (a3+a+1)
==> [2]:
==> (a+1)
==> [3]:
==> 1
printlevel=plevel;
See also: AGcode_L; AGcode_Omega; Adj_div; NSplaces; closed_points.