Algebras and their subalgebras are represented by records. Once an algebra record is created you may add record components to it but you must not alter information already present.
Algebra records must always contain the components
isAlgebra. Subalgebras contain an additional component
one are not necessarily
The contents of important record components of an algebra A is described below.
The category components are
true) if A is a unital algebra.
The identification components are
generatorsis not bound it can be computed using
operations contains the operations record of A.
This will usually be one of
UnitalAlgebraOps, or a
record for more specific algebras.
Previous Up Top Next