Reference API
Notebooks
Extra
Bases: discopy.frobenius.Ty
discopy.frobenius.Ty
A dimension is a tuple of positive integers with product @ and unit Dim(1).
@
Dim(1)
Example
>>> Dim(1) @ Dim(2) @ Dim(3) Dim(2, 3)
inside (int) –
alias of int
int
alias of Dim
Dim