source: git/kernel/kstd1.h @ 87beab7

spielwiese
Last change on this file since 87beab7 was 2f2bb21, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: global vars for kHomDeg git-svn-id: file:///usr/local/Singular/svn/trunk@11308 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.6 KB
Line 
1#ifndef KSTD1_H
2#define KSTD1_H
3/****************************************
4*  Computer Algebra System SINGULAR     *
5****************************************/
6/* $Id: kstd1.h,v 1.7 2009-01-15 10:32:04 Singular Exp $ */
7/*
8* ABSTRACT
9*/
10#include "structs.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
28ideal kStd(ideal F, ideal Q, tHomog h, intvec ** mw,intvec *hilb=NULL,
29          int syzComp=0,int newIdeal=0, intvec *vw=NULL);
30
31ideal kStdShift(ideal F, ideal Q, tHomog h,intvec ** w, intvec *hilb,int syzComp,
32                int newIdeal, intvec *vw, int uptodeg, int lVblock);
33
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 */
37extern int LazyPass,LazyDegree,mu,Kstd1_deg;
38#define Kstd1_mu mu
39  /*parameters for Lazy or global stops --> ipshell.cc, grammar.y*/
40extern BITSET kOptions;
41  /*the known test options (a constant)*/
42extern BITSET validOpts;
43
44void initMora(ideal F,kStrategy strat);
45
46ideal kInterRed (ideal F, ideal Q=NULL);
47ideal kInterRedOld (ideal F, ideal Q=NULL);
48long   kModDeg(poly p, ring r = currRing);
49long  kHomModDeg(poly p, ring r = currRing);
50
51ideal stdred(ideal F, ideal Q, tHomog h,intvec ** w);
52
53ideal kMin_std(ideal F, ideal Q, tHomog h,intvec ** w, ideal &M,
54              intvec *hilb=NULL, int syzComp=0,int reduced=0);
55
56
57extern pFDegProc pFDegOld;
58extern pLDegProc pLDegOld;
59extern intvec * kModW;
60extern intvec * kHomW;
61
62
63/* options:
640 prot
651 redSB
662 Gebauer/Moeller: obachman 10/00: replaced by notBucket
673 notSugar
684 interrupt
695 sugarCrit
706 teach
717 cancel unit: obachman 11/00 tossed
728 morepairs: obachman 11/00: tossed
739 return SB (syz,quotient,intersect)
7410 fastHC
7511-19 sort in L/T
7620 redBest: obachman 11/00 tossed
7721 keep local variable with keepring of a loacal ring
7822 staircaseBound: in NF create a HC x1^degBound+1
7923 multBound
8024 degBound
8125 no redTail(p)/redTail(s)
8226 integer strategy
8327 stop at HC (finiteDeterminacyTest)
8428 infRedTail: ignore ecart in local redTail-calls
8529 kStd + 1 new element
8630 noRedSyz
8731 weight
88verbose:31 stop at certain weights
89*/
90
91#endif
92
Note: See TracBrowser for help on using the repository browser.