20#define KSTD_NF_ECART 2
22#define KSTD_NF_NONORM 4
24#define KSTD_NF_CANCELUNIT 8
26#define KSTD_NF_NOLF 4096
29poly
kNF1(ideal F, ideal
Q, poly q,
kStrategy strat,
int lazyReduce);
30ideal
kNF1 (ideal F,ideal
Q,ideal q,
kStrategy strat,
int lazyReduce);
32poly
kNF (ideal F, ideal
Q, poly
p,
int syzComp=0,
int lazyReduce=0);
33ideal
kNF(ideal F, ideal
Q, ideal
p,
int syzComp=0,
int lazyReduce=0);
35poly
kNFBound (ideal F, ideal
Q, poly
p,
int bound,
int syzComp=0,
int lazyReduce=0);
36ideal
kNFBound (ideal F, ideal
Q, ideal
p,
int bound,
int syzComp=0,
int lazyReduce=0);
37ideal
idDivRem(ideal
A,
const ideal quot, ideal &
factor,ideal *unit,
int lazyReduce=0);
40poly
k_NF (ideal F, ideal
Q, poly
p,
int syzComp,
int lazyReduce,
const ring _currRing);
43 int syzComp=0,
int newIdeal=0,
intvec *vw=
NULL);
87 bigintmat *hilb,
int syzComp=0,
int reduced=0);
90 intvec *hilb,
int syzComp=0,
int reduced=0);
static CanonicalForm bound(const CFMatrix &M)
long kHomModDeg(poly p, const ring r=currRing)
void initMora(ideal F, kStrategy strat)
poly k_NF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce, const ring _currRing)
NOTE: this is just a wrapper which sets currRing for the actual kNF call.
ideal kMin_std(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb, int syzComp=0, int reduced=0)
ideal kInterRedOld(ideal F, const ideal Q=NULL)
ideal kMin_std2(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, bigintmat *hilb, int syzComp=0, int reduced=0)
BOOLEAN kVerify(ideal F, ideal Q)
ideal stdred(ideal F, ideal Q, tHomog h, intvec **w)
ideal kInterRedBba(ideal F, ideal Q, int &need_retry)
poly kNFBound(ideal F, ideal Q, poly p, int bound, int syzComp=0, int lazyReduce=0)
poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce)
ideal mora(ideal F, ideal Q, intvec *w, bigintmat *hilb, kStrategy strat)
ideal idDivRem(ideal A, const ideal quot, ideal &factor, ideal *unit, int lazyReduce=0)
ideal rightgb(ideal F, const ideal Q)
long kModDeg(poly p, const ring r=currRing)
ideal kStdShift(ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE)
BOOLEAN(* s_poly_proc_t)(kStrategy strat)
ideal kStd2(ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL)
generic interface to GB/SB computations, large hilbert vectors
ideal kInterRed(ideal F, const ideal Q=NULL)
ideal kSba(ideal F, ideal Q, tHomog h, intvec **mw, int incremental=0, int arri=0, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **mw, intvec *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL)
generic interface to GB/SB computations
ideal kStd_internal(ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL)
pure GB/SB computations
ideal kTryHilbstd_par(ideal F, ideal Q, tHomog h, intvec **mw)
poly kTryHC(ideal F, ideal Q)
ideal kTryHilbstd(ideal F, ideal Q)
poly kNF(ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...