![]() |
My Project
|
#include "kernel/mod2.h"
#include "misc/mylimits.h"
#include "misc/options.h"
#include "kernel/ideals.h"
#include "kernel/polys.h"
#include "polys/monomials/ring.h"
#include "kernel/GBEngine/kutil.h"
#include "kernel/GBEngine/kverify.h"
#include "Singular/feOpt.h"
#include <stdlib.h>
#include <string.h>
#include "kernel/oswrapper/vspace.h"
#include <sys/types.h>
#include <sys/wait.h>
#include <unistd.h>
Go to the source code of this file.
Functions | |
BOOLEAN | kVerify1 (ideal F, ideal Q) |
BOOLEAN | kVerify2 (ideal F, ideal Q) |
BOOLEAN kVerify1 | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 21 of file kverify.cc.
BOOLEAN kVerify2 | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 137 of file kverify.cc.