RelativelyPrimePower

Trait RelativelyPrimePower 

Source
pub trait RelativelyPrimePower<const D: u64> {
    // Required method
    fn exp_root_d<R: PrimeCharacteristicRing>(val: R) -> R;
}
Expand description

An integer D such that gcd(D, p - 1) = 1.

Required Methods§

Source

fn exp_root_d<R: PrimeCharacteristicRing>(val: R) -> R

Compute x -> x^{1/D} using the modular inverse of D mod p - 1.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§