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'