My Project
kverify.h
Go to the documentation of this file.
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
int BOOLEAN
Definition: auxiliary.h:87
STATIC_VAR jList * Q
Definition: janet.cc:30
BOOLEAN kVerify2(ideal F, ideal Q)
Definition: kverify.cc:138
BOOLEAN kVerify1(ideal F, ideal Q)
Definition: kverify.cc:21