Cat::FiniteDimensionalAlgebraWithBasis --
the category of finite dimensional algebras over a distinguished basis
IntroductionCat::FiniteDimensionalAlgebraWithBasis represents the category of finite dimensional algebras
over a distinguished basis.
Generating the category
Cat::FiniteDimensionalAlgebraWithBasis(R)
ParametersR | - | A domain which must be from the category Cat::Ring. |
Cat::AlgebraWithBasis(R)
DetailsCat::FiniteDimensionalAlgebraWithBasis is an algebra over a distinguished basis
(Cat::AlgebraWithBasis), which is also finite dimensional as
a vector space (or module).
Cat::FiniteDimensionalAlgebraWithBasis is a new category
MuPAD Combinat, an open source algebraic combinatorics package