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.