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