![]() |
#include <kernel/mod2.h>#include <factory/factory.h>#include <factory/templates/ftmpl_list.h>#include <factory/templates/ftmpl_list.cc>#include <omalloc/omalloc.h>#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 63 of file fglmzero.cc.
| Data Fields | ||
|---|---|---|
| number | elem | |
| int | row | |
| struct matHeader |
Definition at line 69 of file fglmzero.cc.
| Data Fields | ||
|---|---|---|
| matElem * | elems | |
| BOOLEAN | owner | |
| int | size | |
| #define fglmASSERT | ( | ignore1, | |
| ignore2 | |||
| ) |
Definition at line 54 of file fglmzero.cc.
| #define PROT | ( | msg | ) |
Definition at line 50 of file fglmzero.cc.
| #define PROT2 | ( | msg, | |
| arg | |||
| ) |
Definition at line 52 of file fglmzero.cc.
Definition at line 51 of file fglmzero.cc.
Definition at line 53 of file fglmzero.cc.
|
static |
Definition at line 675 of file fglmzero.cc.
|
static |
Definition at line 683 of file fglmzero.cc.
Definition at line 1215 of file fglmzero.cc.
| BOOLEAN fglmzero | ( | ring | sourceRing, |
| ideal & | sourceIdeal, | ||
| ring | destRing, | ||
| ideal & | destIdeal, | ||
| BOOLEAN | switchBack, | ||
| BOOLEAN | deleteIdeal | ||
| ) |
Definition at line 1190 of file fglmzero.cc.
|
static |
Definition at line 1120 of file fglmzero.cc.
| BOOLEAN FindUnivariateWrapper | ( | ideal | source, |
| ideal & | destIdeal | ||
| ) |
Definition at line 1233 of file fglmzero.cc.
|
static |
Definition at line 1048 of file fglmzero.cc.
| void internalCalculateFunctionals | ( | const ideal | , |
| idealFunctionals & | l, | ||
| fglmSdata & | data | ||
| ) |
Definition at line 611 of file fglmzero.cc.