Struct SexticExtField

#[repr(C)]
pub struct SexticExtField<F> {
    pub c: [F; 6],
}

Sextic extension field of F with irreducible polynomial X^6 - \xi. Elements are represented as c0 + c1 * w + ... + c5 * w^5 where w^6 = \xi, where \xi in F.

Memory alignment follows alignment of F.

Fields

c: [F; 6]

Implementations

impl<F> SexticExtField<F>

pub const fn new(c: [F; 6]) -> Self

impl SexticExtField<Bls12_381Fp2>

pub fn invert(&self) -> Self

impl SexticExtField<Bn254Fp2>

pub fn invert(&self) -> Self

Trait Implementations

impl<'a, F: Field> Add<&'a SexticExtField<F>> for &SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the + operator.

fn add(self, other: &'a SexticExtField<F>) -> Self::Output

Performs the + operation.

impl<'a, F: Field> Add<&'a SexticExtField<F>> for SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the + operator.

fn add(self, other: &'a SexticExtField<F>) -> Self::Output

Performs the + operation.

impl<F: Field> Add for SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<'a, F: Field> AddAssign<&'a SexticExtField<F>> for SexticExtField<F>

fn add_assign(&mut self, other: &'a SexticExtField<F>)

Performs the += operation.

impl<F: Field> AddAssign for SexticExtField<F>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<F: Clone> Clone for SexticExtField<F>

fn clone(&self) -> SexticExtField<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Field> Debug for SexticExtField<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for SexticExtField<F>

where F: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> DivAssignUnsafe<&'a SexticExtField<Bls12_381Fp2>> for Fp12

fn div_assign_unsafe(&mut self, other: &'a Fp12)

Undefined behavior when denominator is not invertible.

impl<'a> DivAssignUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12

fn div_assign_unsafe(&mut self, other: &'a Fp12)

Undefined behavior when denominator is not invertible.

impl<'a> DivUnsafe<&'a SexticExtField<Bls12_381Fp2>> for Fp12

type Output = SexticExtField<Bls12_381Fp2>

Output type of div_unsafe.

fn div_unsafe(self, other: &'a Fp12) -> Self::Output

Undefined behavior when denominator is not invertible.

impl<'a> DivUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12

type Output = SexticExtField<Bn254Fp2>

Output type of div_unsafe.

fn div_unsafe(self, other: &'a Fp12) -> Self::Output

Undefined behavior when denominator is not invertible.

impl LineMulDType<Bn254Fp2, SexticExtField<Bn254Fp2>> for Bn254

fn mul_013_by_013(l0: &EvaluatedLine<Fp2>, l1: &EvaluatedLine<Fp2>) -> [Fp2; 5]

Multiplies two lines in 013-form to get an element in 01234-form

fn mul_by_013(f: &Fp12, l: &EvaluatedLine<Fp2>) -> Fp12

Multiplies a line in 013-form with a Fp12 element to get an Fp12 element

fn mul_by_01234(f: &Fp12, x: &[Fp2; 5]) -> Fp12

Multiplies a line in 01234-form with a Fp12 element to get an Fp12 element

impl LineMulMType<Bls12_381Fp2, SexticExtField<Bls12_381Fp2>> for Bls12_381

fn mul_023_by_023(l0: &EvaluatedLine<Fp2>, l1: &EvaluatedLine<Fp2>) -> [Fp2; 5]

Multiplies two lines in 023-form to get an element in 02345-form

fn mul_by_023(f: &Fp12, l: &EvaluatedLine<Fp2>) -> Fp12

Multiplies a line in 02345-form with a Fp12 element to get an Fp12 element

fn mul_by_02345(f: &Fp12, x: &[Fp2; 5]) -> Fp12

Multiplies a line in 02345-form with a Fp12 element to get an Fp12 element

impl<'a> Mul<&'a SexticExtField<Bls12_381Fp2>> for Fp12

type Output = SexticExtField<Bls12_381Fp2>

The resulting type after applying the * operator.

fn mul(self, other: &'a Fp12) -> Self::Output

Performs the * operation.

impl<'a> Mul<&'a SexticExtField<Bn254Fp2>> for Fp12

type Output = SexticExtField<Bn254Fp2>

The resulting type after applying the * operator.

fn mul(self, other: &'a Fp12) -> Fp12

Performs the * operation.

impl<'a> MulAssign<&'a SexticExtField<Bls12_381Fp2>> for Fp12

fn mul_assign(&mut self, other: &'a Fp12)

Performs the *= operation.

impl<'a> MulAssign<&'a SexticExtField<Bn254Fp2>> for Fp12

fn mul_assign(&mut self, other: &'a Fp12)

Performs the *= operation.

impl<F: PartialEq> PartialEq for SexticExtField<F>

fn eq(&self, other: &SexticExtField<F>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<F> Serialize for SexticExtField<F>

where F: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a, F: Field> Sub<&'a SexticExtField<F>> for &SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the - operator.

fn sub(self, other: &'a SexticExtField<F>) -> Self::Output

Performs the - operation.

impl<'a, F: Field> Sub<&'a SexticExtField<F>> for SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the - operator.

fn sub(self, other: &'a SexticExtField<F>) -> Self::Output

Performs the - operation.

impl<F: Field> Sub for SexticExtField<F>

type Output = SexticExtField<F>

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<'a, F: Field> SubAssign<&'a SexticExtField<F>> for SexticExtField<F>

fn sub_assign(&mut self, other: &'a SexticExtField<F>)

Performs the -= operation.

impl<F: Field> SubAssign for SexticExtField<F>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<F: Eq> Eq for SexticExtField<F>

impl<F> StructuralPartialEq for SexticExtField<F>