[Next] [Contents]

Cat::AlgebraWithBasis -- the category of associative algebras with a distinguished basis

Introduction

Cat::AlgebraWithBasis(R) represents the category of associative R-algebras with a distinguished basis.

Generating the category


Cat::AlgebraWithBasis(R)

Parameters

R- A domain which must be from the category Cat::Ring.

Categories

Cat::Algebra(R), Cat::ModuleWithBasis(R)

Details

Basic Entries

oneBasis

If the unit of the algebra is a basis element, the index of this basis element can be provided here, instead of defining "one".

Method fromCoeffRing: natural embedding of the coefficient ring

Method ground: ground coefficient

Method mult2Basis: binary multiplication of basis elements

Method mult2: binary multiplication

Method multBasis: n-ary multiplication of basis elements

Method mult: n-ary multiplication

Changes

[Next] [Contents]


MuPAD Combinat, an open source algebraic combinatorics package