next | previous | forward | backward | up | top | index | toc | Macaulay2 website
AssociativeAlgebras :: FreeAlgebra

FreeAlgebra -- Type of a free algebra

Synopsis

Description

This is the type of a free algebra over a commutative ring R (i.e. a tensor algebra over R).

i1 : A = QQ<|x,y|>

o1 = A

o1 : FreeAlgebra

Functions and methods returning a free algebra :

Methods that use a free algebra :

For the programmer

The object FreeAlgebra is a type, with ancestor classes EngineRing < Ring < Type < MutableHashTable < HashTable < Thing.