The function field of the hyperelliptic curve C.
A weighted homogeneous polynomial for the hyperelliptic curve C.
Evaluates the homogeneous defining polynomial of the hyperelliptic curve C at the point (a, b, c).