Struct FunctionFieldBrauerWallClass 

pub struct FunctionFieldBrauerWallClass<S: FiniteOddField> { /* private fields */ }

A class in the Brauer-Wall group BW(F_q(t)).

This is the equal-characteristic global-field mirror of RationalBrauerWallClass: Wall’s exact-sequence coordinates are dimension parity, signed discriminant in F_q(t)^*/F_q(t)^{*2}, and the ungraded Clifford Brauer component represented by its ramified function-field places.

Implementations

impl<S: FiniteOddField> FunctionFieldBrauerWallClass<S>

pub fn split() -> Self

The split function-field Brauer-Wall class.

pub fn from_parts( dimension_parity: u128, signed_discriminant: RationalFunction<S>, clifford_brauer_class: FunctionFieldBrauer2Class<S>, ) -> Option<Self>

Build from Wall coordinates. The signed discriminant is stored as a representative; equality compares its square class.

pub fn is_split(&self) -> bool

Whether this is the split class.

pub fn dimension_parity(&self) -> u128

The Z/2 quotient coordinate: dimension parity.

pub fn signed_discriminant(&self) -> &RationalFunction<S>

A representative of (-1)^(n(n-1)/2) det(q) in F_q(t)^*/F_q(t)^{*2}.

pub fn clifford_brauer_class(&self) -> &FunctionFieldBrauer2Class<S>

The ungraded Clifford Brauer component c(q).

pub fn zero_like(&self) -> Self

The identity element in this ground field.

pub fn try_add(&self, other: &Self) -> Option<Self>

Wall’s group operation, induced by orthogonal direct sum / graded tensor.

pub fn display(&self) -> String

Return the canonical display representation.

Trait Implementations

impl<S: Clone + FiniteOddField> Clone for FunctionFieldBrauerWallClass<S>

fn clone(&self) -> FunctionFieldBrauerWallClass<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + FiniteOddField> Debug for FunctionFieldBrauerWallClass<S>

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

Formats the value using the given formatter.

impl<S: FiniteOddField> Display for FunctionFieldBrauerWallClass<S>

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

Formats the value using the given formatter.

impl<S: FiniteOddField> Eq for FunctionFieldBrauerWallClass<S>

impl<S: FiniteOddField> PartialEq for FunctionFieldBrauerWallClass<S>

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

Equality operator ==.

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

Inequality operator !=.