31 #define idDelete(H) id_Delete((H),currRing) 35 #define idMaxIdeal(D) id_MaxIdeal(D,currRing) 39 #define idPosConstant(I) id_PosConstant(I,currRing) 43 static inline int idSize(
const ideal
id)
47 while ((j >= 0) && (mm[j] ==
NULL)) j--;
53 #define idIsConstant(I) id_IsConstant(I,currRing) 55 #define idSimpleAdd(A,B) id_SimpleAdd(A,B,currRing) 57 ideal
id_Copy (ideal h1,
const ring
r);
59 #define idPrint(id) id_Print(id, currRing, currRing) 60 #define idTest(id) id_Test(id, currRing) 65 ideal idDBCopy(ideal h1,
const char *
f,
int l,
const ring
r);
66 #define id_DBCopy(A,r) idDBCopy(A,__FILE__,__LINE__,r) 81 inline ideal
idAdd (ideal h1, ideal h2)
96 inline ideal
idMult (ideal h1, ideal h2)
129 ideal
idSect (ideal h1,ideal h2);
145 ideal
idQuot (ideal h1,ideal h2,
153 #ifdef WITH_OLD_MINOR 191 ideal
idXXX (ideal h1,
int k);
ideal id_FreeModule(int i, const ring r)
the free module of rank i
void idLiftW(ideal P, ideal Q, int n, matrix &T, ideal &R, short *w=NULL)
ideal idXXX(ideal h1, int k)
ideal id_Copy(ideal h1, const ring r)
copy an ideal
BOOLEAN id_HomModule(ideal m, ideal Q, intvec **w, const ring R)
BOOLEAN id_HomIdeal(ideal id, ideal Q, const ring r)
CanonicalForm divide(const CanonicalForm &ff, const CanonicalForm &f, const CFList &as)
ideal id_TensorModuleMult(const int m, const ideal M, const ring rRing)
ideal idModulo(ideal h1, ideal h2, tHomog h=testHomog, intvec **w=NULL)
BOOLEAN id_InsertPolyWithTests(ideal h1, const int validEntries, const poly h2, const bool zeroOk, const bool duplicateOk, const ring r)
insert h2 into h1 depending on the two boolean parameters:
intvec * idMWLift(ideal mod, intvec *weights)
static intvec * idSort(ideal id, BOOLEAN nolex=TRUE)
ideal idLift(ideal mod, ideal sumod, ideal *rest=NULL, BOOLEAN goodShape=FALSE, BOOLEAN isSB=TRUE, BOOLEAN divide=FALSE, matrix *unit=NULL)
void idDelEquals(ideal id)
ideal idLiftStd(ideal h1, matrix *m, tHomog h=testHomog, ideal *syz=NULL)
static BOOLEAN idIsZeroDim(ideal i)
ideal idMinBase(ideal h1)
ideal idSeries(int n, ideal M, matrix U=NULL, intvec *w=NULL)
ideal idElimination(ideal h1, poly delVar, intvec *hilb=NULL)
ideal idMinEmbedding(ideal arg, BOOLEAN inPlace=FALSE, intvec **w=NULL)
void idKeepFirstK(ideal ide, const int k)
keeps the first k (>= 1) entries of the given ideal (Note that the kept polynomials may be zero...
const CanonicalForm CFMap CFMap & N
ideal idMinors(matrix a, int ar, ideal R=NULL)
compute all ar-minors of the matrix a the caller of mpRecMin the elements of the result are not in R ...
matrix idCoeffOfKBase(ideal arg, ideal kbase, poly how)
ideal idFreeModule(int i)
poly id_GCD(poly f, poly g, const ring r)
intvec * id_Sort(const ideal id, const BOOLEAN nolex, const ring r)
sorts the ideal w.r.t. the actual ringordering uses lex-ordering when nolex = FALSE ...
ideal idMultSect(resolvente arg, int length)
BOOLEAN idInsertPoly(ideal h1, poly h2)
insert h2 into h1 (if h2 is not the zero polynomial) return TRUE iff h2 was indeed inserted ...
void idGetNextChoise(int r, int end, BOOLEAN *endch, int *choise)
ideal idSect(ideal h1, ideal h2)
ideal idMult(ideal h1, ideal h2)
hh := h1 * h2
ideal id_Mult(ideal h1, ideal h2, const ring R)
h1 * h2 one h_i must be an ideal (with at least one column) the other h_i may be a module (with no co...
BOOLEAN idInsertPolyWithTests(ideal h1, const int validEntries, const poly h2, const bool zeroOk, const bool duplicateOk)
static ideal idCopyFirstK(const ideal ide, const int k)
BOOLEAN idHomIdeal(ideal id, ideal Q=NULL)
ideal idSyzygies(ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp=TRUE, BOOLEAN setRegularity=FALSE, int *deg=NULL)
ideal id_Add(ideal h1, ideal h2, const ring r)
h1 + h2
void idInitChoise(int r, int beg, int end, BOOLEAN *endch, int *choise)
ideal id_Farey(ideal x, number N, const ring r)
BOOLEAN idIsSubModule(ideal id1, ideal id2)
ideal idQuot(ideal h1, ideal h2, BOOLEAN h1IsStb=FALSE, BOOLEAN resultIsIdeal=FALSE)
BOOLEAN id_IsZeroDim(ideal I, const ring r)
ideal id_CopyFirstK(const ideal ide, const int k, const ring r)
copies the first k (>= 1) entries of the given ideal/module and returns these as a new ideal/module (...
matrix idDiffOp(ideal I, ideal J, BOOLEAN multiply=TRUE)
int idGetNumberOfChoise(int t, int d, int begin, int end, int *choise)
static int idSize(const ideal id)
Count the effective size of an ideal (without the trailing allocated zero-elements) ...
ideal idAdd(ideal h1, ideal h2)
h1 + h2
ideal id_Vec2Ideal(poly vec, const ring R)
static ideal idVec2Ideal(poly vec)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
BOOLEAN idTestHomModule(ideal m, ideal Q, intvec *w)
BOOLEAN idHomModule(ideal m, ideal Q, intvec **w)
matrix idDiff(matrix i, int k)