Trait CubicTrinomialExtendable 

pub trait CubicTrinomialExtendable: Field + ExtensionAlgebra<Self, 3, CubicTrinomial> {
    const FROBENIUS_MATRIX: [[Self; 3]; 3];
    const EXT_GENERATOR: [Self; 3];
}

Trait for fields that support a degree-3 extension using the trinomial X^3 - X - 1.

Implement only when X^3 - X - 1 is irreducible over the base field.

Required Associated Constants

const FROBENIUS_MATRIX: [[Self; 3]; 3]

Linear map for the Frobenius automorphism on Σ a_i X^i in the power basis (1, X, X^2).

Row i contains the coefficients of the image of X^i under Frobenius (the first row includes the fixed contribution from a_0).

const EXT_GENERATOR: [Self; 3]

A generator of the multiplicative group of F_{p^3}^*, as polynomial coefficients.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors