Changeset f32177 in git for Singular/LIB/brnoeth.lib
- Timestamp:
- Apr 7, 2009, 11:31:52 AM (15 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 0ad81f2c92a459da3968f1add8868540fe570fb8
- Parents:
- 1288efb1bc6f003f059484c99a625cf47c1ed08b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/brnoeth.lib
r1288ef rf32177 1 version="$Id: brnoeth.lib,v 1.2 0 2008-10-07 17:36:30 SingularExp $";1 version="$Id: brnoeth.lib,v 1.21 2009-04-07 09:30:44 seelisch Exp $"; 2 2 category="Coding theory"; 3 3 info=" … … 8 8 OVERVIEW: 9 9 Implementation of the Brill-Noether algorithm for solving the 10 Riemann-Roch problem and applications inAlgebraic Geometry codes.10 Riemann-Roch problem and applications to Algebraic Geometry codes. 11 11 The computation of Weierstrass semigroups is also implemented.@* 12 12 The procedures are intended only for plane (singular) curves defined over … … 15 15 16 16 MAIN PROCEDURES: 17 Adj_div(f) ;computes the conductor of a curve18 NSplaces(h,A) ;computes non-singular places with given degrees19 BrillNoether(D,C) ;computes a vector space basis of the linear system L(D)20 Weierstrass(P,m,C) ;computes the Weierstrass semigroup of C at P up to m21 extcurve(d,C) ;extends the curve C to an extension of degree d22 AGcode_L(G,D,E) ;computes the evaluation AG code with divisors G and D23 AGcode_Omega(G,D,E) ;computes the residual AG code with divisors G and D24 prepSV(G,D,F,E) ;preprocessing for the basic decoding algorithm25 decodeSV(y,K) ;decoding of a word with the basic decoding algorithm17 Adj_div(f) computes the conductor of a curve 18 NSplaces(h,A) computes non-singular places with given degrees 19 BrillNoether(D,C) computes a vector space basis of the linear system L(D) 20 Weierstrass(P,m,C) computes the Weierstrass semigroup of C at P up to m 21 extcurve(d,C) extends the curve C to an extension of degree d 22 AGcode_L(G,D,E) computes the evaluation AG code with divisors G and D 23 AGcode_Omega(G,D,E) computes the residual AG code with divisors G and D 24 prepSV(G,D,F,E) preprocessing for the basic decoding algorithm 25 decodeSV(y,K) decoding of a word with the basic decoding algorithm 26 26 27 27 AUXILIARY PROCEDURES: 28 closed_points(I) ;computes the zero-set of a zero-dim. ideal in 2 vars29 dual_code(C) ;computes the dual code30 sys_code(C) ;computes an equivalent systematic code31 permute_L(L,P) ;applies a permutation to a list28 closed_points(I) computes the zero-set of a zero-dim. ideal in 2 vars 29 dual_code(C) computes the dual code 30 sys_code(C) computes an equivalent systematic code 31 permute_L(L,P) applies a permutation to a list 32 32 33 33 KEYWORDS: Weierstrass semigroup; Algebraic Geometry codes; … … 3345 3345 which represent the numerator, resp. denominator, of a rational 3346 3346 function).@* 3347 The corresponding rational functions form a vector basis of the3347 The corresponding rational functions form a vector space basis of the 3348 3348 linear system L(G), G a rational divisor over a non-singular curve. 3349 3349 NOTE: The procedure must be called from the ring CURVE[1][2], where … … 3943 3943 The intvec G represents a rational divisor (see @ref{BrillNoether} 3944 3944 for more details).@* 3945 The code evaluates the vector basis of L(G) at the rational3945 The code evaluates the vector space basis of L(G) at the rational 3946 3946 places given by D. 3947 3947 WARNINGS: G should satisfy @math{ 2*genus-2 < deg(G) < size(D) }, which is
Note: See TracChangeset
for help on using the changeset viewer.