Definition at line 758 of file fglmzero.cc.
◆ fglmDdata()
fglmDdata::fglmDdata |
( |
int |
dimension | ) |
|
Definition at line 793 of file fglmzero.cc.
799 #ifndef HAVE_EXPLICIT_CONSTR #define idMaxIdeal(D)
initialise the maximal ideal (at 0)
#define idDelete(H)
delete an ideal
static intvec * idSort(ideal id, BOOLEAN nolex=TRUE)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idInit(int idsize, int rank)
initialise an ideal / module
BOOLEAN dimension(leftv res, leftv args)
◆ ~fglmDdata()
fglmDdata::~fglmDdata |
( |
| ) |
|
Definition at line 821 of file fglmzero.cc.
827 #ifndef HAVE_EXPLICIT_CONSTR #define omFreeSize(addr, size)
#define pLmDelete(p)
assume p != NULL, deletes Lm(p)->coef and Lm(p)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
◆ buildIdeal()
ideal fglmDdata::buildIdeal |
( |
| ) |
|
|
inline |
Definition at line 786 of file fglmzero.cc.
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
◆ candidatesLeft()
BOOLEAN fglmDdata::candidatesLeft |
( |
| ) |
const |
|
inline |
◆ gaussreduce()
Definition at line 979 of file fglmzero.cc.
984 fglmASSERT( pdenom ==
NULL,
"pdenom in gaussreduce should be NULL" );
996 number temp=
nMult( pdenom, gcd );
1009 temp=
nMult( fac2, pdenom );
1019 number gcd = v.gcd();
1023 number temp=
nMult( pdenom, gcd );
1035 temp=
nDiv( pdenom, gcd );
number getconstelem(int i) const
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void nihilate(const number fac1, const number fac2, const fglmVector v)
#define fglmASSERT(ignore1, ignore2)
void setelem(int i, number &n)
static FORCE_INLINE number n_SubringGcd(number a, number b, const coeffs r)
◆ getBasisSize()
int fglmDdata::getBasisSize |
( |
| ) |
const |
|
inline |
◆ newBasisElem()
Definition at line 854 of file fglmzero.cc.
869 while ( k <=
dimen ) {
883 #ifndef HAVE_EXPLICIT_CONSTR number getconstelem(int i) const
bool pivot(const matrix aMat, const int r1, const int r2, const int c1, const int c2, int *bestR, int *bestC, const ring R)
This code computes a score for each non-zero matrix entry in aMat[r1..r2, c1..c2].
oldGaussElem(const fglmVector newv, const fglmVector newp, number &newpdenom, number &newfac)
#define fglmASSERT(ignore1, ignore2)
◆ newGroebnerPoly()
void fglmDdata::newGroebnerPoly |
( |
fglmVector & |
v, |
|
|
poly & |
p |
|
) |
| |
Definition at line 936 of file fglmzero.cc.
962 if ( !
nIsZero(
p.getconstelem( k ) ) ) {
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
#define fglmASSERT(ignore1, ignore2)
void pEnlargeSet(poly **p, int l, int increment)
#define pSetCoeff(p, n)
deletes old coeff before setting the new one
#define pCopy(p)
return a copy of the poly
◆ nextCandidate()
◆ updateCandidates()
Definition at line 891 of file fglmzero.cc.
894 poly newmonom =
NULL;
904 while ( list.
hasItem() && (!done) )
#define pLmDelete(p)
assume p != NULL, deletes Lm(p)->coef and Lm(p)
#define pCmp(p1, p2)
pCmp: args may be NULL returns: (p2==NULL ? 1 : (p1 == NULL ? -1 : p_LmCmp(p1, p2))) ...
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pCopy(p)
return a copy of the poly
◆ basis
◆ basisSize
◆ destId
◆ dimen
◆ gauss
◆ groebnerBS
int fglmDdata::groebnerBS |
|
private |
◆ groebnerSize
int fglmDdata::groebnerSize |
|
private |
◆ isPivot
◆ nlist
◆ perm
◆ varpermutation
int* fglmDdata::varpermutation |
|
private |
The documentation for this class was generated from the following file: