Module constraint

Compatibility constraints between matrix shapes, e.g., for addition or multiplication.

Structs

ShapeConstraint

A type used in where clauses for enforcing constraints.

Traits

AreMultipliable

Constrains C1 and R2 to be equivalent.

DimEq

Constrains D1 and D2 to be equivalent.

SameDimension

Constrains D1 and D2 to be equivalent, where they both designate dimensions of algebraic entities (e.g. square matrices).

SameNumberOfColumns

Constrains D1 and D2 to be equivalent. They are both assumed to be the number of columns of a matrix.

SameNumberOfRows

Constrains D1 and D2 to be equivalent. They are both assumed to be the number of rows of a matrix.