Trait decaf377::SqrtRatioZeta
source · pub trait SqrtRatioZeta: Sized {
// Required method
fn sqrt_ratio_zeta(num: &Self, den: &Self) -> (bool, Self);
}
Required Methods§
sourcefn sqrt_ratio_zeta(num: &Self, den: &Self) -> (bool, Self)
fn sqrt_ratio_zeta(num: &Self, den: &Self) -> (bool, Self)
Computes the square root of a ratio of field elements, returning:
(true, sqrt(num/den))
ifnum
andden
are both nonzero andnum/den
is square;(true, 0)
ifnum
is zero;(false, 0)
ifden
is zero;(false, sqrt(zeta*num/den))
ifnum
andden
are both nonzero andnum/den
is nonsquare;
Object Safety§
This trait is not object safe.