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