![]() |
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 |
Definition at line 52 of file fglmzero.cc.
Definition at line 48 of file fglmzero.cc.
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.
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.
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.