poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
ideal redNF(ideal N, ideal M, matrix U, int d, intvec *w)
#define idDelete(H)
delete an ideal
Compatiblity layer for legacy polynomial operations (over currRing)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy ...
#define pGetComp(p)
Component.
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const CanonicalForm CFMap CFMap & N
#define pHead(p)
returns newly allocated copy of Lm(p), coef is copied, next=NULL, p might be NULL ...
matrix mpNew(int r, int c)
create a r x c zero-matrix
ideal idInit(int idsize, int rank)
initialise an ideal / module
matrix mp_Copy(matrix a, const ring r)
copies matrix a (from ring r to r)
int idElem(const ideal F)
count non-zero elements
int id_MinDegW(ideal M, intvec *w, const ring r)
#define pCopy(p)
return a copy of the poly
#define MATELEM(mat, i, j)