monoid_sub.h

#ifndef _MONOID_SUB_H_
#define _MONOID_SUB_H_
 
/*  ____        _                        _                                  */
/* / ___| _   _| |__  ___  ___ _ __ ___ (_) __ _ _ __ ___  _   _ _ __  ___  */
/* \___ \| | | | '_ \/ __|/ _ \ '_ ` _ \| |/ _` | '__/ _ \| | | | '_ \/ __| */
/*  ___) | |_| | |_) \__ \  __/ | | | | | | (_| | | | (_) | |_| | |_) \__ \ */
/* |____/ \__,_|_.__/|___/\___|_| |_| |_|_|\__, |_|  \___/ \__,_| .__/|___/ */
/*                                         |___/                |_|         */
 
#include "monoid.h"
#include "tools.h"
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>

typedef enum {
    LV_REG,   
    LV_GREG,  
    LV_FULL,  
} sub_level;

typedef struct {
    sub_level level;     
    morphism* original;  
    uint size;           
 
    uint* sub_to_mono;  
    bool* mono_in_sub;  
    uint* mono_to_sub;  
    uint neut;          
    uint* idem_list;    
    uint nb_idems;      
    bool* idem_array;   
    green* rels;        
} subsemi;
 
/******************************/
/* Manipulating subsemigroups */
/******************************/

subsemi* init_subsemi(morphism* 
);
 
 
 

void compute_maps_subsemi(subsemi* 
);

void compute_idems_subsemi(subsemi* 
);

uint* compute_jord_subsemi(subsemi* 
);
 

void compute_jrel_subsemi(subsemi*, 
    uint* 
);
 

void delete_subsemi(subsemi* 
);

dequeue* restrict_list_to_subsemi(subsemi*, 
    dequeue* 
);
 
 
 
 

void green_compute_sub(subsemi* 
);

void green_compute_sub_reg(subsemi* 
);
 
 
 
 
#endif // _MONOID_SUB_H_