/***************************************
*                                      *
*   Copyright (c) 1998 Jean-Eric Pin   *
*   All rights reserved.               *
*                                      *
*   TAB = 2 spaces                     *
*                                      *
***************************************/

/*-------------------------------------------------------------------
 * SortieLaTeX.h    Jean-Eric Pin 31/05/07
 *-------------------------------------------------------------------
 */     

/* #define  LIGNE_MAX 69  */
#define  NB_MAX_LIGNES  36
#define  NB_MAX_LIGNES_ALIGN  34

void SortieLaTeXGenerale(FILE *fichier);
void SortieLaTeXSemiAnneauZst(FILE *fichier);
void SortieLaTeXGenerateurs(FILE *fichier);
void SortieLaTeXMotNonVide(unsigned long n, FILE *fichier);
void SortieLaTeXMotVide(FILE *fichier);
void SortieLaTeXMot(unsigned long n, FILE *fichier);
void SortieLaTeXSemiReduiteMotNonVide(unsigned long n, FILE *fichier);
void SortieLaTeXSemiReduiteMot(unsigned long n, FILE *fichier);
void SortieLaTeXEMot(element x, FILE *fichier);
void SortieLaTeXMotFormate(unsigned long x, unsigned short Longueur, FILE *fichier);
void SortieLaTeXKS(FILE *fichier);
void SortieLaTeXIdealMinimal(FILE *fichier);
void SortieLaTeXIdealDroit(unsigned long n, FILE *fichier);
void SortieLaTeXIdealGauche(unsigned long n, FILE *fichier);
void SortieLaTeXEndalign(unsigned long n, FILE *fichier);
void SortieLaTeXRelations(FILE *fichier);
void SortieLaTeXEnTeteElements(FILE *fichier);
void SortieLaTeXListeElements(FILE *fichier);
void SortieLaTeXIdempotents(FILE *fichier);
void SortieLaTeXOmega(FILE *fichier);
void SortieLaTeXMonoideLocal(unsigned long n, FILE *fichier);
void SortieLaTeXZero(FILE *fichier);
void SortieLaTeXSyntactique(FILE *fichier);
void SortieLaTeXTable(ListeNumero *Table, FILE *fichier);
void SortieLaTeXInverses(FILE *fichier);
void SortieLaTeXListeInverses(unsigned long s, ListeNumero Liste, FILE *fichier);
void SortieLaTeXRightCayleyGraph(FILE *fichier);
void SortieLaTeXLeftCayleyGraph(FILE *fichier);