Module quadratic_extension

Structs

• QuadExtField
  An element of a quadratic extension field F_p[X]/(X^2 - P::NONRESIDUE) is represented as c0 + c1 * X, for c0, c1 in P::BaseField.

Traits

• QuadExtConfig
  Defines a Quadratic extension field from a quadratic non-residue.