Trait ark_ff::fields::SquareRootField [−][src]
The interface for a field that supports an efficient square-root operation.
Required methods
fn legendre(&self) -> LegendreSymbol
[src]
Returns a LegendreSymbol
, which indicates whether this field element is
1 : a quadratic residue
0 : equal to 0
-1 : a quadratic non-residue
#[must_use]fn sqrt(&self) -> Option<Self>
[src]
Returns the square root of self, if it exists.
fn sqrt_in_place(&mut self) -> Option<&mut Self>
[src]
Sets self
to be the square root of self
, if it exists.
Implementors
impl<'a, P: QuadExtParameters> SquareRootField for QuadExtField<P> where
P::BaseField: SquareRootField,
[src]
P::BaseField: SquareRootField,
fn legendre(&self) -> LegendreSymbol
[src]
fn sqrt(&self) -> Option<Self>
[src]
fn sqrt_in_place(&mut self) -> Option<&mut Self>
[src]
impl<P: Fp3Parameters> SquareRootField for Fp3<P>
[src]
fn legendre(&self) -> LegendreSymbol
[src]
Returns the Legendre symbol.
fn sqrt(&self) -> Option<Self>
[src]
Returns the square root of self, if it exists.
fn sqrt_in_place(&mut self) -> Option<&mut Self>
[src]
Sets self
to be the square root of self
, if it exists.