![]() |
My Project
|
#include "kernel/polys.h"
#include "kernel/GBEngine/kstd1.h"
#include "polys/prCopy.h"
#include "callgfanlib_conversion.h"
#include "bbcone.h"
#include "std_wrapper.h"
Go to the source code of this file.
Functions | |
poly | checkForMonomialViaSuddenSaturation (const ideal I, const ring r) |
poly | searchForMonomialViaStepwiseSaturation (const ideal I, const ring r, const gfan::ZVector w0) |
BOOLEAN | checkForMonomial (leftv res, leftv args) |
BOOLEAN | searchForMonomialViaStepwiseSaturation (leftv res, leftv args) |
Definition at line 212 of file containsMonomial.cc.
Definition at line 9 of file containsMonomial.cc.
Definition at line 55 of file containsMonomial.cc.
Definition at line 234 of file containsMonomial.cc.