Struct ArfInvariants 

pub struct ArfInvariants {
    pub arf: u128,
    pub rank: usize,
    pub radical_dim: usize,
    pub radical_anisotropic: bool,
}

Classification invariants for a characteristic-2 quadratic form over any nim-subfield or supported finite char-2 field.

Fields

arf: u128

Arf invariant of the nonsingular core (0 or 1).

rank: usize

Rank of the polar form B = 2 × (number of hyperbolic pairs).

radical_dim: usize

Dimension of the polar-form radical (where B vanishes).

radical_anisotropic: bool

Whether Q is nonzero somewhere on the radical (a “defective” direction).

Implementations

impl ArfInvariants

pub fn o_type(&self) -> OrthogonalType

Orthogonal type of the chosen symplectic complement: O+ (split) iff arf == 0. When radical_anisotropic is true, this complement type is not an isometry invariant of the whole singular form.

pub fn display(&self) -> String

Return the canonical display representation.

Trait Implementations

impl Clone for ArfInvariants

fn clone(&self) -> ArfInvariants

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArfInvariants

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

Formats the value using the given formatter.

impl Display for ArfInvariants

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

Formats the value using the given formatter.

impl Eq for ArfInvariants

impl PartialEq for ArfInvariants

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ArfInvariants