My Project
Loading...
Searching...
No Matches
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
BOOLEAN kVerify2(ideal F, ideal Q)
Definition: kverify.cc:138
BOOLEAN kVerify1(ideal F, ideal Q)
Definition: kverify.cc:21
#define Q
Definition: sirandom.c:26