[][src]Module maths_traits::algebra::module_like

Traits

Add

The addition operator +.

AddAssign

The addition assignment operator +=.

AffineSpace
Algebra

A vector space with a distributive multiplication operation

BilinearForm
BilinearModule

A ring module equipped with a bilinear form to the base field

BilinearSpace

A vector space equipped with a bilinear form to the base field

ConvergentBasis
CountableBasis
CountableModule

A ring module with a countable basis

CountableVectorSpace

A vector space with a countable basis

Div

The division operator /.

DivAssign

The division assignment operator /=.

FiniteBasis
FiniteModule

A ring module with a finite dimension

FiniteVectorSpace

A vector space with a finite dimension

Index

Used for indexing operations (container[index]) in immutable contexts.

IndexMut

Used for indexing operations (container[index]) in mutable contexts.

Mul

The multiplication operator *.

MulAssign

The multiplication assignment operator *=.

Neg

The unary negation operator -.

QuadradicForm
QuadradicModule

A ring module equipped with a quadradic form

QuadradicSpace

A vector space equipped with a quadradic form

RingModule

An abelian additive group with a distributive scalar multiplication with a unital ring

Sub

The subtraction operator -.

SubAssign

The subtraction assignment operator -=.

VectorSpace

An abelian additive group with a distributive scalar multiplication with a field