Cat::AlgebraWithSeveralBases – the category of algebras expanded on several bases

Cat::AlgebraWithSeveralBases represents the category of algebras expanded on several bases.

→ Examples

Creating the Category

Cat::AlgebraWithSeveralBases(coeffRing)

Parameters:

Categories

Cat::Algebra(coeffRing), Cat::ModuleWithSeveralBases(coeffRing)

Details:

• The category Cat::AlgebraWithSeveralBases(coeffRing) represents the category of abstract algebras over (coeffRing), whose objects are concretely represented by expanding them on one of several bases.

• A domain of the category Cat::AlgebraWithSeveralBases(coeffRing) belongs to the category Cat::Algebra(coeffRing), where coeffRing is a Cat::Ring. Each element of d is expanded on one basis from a set of domains d::bases from the category Cat::AlgebraWithBasis(coeffRing).

Example 1:

Changes in MuPAD 3.4

New Function.