INNER CODE UNIT · Rust

p_minus_one

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

    let p_minus_one = Self::ORDER - 1;
    assert!(p_minus_one % n == 0, "n must divide p^q - 1");
    let pow = p_minus_one / n;
    Self::PRIMITIVE_ELEMENT.pow(pow)
  }
}

/// traits that define some functions usable in signatures
pub trait FieldExt: Sized {
  /// Returns the square root of the field element.
  fn sqrt(&self) -> Option<(Self, Self)>;

  fn euler_criterion(&self) -> bool;
}

View source record →