Cat::HopfAlgebraWithBasis --
the category of Hopf algebras over a distinguished basis
IntroductionCat::HopfAlgebraWithBasis represents the category of Hopf algebras over a
distinguished basis.
Generating the category
Cat::HopfAlgebraWithBasis(R)
ParametersR | - | A domain which must be from the category Cat::Ring. |
Cat::AlgebraWithBasis(R)
DetailsCat::HopfAlgebraWithBasis is a Hopf algebra over a distinguished basis. The
Hopf algebra operations (product, coproduct, counit) are typically
implemented by extending by linearity their definitions on the basis
elements.
Cat::HopfAlgebraWithBasis is a new category
MuPAD Combinat, an open source algebraic combinatorics package