Module na::base::constraint[][src]

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.