My Project
kverify.h
Go to the documentation of this file.
1#ifndef KVERIFY_H
2#define KVERIFY_H
4BOOLEAN kVerify1(ideal F, ideal Q); /* seriell*/
5BOOLEAN 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