39.6 Functions for Finitely Presented Algebras

The following functions are overlaid in the operations record of finitely presented algebras.

The set theoretic functions:

Elements, Intersection, IsFinite, IsSubset, Size;

the vector space functions:

Base, Coefficients, and Dimension,

Note that at the moment no basis records (see Row Space Bases) for finitely presented algebras are supported.

and the algebra functions:

Examples of Vector Enumeration), Subalgebra, and TrivialSubalgebra.

Note that these functions try to compute a faithful matrix representation Vector Enumeration).

Previous Up Top Next
Index