Module extension

Structs§

BinomialExtensionField
PackedBinomialExtensionField
PackedQuinticTrinomialExtensionField: Packed quintic extension field.
QuinticTrinomialExtensionField: A degree-5 extension field using the trinomial X^5 + X^2 - 1.

BinomiallyExtendable: Trait for fields that support binomial extension of the form F[X]/(X^D - W).
BinomiallyExtendableAlgebra: Trait for algebras which support binomial extensions of the form A[X]/(X^D - W) with W in the base field F.
ComplexExtendable: A field for which p = 3 (mod 4). Equivalently, -1 is not a square, so the complex extension can be defined F[i] = F[X]/(X^2+1).
HasComplexBinomialExtension: The complex extension of this field has a binomial extension.
HasFrobenius: Trait for extension fields that support Frobenius automorphisms.
HasTwoAdicBinomialExtension: Trait for binomial extensions that support a two-adic subgroup generator.
HasTwoAdicComplexBinomialExtension: The complex extension of this field has a two-adic binomial extension.
HasTwoAdicQuinticExtension: Trait for quintic extensions that support two-adic subgroup generators.
QuinticExtendableAlgebra: Trait for algebras supporting quintic extension arithmetic over A[X]/(X^5 + X^2 - 1).
QuinticTrinomialExtendable: Trait for fields that support a degree-5 extension using the trinomial X^5 + X^2 - 1.

octic_mul: Multiplication in an octic binomial extension field.
quartic_mul: Multiplication in a quartic binomial extension field.
quintic_mul: Multiplication in a quintic binomial extension field.
trinomial_quintic_mul: Multiply two elements in the quintic trinomial extension field (X^5 + X^2 - 1).
vector_add: Add two vectors element wise.