As already mentioned in the introduction of the chapter, algebras are
domains. Thus all set theoretic functions, for example
Size can be applied to algebras.
All set theoretic functions not mentioned here are not treated specially
Elements( A ):
Intersection( A, H ):
IsSubset( A, H ):
IsSubsettests whether the generators of H are elements of A. Otherwise
Random( A ):
Functions for Finitely Presented Algebras for the set theoretic functions for the different types of algebras.
Previous Up Top Next