Function Field

Subsections

• Function Field and Polynomial Ring

Function Field and Polynomial Ring

FunctionField(C) : Sch -> FldFunG

The function field of the hyperelliptic curve C.

EquationOrder(C) : CrvHyp -> RngFunOrd

The affine equation order of the hyperelliptic curve C.

Equation(C) : Sch -> RngMPolElt

Polynomial(C) : Sch -> RngMPolElt

A weighted homogeneous equation for the hyperelliptic curve C.

EvaluateEquation(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt

EvaluateEquation(C, [a, b, c]) : CrvHyp, [RngElt] -> RngElt

Evaluates the homogeneous equation of the hyperelliptic curve C at the point (a, b, c).