[35aab3] | 1 | #ifndef KSTD1_H |
---|
| 2 | #define KSTD1_H |
---|
| 3 | /**************************************** |
---|
| 4 | * Computer Algebra System SINGULAR * |
---|
| 5 | ****************************************/ |
---|
[341696] | 6 | /* $Id$ */ |
---|
[35aab3] | 7 | /* |
---|
| 8 | * ABSTRACT |
---|
| 9 | */ |
---|
| 10 | #include "structs.h" |
---|
| 11 | |
---|
| 12 | ideal mora (ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat); |
---|
| 13 | |
---|
[18ff4c] | 14 | // lazy_reduce flags: can be combined by | |
---|
| 15 | #define KSTD_NF_LAZY 1 |
---|
| 16 | // do only a reduction of the leading term |
---|
| 17 | #define KSTD_NF_ECART 2 |
---|
| 18 | // only local: recude even with bad ecart |
---|
| 19 | #define KSTD_NF_NONORM 4 |
---|
[0f7420d] | 20 | // only global: avoid normalization, return a multiply of NF |
---|
[18ff4c] | 21 | |
---|
[35aab3] | 22 | poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce); |
---|
| 23 | ideal kNF1 (ideal F,ideal Q,ideal q, kStrategy strat, int lazyReduce); |
---|
| 24 | |
---|
| 25 | poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0); |
---|
| 26 | ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0); |
---|
| 27 | |
---|
| 28 | ideal kStd(ideal F, ideal Q, tHomog h, intvec ** mw,intvec *hilb=NULL, |
---|
| 29 | int syzComp=0,int newIdeal=0, intvec *vw=NULL); |
---|
| 30 | |
---|
[1c473f] | 31 | ideal kStdShift(ideal F, ideal Q, tHomog h,intvec ** w, intvec *hilb,int syzComp, |
---|
| 32 | int newIdeal, intvec *vw, int uptodeg, int lVblock); |
---|
| 33 | |
---|
[35aab3] | 34 | /* the following global data are defined in kutil.cc */ |
---|
| 35 | //extern int syzComp; |
---|
| 36 | /*stop building pairs after that component --> ideals.cc, syz.cc */ |
---|
| 37 | extern int LazyPass,LazyDegree,mu,Kstd1_deg; |
---|
| 38 | #define Kstd1_mu mu |
---|
| 39 | /*parameters for Lazy or global stops --> ipshell.cc, grammar.y*/ |
---|
| 40 | extern BITSET kOptions; |
---|
| 41 | /*the known test options (a constant)*/ |
---|
| 42 | extern BITSET validOpts; |
---|
| 43 | |
---|
| 44 | void initMora(ideal F,kStrategy strat); |
---|
| 45 | |
---|
| 46 | ideal kInterRed (ideal F, ideal Q=NULL); |
---|
[e7c6b22] | 47 | ideal kInterRedOld (ideal F, ideal Q=NULL); |
---|
[35aab3] | 48 | long kModDeg(poly p, ring r = currRing); |
---|
| 49 | long kHomModDeg(poly p, ring r = currRing); |
---|
| 50 | |
---|
| 51 | ideal stdred(ideal F, ideal Q, tHomog h,intvec ** w); |
---|
| 52 | |
---|
| 53 | ideal kMin_std(ideal F, ideal Q, tHomog h,intvec ** w, ideal &M, |
---|
| 54 | intvec *hilb=NULL, int syzComp=0,int reduced=0); |
---|
| 55 | |
---|
| 56 | |
---|
| 57 | extern pFDegProc pFDegOld; |
---|
| 58 | extern pLDegProc pLDegOld; |
---|
| 59 | extern intvec * kModW; |
---|
[2f2bb21] | 60 | extern intvec * kHomW; |
---|
| 61 | |
---|
[35aab3] | 62 | |
---|
| 63 | /* options: |
---|
| 64 | 0 prot |
---|
| 65 | 1 redSB |
---|
[3a0e1a] | 66 | 2 notBucket |
---|
[35aab3] | 67 | 3 notSugar |
---|
| 68 | 4 interrupt |
---|
| 69 | 5 sugarCrit |
---|
| 70 | 6 teach |
---|
| 71 | 7 cancel unit: obachman 11/00 tossed |
---|
| 72 | 8 morepairs: obachman 11/00: tossed |
---|
| 73 | 9 return SB (syz,quotient,intersect) |
---|
| 74 | 10 fastHC |
---|
| 75 | 11-19 sort in L/T |
---|
| 76 | 20 redBest: obachman 11/00 tossed |
---|
| 77 | 21 keep local variable with keepring of a loacal ring |
---|
| 78 | 22 staircaseBound: in NF create a HC x1^degBound+1 |
---|
| 79 | 23 multBound |
---|
| 80 | 24 degBound |
---|
| 81 | 25 no redTail(p)/redTail(s) |
---|
| 82 | 26 integer strategy |
---|
| 83 | 27 stop at HC (finiteDeterminacyTest) |
---|
| 84 | 28 infRedTail: ignore ecart in local redTail-calls |
---|
| 85 | 29 kStd + 1 new element |
---|
| 86 | 30 noRedSyz |
---|
| 87 | 31 weight |
---|
| 88 | verbose:31 stop at certain weights |
---|
| 89 | */ |
---|
| 90 | |
---|
| 91 | #endif |
---|
| 92 | |
---|