 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the source code of this file.
◆ kStdfac()
Definition at line 800 of file kstdfac.cc.
852 PrintS(
"====================================\n");
875 ideal_list LL=(ideal_list)
omAlloc(
sizeof(*LL));
888 ideal_list Lj=L->
next;
889 ideal_list Lj_prev=L;
901 Print(
"empty set L[%p] because:L[%p]\n",(
void*)Lj,(
void*)Li);
909 if (Lj==L) Lj_prev=
NULL;
913 while(Lj_prev->next!=Lj) Lj_prev=Lj_prev->next;
924 if (Lj!=
NULL) Lj=Lj->next;
938 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
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)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...