Loading...
Searching...
No Matches
kverify.h
Go to the documentation of this file.
#ifndef KVERIFY_H
#define KVERIFY_H
#include "polys/simpleideals.h"
BOOLEAN kVerify1(ideal F, ideal Q); /* seriell*/
BOOLEAN kVerify2(ideal F, ideal Q); /* parallel */
#endif
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
kVerify2
BOOLEAN kVerify2(ideal F, ideal Q)
Definition kverify.cc:141
kVerify1
BOOLEAN kVerify1(ideal F, ideal Q)
Definition kverify.cc:24
simpleideals.h
Q
#define Q
Definition sirandom.c:26