 |
My Project
debian-1:4.1.1-p2+ds-4
|
Go to the source code of this file.
◆ kStdfac()
Definition at line 807 of file kstdfac.cc.
859 PrintS(
"====================================\n");
882 ideal_list LL=(ideal_list)
omAlloc(
sizeof(*LL));
895 ideal_list Lj=L->
next;
896 ideal_list Lj_prev=L;
908 Print(
"empty set L[%p] because:L[%p]\n",(
void*)Lj,(
void*)Li);
916 if (Lj==L) Lj_prev=
NULL;
920 while(Lj_prev->next!=Lj) Lj_prev=Lj_prev->next;
931 if (Lj!=
NULL) Lj=Lj->next;
945 orgstrat=strat->
next;
void initBuchMoraCrit(kStrategy strat)
void pRestoreDegProcs(ring r, pFDegProc old_FDeg, pLDegProc old_lDeg)
#define idDelete(H)
delete an ideal
static BOOLEAN idHomIdeal(ideal id, ideal Q=NULL)
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 ...
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
void PrintS(const char *s)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
long kModDeg(poly p, ring r)
void initBuchMora(ideal F, ideal Q, kStrategy strat)
void initBuchMoraPos(kStrategy strat)
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
void initBba(kStrategy strat)
void pSetDegProcs(ring r, pFDegProc new_FDeg, pLDegProc new_lDeg)
static BOOLEAN idHomModule(ideal m, ideal Q, intvec **w)
ideal bbafac(ideal, ideal Q, intvec *, kStrategy strat, ideal_list FL)
static BOOLEAN rField_has_simple_inverse(const ring r)