Go to the source code of this file.
◆ redNF() [1/2]
ideal redNF |
( |
ideal |
N, |
|
|
ideal |
M, |
|
|
matrix |
U, |
|
|
int |
d, |
|
|
intvec * |
w |
|
) |
| |
Definition at line 18 of file units.cc.
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
#define idDelete(H)
delete an ideal
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
const CanonicalForm CFMap CFMap & N
#define pHead(p)
returns newly allocated copy of Lm(p), coef is copied, next=NULL, p might be NULL
ideal idInit(int idsize, int rank)
initialise an ideal / module
#define __p_Mult_nn(p, n, r)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)
◆ redNF() [2/2]
poly redNF |
( |
ideal |
N, |
|
|
poly |
p, |
|
|
poly |
u, |
|
|
int |
d, |
|
|
intvec * |
w |
|
) |
| |
Definition at line 56 of file units.cc.
ideal redNF(ideal N, ideal M, matrix U, int d, intvec *w)
#define idDelete(H)
delete an ideal
#define pGetComp(p)
Component.
const CanonicalForm CFMap CFMap & N
matrix mpNew(int r, int c)
create a r x c zero-matrix
ideal idInit(int idsize, int rank)
initialise an ideal / module
#define MATELEM(mat, i, j)