Struct OddCharInvariants 

pub struct OddCharInvariants {
    pub p: u128,
    pub field_order: u128,
    pub dim: usize,
    pub radical_dim: usize,
    pub disc_is_square: bool,
    pub hasse: i128,
}

Classification invariants for a nondegenerate-plus-radical diagonal form over F_P of odd characteristic.

Fields

p: u128

Characteristic prime.

field_order: u128

Field order q; equal to p for prime fields and p^n for extensions.

dim: usize

Nondegenerate dimension (number of nonzero diagonal entries).

radical_dim: usize

Radical (null) dimension.

disc_is_square: bool

Discriminant square-class: true if det of the nondegenerate part is a square. With dim, a complete isometry invariant over a finite field.

hasse: i128

The Hasse–Witt invariant — always +1 over a finite field.

Implementations

impl OddCharInvariants

pub fn display(&self) -> String

Return the canonical display representation.

Trait Implementations

impl Clone for OddCharInvariants

fn clone(&self) -> OddCharInvariants

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OddCharInvariants

impl Debug for OddCharInvariants

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

Formats the value using the given formatter.

impl Display for OddCharInvariants

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

Formats the value using the given formatter.

impl Eq for OddCharInvariants

impl PartialEq for OddCharInvariants

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OddCharInvariants