monoid_orbits.h

Go to the documentation of this file.

#ifndef MONOID_ORBITS_H
#define MONOID_ORBITS_H
 
#include "monoid.h"
#include "monoid_ideals.h"
#include "monoid_sub.h"
#include "sep_group.h"
 
 /*  __  __                   _     _          ___       _     _ _        */
 /* |  \/  | ___  _ __   ___ (_) __| |___ _   / _ \ _ __| |__ (_) |_ ___  */
 /* | |\/| |/ _ \| '_ \ / _ \| |/ _` / __(_) | | | | '__| '_ \| | __/ __| */
 /* | |  | | (_) | | | | (_) | | (_| \__ \_  | |_| | |  | |_) | | |_\__ \ */
 /* |_|  |_|\___/|_| |_|\___/|_|\__,_|___(_)  \___/|_|  |_.__/|_|\__|___/ */
 
 
//#define DEBUG_ORBITS

typedef struct {
    morphism* original;  
    subsemi** orbits;    
    uint nb_computed;    
    sub_level level;     
} orbits;
 
/*********************/
/* General functions */
/*********************/

orbits* init_orbits(morphism* 
);

void delete_orbits(orbits* 
);
 
 
 
/*************/
/* DD-orbits */
/*************/

subsemi* compute_one_ddorb(morphism*, 
    uint 
);

orbits* compute_ddorbits(morphism* 
);
 
 
 
/*************/
/* G⁺-orbits */
/*************/

subsemi* compute_one_gplusorb(subsemi*, 
    uint 
);

orbits* compute_gplusorbits(subsemi* 
);
 
 
 
/********************************************/
/* PT-orbits (which are also the AT-orbits) */
/********************************************/
 

subsemi* compute_one_ptorb(morphism*, 
    uint, 
    sub_level 
);

orbits* compute_ptorbits(morphism*, 
    sub_level 
);
 
 
 
/******************/
/* BPol(G)-orbits */
/******************/
 
 

uint** compute_jmult(morphism*, 
    dequeue*, 
    dequeue* 
);

bool** compute_polgpairs(subsemi*, 
    dequeue*, 
    uint 
);
 
 
 
 

subsemi* compute_one_bpgorb(morphism* M, 
    uint, 
    sub_level, 
    basis 
);

orbits* compute_bpgorbits(morphism* M, 
    sub_level, 
    basis 
);
 
 
 
/*******************/
/* BPol(G⁺)-orbits */
/*******************/

subsemi* compute_one_orbit_from_pairs(morphism*, 
    uint, 
    dequeue*, 
    bool**, 
    sub_level 
);
 

subsemi* compute_one_bpddorb(morphism* M, 
    uint e, 
    sub_level level 
);
 

subsemi* compute_one_bpgplusorb(morphism*, 
    uint, 
    sub_level, 
    basis 
);

orbits* compute_bpgplusorbits(morphism*, 
    sub_level, 
    basis 
);
 
 
#endif