Math.Algebras.GroupAlgebra
type
GroupAlgebra
k
p
data
X
a
inv
maybeInverse