source: git/kernel/kstd1.h @ abe5c8

fieker-DuValspielwiese
Last change on this file since abe5c8 was 6ce030f, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
removal of the $Id$ svn tag from everywhere NOTE: the git SHA1 may be used instead (only on special places) NOTE: the libraries Singular/LIB/*.lib still contain the marker due to our current use of svn
  • Property mode set to 100644
File size: 2.8 KB
Line 
1#ifndef KSTD1_H
2#define KSTD1_H
3/****************************************
4*  Computer Algebra System SINGULAR     *
5****************************************/
6/*
7* ABSTRACT
8*/
9#include <kernel/structs.h>
10#include <polys/monomials/ring.h>
11
12ideal mora (ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat);
13
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
20  // only global: avoid normalization, return a multiply of NF
21
22poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce);
23ideal kNF1 (ideal F,ideal Q,ideal q, kStrategy strat, int lazyReduce);
24
25poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0);
26ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0);
27
28/// NOTE: this is just a wrapper which sets currRing for the actual kNF call
29poly kNF (ideal F, ideal Q, poly p,int syzComp, int lazyReduce, const ring _currRing);
30ideal kSba(ideal F,ideal Q, tHomog h, intvec ** mw, int incremental=0, int arri=0, intvec *hilb=NULL,
31          int syzComp=0,int newIdeal=0, intvec *vw=NULL);
32
33ideal kStd(ideal F, ideal Q, tHomog h, intvec ** mw,intvec *hilb=NULL,
34          int syzComp=0,int newIdeal=0, intvec *vw=NULL);
35
36ideal kStdShift(ideal F, ideal Q, tHomog h,intvec ** w, intvec *hilb,int syzComp,
37                int newIdeal, intvec *vw, int uptodeg, int lVblock);
38
39/* the following global data are defined in kutil.cc */
40//extern int syzComp;
41  /*stop building pairs after that component --> ideals.cc, syz.cc */
42extern int LazyPass,LazyDegree,Kstd1_mu,Kstd1_deg;
43  /*parameters for Lazy or global stops --> ipshell.cc, grammar.y*/
44extern BITSET kOptions;
45  /*the known test options (a constant)*/
46extern BITSET validOpts;
47
48void initMora(ideal F,kStrategy strat);
49
50ideal kInterRed (ideal F, ideal Q=NULL);
51ideal kInterRedOld (ideal F, ideal Q=NULL);
52long   kModDeg(poly p, ring r = currRing);
53long  kHomModDeg(poly p, ring r = currRing);
54
55ideal stdred(ideal F, ideal Q, tHomog h,intvec ** w);
56
57ideal kMin_std(ideal F, ideal Q, tHomog h,intvec ** w, ideal &M,
58              intvec *hilb=NULL, int syzComp=0,int reduced=0);
59
60
61extern intvec * kModW;
62extern intvec * kHomW;
63
64
65/* options:
660 prot
671 redSB
682 notBucket
693 notSugar
704 interrupt
715 sugarCrit
726 teach
737 cancel unit: obachman 11/00 tossed
748 morepairs: obachman 11/00: tossed
759 return SB (syz,quotient,intersect)
7610 fastHC
7711-19 sort in L/T
7820 redBest: obachman 11/00 tossed
79
8022 staircaseBound: in NF create a HC x1^degBound+1
8123 multBound
8224 degBound
8325 no redTail(p)/redTail(s)
8426 integer strategy
8527 stop at HC (finiteDeterminacyTest)
8628 infRedTail: ignore ecart in local redTail-calls
8729 kStd + 1 new element
8830 noRedSyz
8931 weight
90verbose:31 stop at certain weights
91*/
92
93#endif
94
Note: See TracBrowser for help on using the repository browser.