Struct FunctionFieldMilnorK1Class 

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

A class in K^M_1(F_q(t))/2, stored by a nonzero representative. Equality is equality modulo global squares, not literal rational-function equality.

Implementations

impl<S: FiniteOddField> FunctionFieldMilnorK1Class<S>

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

A representative of the global square class.

pub fn is_trivial(&self) -> bool

Whether the representative is a global square.

pub fn add(&self, other: &Self) -> Self

Addition in K^M_1/2, induced by multiplication in F_q(t)*.

pub fn display(&self) -> String

Return the canonical display representation.

Trait Implementations

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

fn clone(&self) -> FunctionFieldMilnorK1Class<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 FunctionFieldMilnorK1Class<S>

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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

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

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

Equality operator ==.

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

Inequality operator !=.