Quelle nq.h Sprache: C

/*****************************************************************************
**
**    nq.h                            NQ                       Werner Nickel
**                                         nickel@mathematik.tu-darmstadt.de
*/

/*
**    This include file contains the declarations of data structures that
**    build a polycyclic presentation.
*/

#ifndef NQ_H
#define NQ_H

#include <stdio.h>
#include <string.h>

#include "config.h"
#include "system.h"

/*
**    This variable indicates whether GAP output should be produced.
*/
extern  int     Gap;

/*
**    This variable indicates whether the relation matrix for each factor
**    of the lower central series is to be written to file.
*/
extern  int     AbelianInv;

/*
**    This variable switches the verbose mode on.
*/
extern  int     Verbose;

/*
**    The input file name. Used in some routines to build a file name for
**    output.
*/
extern const char *InputFile;

#include "mem.h"
#include "genexp.h"
#include "pc.h"
#include "pcarith.h"
#include "collect.h"
#include "macro.h"

extern int      *Dimension;

extern word     *Generators;

/*
**    The data structures used for the integer triagonalization.
*/
extern  long     NrRows;
extern  long     NrCols;
extern  long    *Heads;

/*
**    Functions manipulating words.
**    Defined in word.c.
*/
extern  void    printWord(word w, char c);
extern  void    printGen(gen g, char c);

/*
**    Early stopping criterion.
*/
extern int      EarlyStop;

/* TODO: Misc decls */
extern void SetupCommuteList(void); /* from addgen.c */
extern void SetupCommute2List(void); /* from addgen.c */
extern void SetupNrPcGensList(void); /* from addgen.c */
extern void AddGenerators(void); /* from addgen.c */

extern void printEv(expvec ev); /* from consistency.c */
extern void Consistency(void); /* from consistency.c */

extern void ElimGenerators(void); /* from eliminate.c */
extern long appendExpVector(gen k, expvec ev, word w, gen *renumber); /* from eliminate.c */

extern void PrintRawGapPcPres(void); /* from gap.c */

extern void Tails(void); /* from tails.c */

extern void InitTrMetAb(int t); /* from trmetab.c */
extern void EvalTrMetAb(void); /* from trmetab.c */

#endif

quality100%

¤ Dauer der Verarbeitung: 0.4 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.