Cat::GradedHopfAlgebraWithBasis
--
the category of graded Hopf algebras over a distinguished basis
Cat::GradedHopfAlgebraWithBasis
represents the category of graded Hopf algebras over a
distinguished basis.
Cat::GradedHopfAlgebraWithBasis(R)
Cat::HopfAlgebraWithBasis(R)
,
Cat::GradedAlgebraWithBasis(R)
Cat::GradedHopfAlgebraWithBasis
is an Hopf algebra over a distinguished basis
(Cat::AlgebraWithBasis
), with a grading which is compatible
with the Hopf algebra operations.
Cat::GradedHopfAlgebraWithBasis
is a new category
MuPAD Combinat, an open source algebraic combinatorics package