pub trait SqrtRatioZeta: Sized {
    // Required method
    fn sqrt_ratio_zeta(num: &Self, den: &Self) -> (bool, Self);
}

Required Methods§

source

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)) if num and den are both nonzero and num/den is square;
  • (true, 0) if num is zero;
  • (false, 0) if den is zero;
  • (false, sqrt(zeta*num/den)) if num and den are both nonzero and num/den is nonsquare;

Object Safety§

This trait is not object safe.

Implementors§