monoid_congruences.h

Go to the documentation of this file.

 
 
#ifndef CONGRUENCES_H
#define CONGRUENCES_H
 
#include <stdbool.h>
#include <stdlib.h>
#include "type_dlist.h"
#include "sep_group.h"
#include "nfa.h"
#include "nfa_intersec.h"
#include "monoid.h"
#include "monoid_ideals.h"
#include "monoid_props.h"
 
 /******************************/
 /* Computation of congruences */
 /******************************/

void compute_leastcong(morphism*, 
    ufind*                     
);

ufind* iden_green_mono(morphism*, 
    green_relation 
);

ufind* iden_green_subsemi(subsemi*, 
    green_relation 
);

ufind* iden_green_orbmono(orbits*, 
    green_relation 
);
 
/***************************************/
/* Partitions generated by an equation */
/***************************************/

ufind* iden_bpolmod_mono(morphism* 
);
 

ufind* iden_bpolamt_mono(morphism* 
);
 

ufind* iden_blockg_mono(morphism* 
);

ufind* iden_knast_mono(orbits* 
);
 
 

ufind* iden_qknast_mono(orbits*, 
    subsemi*                
);

ufind* iden_bpolamtp_mono(orbits* 
);

ufind* iden_bpolgrp_mono(orbits* 
);
 

ufind* iden_mpolc_mono(morphism*, 
    parti*                     
);

ufind* iden_lpolc_mono(morphism*, 
    parti*                     
);

ufind* iden_rpolc_mono(morphism*, 
    parti*                     
);
 
 

void hdet_lrpol_level(morphism*, 
    ufind*,                 
    FILE*,                   
    short*,                  
    short*                    
);
 
#endif