Struct TrivialModule 

pub struct TrivialModule<R> { /* private fields */ }

A trivial module over a ring.

This is a simple implementation of a module that has only one element. It’s useful as a base case or for testing purposes.

Trait Implementations

impl<R> Add for TrivialModule<R>

type Output = TrivialModule<R>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<R> AddAssign for TrivialModule<R>

fn add_assign(&mut self, _: Self)

Performs the += operation.

impl<R: Clone> Clone for TrivialModule<R>

fn clone(&self) -> TrivialModule<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for TrivialModule<R>

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

Formats the value using the given formatter.

impl<R: Default> Default for TrivialModule<R>

fn default() -> TrivialModule<R>

Returns the “default value” for a type.

impl<R> Group for TrivialModule<R>

fn identity() -> Self

Returns the identity element of the group.

fn inverse(&self) -> Self

Returns the inverse of an element.

impl<R: Ring + Mul<Self>> LeftModule for TrivialModule<R>

type Ring = R

The ring over which this module is defined.

impl<R> Mul<R> for TrivialModule<R>

type Output = TrivialModule<R>

The resulting type after applying the * operator.

fn mul(self, _: R) -> Self::Output

Performs the * operation.

impl<R> Neg for TrivialModule<R>

type Output = TrivialModule<R>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<R: PartialEq> PartialEq for TrivialModule<R>

fn eq(&self, other: &TrivialModule<R>) -> 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<R: Ring + Mul<Self>> RightModule for TrivialModule<R>

type Ring = R

The ring over which this module is defined.

impl<R> Sub for TrivialModule<R>

type Output = TrivialModule<R>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<R> SubAssign for TrivialModule<R>

fn sub_assign(&mut self, _: Self)

Performs the -= operation.

impl<R: Ring + Mul<Self>> TwoSidedModule for TrivialModule<R>

type Ring = R

The ring over which this module is defined.

impl<R> Zero for TrivialModule<R>

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<R: Ring> AbelianGroup for TrivialModule<R>

impl<R: Ring> Additive for TrivialModule<R>

impl<R: Copy> Copy for TrivialModule<R>

impl<R: Eq> Eq for TrivialModule<R>

impl<R> StructuralPartialEq for TrivialModule<R>