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