860 PrintS(
"====================================\n");
883 ideal_list LL=(ideal_list)
omAlloc(
sizeof(*LL));
896 ideal_list Lj=L->
next;
897 ideal_list Lj_prev=L;
909 Print(
"empty set L[%p] because:L[%p]\n",(
void*)Lj,(
void*)Li);
917 if (Lj==L) Lj_prev=
NULL;
921 while(Lj_prev->next!=Lj) Lj_prev=Lj_prev->next;
932 if (Lj!=
NULL) Lj=Lj->next;
946 orgstrat=strat->
next;
950 if ((delete_w)&&(w!=
NULL)&&(*w!=
NULL))
delete *w;
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
void initBuchMoraPos(kStrategy strat)
static BOOLEAN idHomIdeal(ideal id, ideal Q=NULL)
#define idDelete(H)
delete an ideal
void initBuchMora(ideal F, ideal Q, kStrategy strat)
void initBba(kStrategy strat)
static BOOLEAN rField_has_simple_inverse(const ring r)
static BOOLEAN idHomModule(ideal m, ideal Q, intvec **w)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
void pSetDegProcs(ring r, pFDegProc new_FDeg, pLDegProc new_lDeg)
void initBuchMoraCrit(kStrategy strat)
void PrintS(const char *s)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void pRestoreDegProcs(ring r, pFDegProc old_FDeg, pLDegProc old_lDeg)
long kModDeg(poly p, ring r)
ideal bbafac(ideal, ideal Q, intvec *, kStrategy strat, ideal_list FL)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal