Math.Algebra.NonCommutative.TensorAlgebra

data Basis

e_

e1

e2

e3

e4

dim

tensorBasis

extRelations

extnf

exteriorBasis

symRelations

symnf

symmetricBasis

weylRelations

weylnf

weylBasis

data WeylGens

d_

x_

d1

d2

d3

x1

x2

x3

comm

delta

weylRelations'

weylnf'

weylBasis'