Math.Algebra.NonCommutative.TensorAlgebra

Documentation

data Basis

Constructors

E Int

Instances

Eq Basis

Ord Basis

Show Basis

data WeylGens

Constructors

X Int

D Int

Instances

Eq WeylGens

Ord WeylGens

Show WeylGens