Enum ark_ff::fields::LegendreSymbol

pub enum LegendreSymbol {
    Zero,
    QuadraticResidue,
    QuadraticNonResidue,
}

Indication of the field element’s quadratic residuosity

Examples

let a: Fp = Fp::rand(&mut test_rng());
let b = a.square();
assert_eq!(b.legendre(), LegendreSymbol::QuadraticResidue);

Variants

Zero

QuadraticResidue

QuadraticNonResidue

Implementations

impl LegendreSymbol

pub fn is_zero(&self) -> bool

Returns true if self.is_zero().

Examples

let a: Fp = Fp::rand(&mut test_rng());
let b: Fp = a.square();
assert!(!b.legendre().is_zero());

pub fn is_qnr(&self) -> bool

Returns true if self is a quadratic non-residue.

Examples

let a: Fq = Fq2Config::NONRESIDUE;
assert!(a.legendre().is_qnr());

pub fn is_qr(&self) -> bool

Returns true if self is a quadratic residue.

Examples

let a: Fp = Fp::rand(&mut test_rng());
let b: Fp = a.square();
assert!(b.legendre().is_qr());

Trait Implementations

impl Debug for LegendreSymbol

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<LegendreSymbol> for LegendreSymbol

fn eq(&self, other: &LegendreSymbol) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LegendreSymbol

impl StructuralEq for LegendreSymbol

impl StructuralPartialEq for LegendreSymbol