Module rin_core::math::base::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	Constraints C1 and R2 to be equivalent.
DimEq	Constraints D1 and D2 to be equivalent.
SameDimension	Constraints D1 and D2 to be equivalent, where they both designate dimensions of algebraic entities (e.g. square matrices).
SameNumberOfColumns	Constraints D1 and D2 to be equivalent. They are both assumed to be the number of columns of a matrix.
SameNumberOfRows	Constraints D1 and D2 to be equivalent. They are both assumed to be the number of rows of a matrix.