morphism Struct Reference

The type used to represent a morphism into a finite monoid. More...

#include <monoid.h>

Public Attributes
letter *	alphabet
	An array indexed by the letters indices (generators). Assigns its letter to each index.
uint *	pred_ele
	Array of preceding elements (for the naming as a product of generators).
uint *	pred_lab
	Array of preceding letters (for the naming as a product of generators).
dgraph *	r_cayley
	The right Cayley graph of the morphism (stores the number of elements and the numbers of letters).
dgraph *	l_cayley
	The left Cayley graph of the morphism.
uint	nb_idems
	Number of idempotents in the morphism.
uint *	idem_list
	The list of all idempotents, sorted in increasing order.
bool *	idem_array
	An array of Booleans indexed by the elements. Marks the idempotents.
uint	nb_accept
	Number of accepting elements in the morphism.
uint *	accept_list
	The list of all accepting elements, sorted in increasing order.
bool *	accept_array
	An array of Booleans indexed by the elements. Marks the accepting elements.
green *	rels
	The Green relations of the monoid.
uint	nb_regular_jcl
	Number of regular J-classes.
uint	nb_min_regular_jcl
	The number of "strict minimal" J-classes (no smaller regular J-class has a nonempty antecedent).
uint *	regular_idems
	Array indexed by the regular J-classes (sorted in topological order). Associates a member idempotent to each of them (the one with the least index). The minimal J-classes are at the beginning.
uint *	mult
	The multiplication table size r_cayley->size_graph * r_cayley->size_graph (NULL if not computed).
uint **	order
	Partial information on the ordering on the monoid. Array of size nb_regular_jcl, Each representative idempotent is mapped to the list of larger elements sorted in increasing order (NULL if not computed).
uint *	order_size
	The size of the ordering for each element (the number of larger elements).
uint *	order_storage
	The storage of the ordering (one dimension array).

Detailed Description

The type used to represent a morphism into a finite monoid.

---

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

• monoid.h