Type used to represent a subsemigroup and its Green relations. More...

#include <monoid_sub.h>

Public Attributes
sub_level	level
	Level of computation.

morphism *	original
	The original morphism.

uint	size
	Size of the subsemigroup (or the number of regular elements if full is false).

uint *	sub_to_mono
	Array indexed by the elements of the subsemgroup. Maps each one to the corresponding element in the original monoid.

bool *	mono_in_sub
	Array of Booleans indexed by the elements of the original monoid. Marks the elements inside the subsemigroup.

uint *	mono_to_sub
	Array of Booleans indexed by the elements of the original monoid. Maps each elements to the orrepsonding one in the subsemigroup (if it exists).

uint	neut
	Index of the neutral element in the subsemigroup.

uint *	idem_list
	List of all idempotents.

uint	nb_idems
	Number of idempotents in the subsemigroup.

bool *	idem_array
	Array of Booleans indexed by the elements of the subsemgroup. Marks the idempotents.

green *	rels
	The Green relations of the subsemigroup.

Detailed Description

Type used to represent a subsemigroup and its Green relations.

Remarks: The subsemigroup has to be a monoid but its neutral element needs not be the one of the original monoid.

The documentation for this struct was generated from the following file:

Public Attributes