Properties of AG--Codes

IsWeaklyAG(C) : Code -> BoolElt
Return true if and only if the code C is a weakly algebraic--geometric code, i.e. C has been constructed as an algebraic--geometric code with respect to a divisor of any degree.

IsWeaklyAGDual(C) : Code -> BoolElt
Return true if and only if the code C was constructed as the dual of a weakly algebraic--geometric code.
IsAlgebraicGeometric(C) : Code -> BoolElt
Return true if and only if the code C is of algebraic--geometric construction of length n, built from a divisor D with deg(D) < n.

IsStronglyAG(C) : Code -> BoolElt
Return true if and only if C is an algebraic--geometric code of length n constructed from a divisor D satisfying 2g - 2 < deg(D) < n, where g is the genus of the curve.

V2.28, 13 July 2023