17 #define KSTD_NF_LAZY 1
19 #define KSTD_NF_ECART 2
21 #define KSTD_NF_NONORM 4
39 int newIdeal,
intvec *vw,
int uptodeg,
int lVblock);
poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce)
ideal kMin_std(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb=NULL, int syzComp=0, int reduced=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)
long kHomModDeg(poly p, ring r=currRing)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
END_NAMESPACE BEGIN_NAMESPACE_SINGULARXX ideal poly int syzComp
poly kNF(ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0)
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)
BOOLEAN(* s_poly_proc_t)(kStrategy strat)
long kModDeg(poly p, ring r=currRing)
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)
ideal kStdShift(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, int uptodeg, int lVblock)
ideal kInterRedOld(ideal F, ideal Q=NULL)
END_NAMESPACE BEGIN_NAMESPACE_SINGULARXX ideal poly int int lazyReduce
ideal kInterRed(ideal F, ideal Q=NULL)