GAP Manual: 39. Finitely Presented Algebras

This chapter contains the description of functions dealing with finitely presented algebras. The first section informs about the data structures (see More about Finitely Presented Algebras), the next sections tell how to construct free and finitely presented algebras (see FreeAlgebra, FpAlgebra), and what functions can be applied to them (see IsFpAlgebra, Functions for Finitely Presented Algebras, Operators for Finitely Presented Algebras, PrintDefinitionFpAlgebra), and the final sections introduce functions for elements of finitely presented algebras (see MappedExpression, Elements of Finitely Presented Algebras, ElementAlgebra, NumberAlgebraElement).

For a detailed description of operations of finitely presented algebras on modules, see chapter Vector Enumeration.

This chapter contains the following sections:

• 39.1. More about Finitely Presented Algebras
• 39.2. FreeAlgebra
• 39.3. FpAlgebra
• 39.4. IsFpAlgebra
• 39.5. Operators for Finitely Presented Algebras
• 39.6. Functions for Finitely Presented Algebras
• 39.7. PrintDefinitionFpAlgebra
• 39.8. MappedExpression
• 39.9. Elements of Finitely Presented Algebras
• 39.10. ElementAlgebra
• 39.11. NumberAlgebraElement