pub trait SameDimension<D1, D2>: SameNumberOfRows<D1, D2> + SameNumberOfColumns<D1, D2>
where D1: Dim, D2: Dim,
{ type Representative: Dim; }
Expand description

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

Required Associated Types§

source

type Representative: Dim

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

Implementors§