INNER CODE UNIT · Rust

pow

pluto/ronkathon · src/algebra/field/mod.rs:50

  fn pow(self, power: usize) -> Self;
}

/// fields with a finite number of elements.
pub trait FiniteField: Finite + Field {
  /// Returns a multiplicative generator of the field.
  const PRIMITIVE_ELEMENT: Self;

  /// Returns the primitive n-th root of unity in the field.
  ///
  /// ## Notes
  /// In any field of prime order F_p:
  /// - There exists an additive group.
  /// - There exists a multiplicative subgroup generated by a primitive element 'a'.
  ///
  /// According to the [Sylow theorems](https://en.wikipedia.org/wiki/Sylow_theorems):
  /// A non-trivial multiplicative subgroup of prime order 'n' exists if and only if
  /// 'p - 1' is divisible by 'n'.

View source record →