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:88
BOOLEAN kVerify2(ideal F, ideal Q)
Definition kverify.cc:141
BOOLEAN kVerify1(ideal F, ideal Q)
Definition kverify.cc:24
#define Q
Definition sirandom.c:26