monoid_kernels.h File Reference

Computation of kernels. More...

#include "monoid.h"
#include "monoid_sub.h"
#include "sep_group.h"
#include "flint/fmpz.h"
#include "flint/fmpz_mat.h"

Go to the source code of this file.

Functions
nfa *	morphism_to_dnfa_kernel (morphism *)
	Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are entering a new regular R-class.
nfa *	morphism_to_dfa_rcl (morphism *)
	Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are not internal to the R-classes.
nfa *	morphism_to_dfa_lcl (morphism *)
	Computes a DFA from the left Cayley graph of a morphism. Discards all transitions which are not internal to the L-classes.
subsemi *	get_kernel (morphism *M, sub_level level, basis ba)
	Computes the kernel of a morphism for one of the three bases MOD, AMT or GR.

Detailed Description

Computation of kernels.

Function Documentation

get_kernel()

subsemi * get_kernel	(	morphism *	M,
		sub_level	level,
		basis	ba )

Computes the kernel of a morphism for one of the three bases MOD, AMT or GR.

Remarks

The available computation levels are LV_REG and LV_FULL. If LV_GREG is used, the computation defaults to LV_FULL.

Attention

LV_FULL is not available for AMT-kernels. If used, the computation default to LV_REG.

Returns

The kernel.

Parameters

M	The morphism.
level	The desired computation level of the subsemigroup.
ba	The basis of the kernel (BA_MOD, BA_AMT or BA_GR). If BA_ST is used, an error is raised.

morphism_to_dfa_lcl()

nfa * morphism_to_dfa_lcl

(

morphism *

M

)

Computes a DFA from the left Cayley graph of a morphism. Discards all transitions which are not internal to the L-classes.

Remarks

Used to compute the restriction of Kernels to regular elements.

Returns

The DFA.

Parameters

M	The morphism.

morphism_to_dfa_rcl()

nfa * morphism_to_dfa_rcl

(

morphism *

M

)

Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are not internal to the R-classes.

Remarks

Used to compute the restriction of Kernels to regular elements.

Returns

The DFA.

Parameters

M	The morphism.

morphism_to_dnfa_kernel()

nfa * morphism_to_dnfa_kernel

(

morphism *

M

)

Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are entering a new regular R-class.

Remarks

Used to compute full Kernels.

Returns

The DFA.

Parameters

M	The morphism.