Cat::GradedHopfAlgebraWithBasis --
the category of graded Hopf algebras over a distinguished basis
IntroductionCat::GradedHopfAlgebraWithBasis represents the category of graded Hopf algebras over a
distinguished basis.
Generating the category
Cat::GradedHopfAlgebraWithBasis(R)
Cat::HopfAlgebraWithBasis(R),
Cat::GradedAlgebraWithBasis(R)
DetailsCat::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