Dim

class discopy.tensor.Dim(*dims)

Bases: Ty

Implements dimensions as tuples of positive integers. Dimensions form a monoid with product @ and unit Dim(1).

>>> Dim(1) @ Dim(2) @ Dim(3)
Dim(2, 3)

property l

>>> assert Dim(2, 3, 4).l == Dim(4, 3, 2)

property r

>>> assert Dim(2, 3, 4).r == Dim(4, 3, 2)