1 /****************************************************************************
2 **
3 **    pcarith.h                       PC                       Werner Nickel
4 **                                         nickel@mathematik.tu-darmstadt.de
5 */
6 
7 #ifndef PCARITH_H
8 #define PCARITH_H
9 
10 #include "genexp.h"
11 
12 typedef word (*WordGenerator)(gen);
13 
14 extern  void    WordCopyExpVec(expvec ev, word w);
15 extern  word    WordExpVec(expvec ev);
16 extern  expvec  ExpVecWord(word w);
17 extern  int     WordCmp(word u, word w);
18 extern  void    WordCopy(word u, word w);
19 extern  int     WordLength(word w);
20 extern  void    WordInit(WordGenerator generator);
21 extern  void    WordPrint(word gs);
22 
23 
24 extern word WordGen(gen g);
25 extern word WordEngel(word u, word w, int *e);
26 extern word WordComm(word u, word w);
27 
28 #endif
29