![]() |
My Project
|
Public Member Functions | |
fglmDdata (int dimension) | |
~fglmDdata () | |
int | getBasisSize () const |
BOOLEAN | candidatesLeft () const |
fglmDelem | nextCandidate () |
void | newBasisElem (poly &m, fglmVector v, fglmVector p, number &denom) |
void | updateCandidates (poly m, const fglmVector v) |
void | newGroebnerPoly (fglmVector &v, poly &p) |
void | gaussreduce (fglmVector &v, fglmVector &p, number &denom) |
ideal | buildIdeal () |
Private Attributes | |
int | dimen |
oldGaussElem * | gauss |
BOOLEAN * | isPivot |
int * | perm |
int | basisSize |
polyset | basis |
int * | varpermutation |
int | groebnerBS |
int | groebnerSize |
ideal | destId |
List< fglmDelem > | nlist |
Definition at line 758 of file fglmzero.cc.
fglmDdata::fglmDdata | ( | int | dimension | ) |
Definition at line 793 of file fglmzero.cc.
fglmDdata::~fglmDdata | ( | ) |
Definition at line 821 of file fglmzero.cc.
|
inline |
Definition at line 786 of file fglmzero.cc.
|
inline |
Definition at line 780 of file fglmzero.cc.
void fglmDdata::gaussreduce | ( | fglmVector & | v, |
fglmVector & | p, | ||
number & | denom | ||
) |
Definition at line 979 of file fglmzero.cc.
|
inline |
Definition at line 779 of file fglmzero.cc.
void fglmDdata::newBasisElem | ( | poly & | m, |
fglmVector | v, | ||
fglmVector | p, | ||
number & | denom | ||
) |
Definition at line 854 of file fglmzero.cc.
void fglmDdata::newGroebnerPoly | ( | fglmVector & | v, |
poly & | p | ||
) |
Definition at line 936 of file fglmzero.cc.
fglmDelem fglmDdata::nextCandidate | ( | ) |
Definition at line 846 of file fglmzero.cc.
void fglmDdata::updateCandidates | ( | poly | m, |
const fglmVector | v | ||
) |
Definition at line 891 of file fglmzero.cc.
|
private |
Definition at line 766 of file fglmzero.cc.
|
private |
Definition at line 765 of file fglmzero.cc.
|
private |
Definition at line 772 of file fglmzero.cc.
|
private |
Definition at line 761 of file fglmzero.cc.
|
private |
Definition at line 762 of file fglmzero.cc.
|
private |
Definition at line 770 of file fglmzero.cc.
|
private |
Definition at line 771 of file fglmzero.cc.
|
private |
Definition at line 763 of file fglmzero.cc.
Definition at line 774 of file fglmzero.cc.
|
private |
Definition at line 764 of file fglmzero.cc.
|
private |
Definition at line 768 of file fglmzero.cc.