Struct Frobenius 

pub struct Frobenius<F: Field> { /* private fields */ }

Compiled from structure and checked against the scalar path: construction evaluates the scalar power on the prime-coordinate basis vectors, and every arm agrees with Elem::pow element by element.

Holds the compiled arm of x |-> x^(p^k) with k normalized to the field degree, so application never re-evaluates exponentiation. Requires alloc: the column arms own their entries.

Implementations

impl<F: Field> Frobenius<F>

pub fn new(power: u32) -> Self

Prepare the Frobenius map x |-> x^(p^k).

The power normalizes modulo the field degree, so zero, multiples of the degree, and u32::MAX are all accepted.

pub fn power(&self) -> u32

The normalized power: the requested k modulo the field degree.

Trait Implementations

impl<F: Field> Clone for Frobenius<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.