17 #define KSTD_NF_LAZY 1 19 #define KSTD_NF_ECART 2 21 #define KSTD_NF_NONORM 4 24 poly
kNF1(ideal F, ideal
Q, poly q,
kStrategy strat,
int lazyReduce);
25 ideal
kNF1 (ideal F,ideal
Q,ideal q,
kStrategy strat,
int lazyReduce);
27 poly
kNF (ideal F, ideal
Q, poly
p,
int syzComp=0,
int lazyReduce=0);
28 ideal
kNF(ideal F, ideal
Q, ideal
p,
int syzComp=0,
int lazyReduce=0);
30 poly
kNFBound (ideal F, ideal
Q, poly
p,
int bound,
int syzComp=0,
int lazyReduce=0);
31 ideal
kNFBound (ideal F, ideal
Q, ideal
p,
int bound,
int syzComp=0,
int lazyReduce=0);
34 poly
k_NF (ideal F, ideal
Q, poly
p,
int syzComp,
int lazyReduce,
const ring _currRing);
36 int syzComp=0,
int newIdeal=0,
intvec *vw=
NULL);
66 intvec *hilb=
NULL,
int syzComp=0,
int reduced=0);
poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce)
EXTERN_VAR BITSET validOpts
ideal kMin_std(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb=NULL, int syzComp=0, int reduced=0)
static CanonicalForm bound(const CFMatrix &M)
poly kNFBound(ideal F, ideal Q, poly p, int bound, int syzComp=0, int lazyReduce=0)
ideal stdred(ideal F, ideal Q, tHomog h, intvec **w)
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 mora(ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat)
ideal kStdShift(ideal F, ideal Q, tHomog h, intvec **mw, intvec *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE)
long kHomModDeg(poly p, ring r=currRing)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal freegb(ideal F, ideal Q)
poly kNF(ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0)
EXTERN_VAR BITSET kOptions
EXTERN_VAR int LazyDegree
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)
EXTERN_VAR intvec * kHomW
BOOLEAN(* s_poly_proc_t)(kStrategy strat)
long kModDeg(poly p, ring r=currRing)
ideal rightgb(ideal F, ideal Q)
ideal kSba(ideal F, ideal Q, tHomog h, intvec **mw, int incremental=0, int arri=0, intvec *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL)
EXTERN_VAR intvec * kModW
ideal kInterRedOld(ideal F, ideal Q=NULL)
ideal kInterRed(ideal F, ideal Q=NULL)