1.24 Green Class Records

A Green class is represented by a domain record with the following tag components.

isDomain:

is always true.

isRClass, isLClass, isDClass, or isHClass:

present and true depending on what kind of Green class is being dealt with.

The Green class is determined by the following identity components, which every Green class record must have.

monoid:

the monoid.

representative:

an element of the class. Which one is unspecified.

In addition to these a Green class record may have the following optional information components.

elements:

if present the proper set of elements of the class.

size:

if present the size of the class.

   
[Index]