dimint:Dimension of intersection
dimsev:Dim subspace by system
dimsum:Dimension of sum
subbase:Subbase
subbase2:Subbase II
subdim:Dimension of subspace
subdimmat:Dim subspace of matrices
subext:Extension of subspace
