Cat::HopfAlgebraWithBasis
--
the category of Hopf algebras over a distinguished basis
Cat::HopfAlgebraWithBasis
represents the category of Hopf algebras over a
distinguished basis.
Cat::HopfAlgebraWithBasis(R)
R | - | A domain which must be from the category Cat::Ring . |
Cat::AlgebraWithBasis(R)
Cat::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