Module tower_basis

Source

Structsยง

TowerBasis
Represents the $\mathcal{T}{\iota}$-basis of $\mathcal{T}{\iota+k}$