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§
Sourcefn exp_root_d<R: PrimeCharacteristicRing>(val: R) -> R
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.