My Project
|
#include "kernel/mod2.h"
#include "factory/factory.h"
#include "factory/templates/ftmpl_list.h"
#include "factory/templates/ftmpl_list.cc"
#include "misc/options.h"
#include "misc/intvec.h"
#include "polys/monomials/maps.h"
#include "polys/monomials/ring.h"
#include "kernel/polys.h"
#include "kernel/ideals.h"
#include "kernel/GBEngine/kstd1.h"
#include "fglm.h"
#include "fglmvec.h"
#include "fglmgauss.h"
Go to the source code of this file.
Data Structures | |
struct | matElem |
The idealFunctionals. More... | |
struct | matHeader |
class | idealFunctionals |
class | borderElem |
The old basis. More... | |
class | fglmSdata |
class | oldGaussElem |
class | fglmDdata |
Macros | |
#define | PROT(msg) |
#define | STICKYPROT(msg) if (BTEST1(OPT_PROT)) Print(msg) |
#define | PROT2(msg, arg) |
#define | STICKYPROT2(msg, arg) if (BTEST1(OPT_PROT)) Print(msg,arg) |
#define | fglmASSERT(ignore1, ignore2) |
Functions | |
void | internalCalculateFunctionals (const ideal, idealFunctionals &l, fglmSdata &data) |
static BOOLEAN | CalculateFunctionals (const ideal &theIdeal, idealFunctionals &l) |
static BOOLEAN | CalculateFunctionals (const ideal &theIdeal, idealFunctionals &l, poly &p, fglmVector &v) |
static ideal | GroebnerViaFunctionals (const idealFunctionals &l, fglmVector iv=fglmVector()) |
static ideal | FindUnivariatePolys (const idealFunctionals &l) |
BOOLEAN | fglmzero (ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN switchBack, BOOLEAN deleteIdeal) |
BOOLEAN | fglmquot (ideal sourceIdeal, poly quot, ideal &destIdeal) |
BOOLEAN | FindUnivariateWrapper (ideal source, ideal &destIdeal) |
struct matElem |
The idealFunctionals.
Definition at line 61 of file fglmzero.cc.
Data Fields | ||
---|---|---|
number | elem | |
int | row |
struct matHeader |
Definition at line 67 of file fglmzero.cc.
Data Fields | ||
---|---|---|
matElem * | elems | |
BOOLEAN | owner | |
int | size |
#define fglmASSERT | ( | ignore1, | |
ignore2 | |||
) |
Definition at line 52 of file fglmzero.cc.
#define PROT | ( | msg | ) |
Definition at line 48 of file fglmzero.cc.
#define PROT2 | ( | msg, | |
arg | |||
) |
Definition at line 50 of file fglmzero.cc.
Definition at line 49 of file fglmzero.cc.
Definition at line 51 of file fglmzero.cc.
|
static |
Definition at line 673 of file fglmzero.cc.
|
static |
Definition at line 681 of file fglmzero.cc.
BOOLEAN fglmquot | ( | ideal | sourceIdeal, |
poly | quot, | ||
ideal & | destIdeal | ||
) |
Definition at line 1218 of file fglmzero.cc.
BOOLEAN fglmzero | ( | ring | sourceRing, |
ideal & | sourceIdeal, | ||
ring | destRing, | ||
ideal & | destIdeal, | ||
BOOLEAN | switchBack, | ||
BOOLEAN | deleteIdeal | ||
) |
Definition at line 1193 of file fglmzero.cc.
|
static |
Definition at line 1118 of file fglmzero.cc.
BOOLEAN FindUnivariateWrapper | ( | ideal | source, |
ideal & | destIdeal | ||
) |
Definition at line 1236 of file fglmzero.cc.
|
static |
Definition at line 1046 of file fglmzero.cc.
void internalCalculateFunctionals | ( | const | ideal, |
idealFunctionals & | l, | ||
fglmSdata & | data | ||
) |
Definition at line 609 of file fglmzero.cc.