## Expand description

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

## Structs§

- A type used in
`where`

clauses for enforcing constraints.

## Traits§

- Constrains
`C1`

and`R2`

to be equivalent. - Constrains
`D1`

and`D2`

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

and`D2`

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

and`D2`

to be equivalent. They are both assumed to be the number of rows of a matrix.