/*************************************** * * * Copyright (c) 1998 Jean-Eric Pin * * All rights reserved. * * * * TAB = 2 spaces * * * ***************************************/ /*------------------------------------------------------------------- * Reduction.h Jean-Eric Pin 07/12/96 *------------------------------------------------------------------- */ unsigned long Reduction(lettre *Mot); unsigned long ProduitParReduction(unsigned long x1, unsigned long x2); unsigned long ProduitParReductionRecursif(unsigned long n1, unsigned long n2); info *ProduitParReductionInfo(info *n1, info *n2); unsigned long xOmega(unsigned long x); void Calcul_eSe_Brutal(unsigned long e); /* Par force brute ! A modifier */ void CalculMonoideLocal(unsigned long e); void CalculMonoideLocalMot(lettre *Mot); void ParcoursDroit(unsigned long s); /* Parcours en profondeur du graphe droit */ void ParcoursGauche(unsigned long s); /* Parcours en profondeur du graphe gauche */ void CalculIdealDroit(unsigned long s); /* Ideal a droite engendre par s */ void CalculIdealGauche(unsigned long s); /* Ideal a gauche engendre par s */