Finite dimensional algebras with basis

Todo

Quotients of polynomial rings.

Quotients in general.

Matrix rings.

REFERENCES:

sage.categories.finite_dimensional_algebras_with_basis.FiniteDimensionalAlgebrasWithBasis

The category of finite dimensional algebras with a distinguished basis.

EXAMPLES:

sage: C = FiniteDimensionalAlgebrasWithBasis(QQ); C
Category of finite dimensional algebras with basis over Rational Field
sage: C.super_categories()
[Category of algebras with basis over Rational Field,
 Category of finite dimensional magmatic algebras with basis over Rational Field]
sage: C.example()
An example of a finite dimensional algebra with basis:
the path algebra of the Kronecker quiver
(containing the arrows a:x->y and b:x->y) over Rational Field