38.17 Set Theoretic Functions for Algebras

As already mentioned in the introduction of the chapter, algebras are domains. Thus all set theoretic functions, for example Intersection and Size can be applied to algebras. All set theoretic functions not mentioned here are not treated specially for algebras.

Elements( A ) :

computes the elements of the algebra A using a Dimino algorithm. The default function for algebras computes a vector space basis at the same time.

Intersection( A, H ) :

returns the intersection of A and H either as set of elements or as an algebra record.

IsSubset( A, H ) :

If A and H are algebras then IsSubset tests whether the generators of H are elements of A. Otherwise DomainOps.IsSubset is used.

Random( A ) :

returns a random element of the algebra A. This requires the computation of a vector space basis.

Functions for Finitely Presented Algebras for the set theoretic functions for the different types of algebras.

Previous Up Top Next
Index