Expand description

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

Structs

A type used in where clauses for enforcing constraints.

Traits

Constraints C1 and R2 to be equivalent.

Constraints D1 and D2 to be equivalent.

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

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

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