pub c0: P::BaseField,
pub c1: P::BaseField,
// some fields omitted
}

An element of a quadratic extension field F_p[X]/(X^2 - P::NONRESIDUE) is represented as c0 + c1 * X, for c0, c1 in P::BaseField.

## Fields

c0: P::BaseFieldc1: P::BaseField

## Implementations

#### pub fn conjugate(&mut self)[src]

This is only to be used when the element is known to be in the cyclotomic subgroup.

#### pub fn cyclotomic_exp(&self, exponent: impl AsRef<[u64]>) -> Self[src]

This is only to be used when the element is known to be in the cyclotomic subgroup.

#### pub fn norm(&self) -> P::BaseField[src]

Norm of QuadExtField over P::BaseField:Norm(a) = a * a.conjugate(). This simplifies to: Norm(a) = a.x^2 - P::NON_RESIDUE * a.y^2. This is alternatively expressed as Norm(a) = a^(1 + p).

## Trait Implementations

#### type Output = Self

The resulting type after applying the + operator.

#### type Output = Self

The resulting type after applying the + operator.

#### type Output = Self

The resulting type after applying the + operator.

#### type Output = Self

The resulting type after applying the / operator.

#### type Output = Self

The resulting type after applying the / operator.

#### type Output = Self

The resulting type after applying the / operator.

#### type Output = Self

The resulting type after applying the * operator.

#### type Output = Self

The resulting type after applying the * operator.

#### type Output = Self

The resulting type after applying the * operator.

#### type Output = Self

The resulting type after applying the - operator.

#### type Output = Self

The resulting type after applying the - operator.

#### type Output = Self

The resulting type after applying the - operator.

#### type Output = Self

The resulting type after applying the - operator.

## Blanket Implementations

### impl<T> ToOwned for T where    T: Clone, [src]

#### type Owned = T

The resulting type after obtaining ownership.

### impl<T, U> TryFrom<U> for T where    U: Into<T>, [src]

#### type Error = Infallible

The type returned in the event of a conversion error.

### impl<T, U> TryInto<U> for T where    U: TryFrom<T>, [src]

#### type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.