1 #ifndef KVERIFY_H 2 #define KVERIFY_H 3 #include "polys/simpleideals.h" 4 BOOLEAN kVerify1(ideal F, ideal Q); /* seriell*/ 5 BOOLEAN kVerify2(ideal F, ideal Q); /* parallel */ 6 #endif 7