source: git/kernel/kstd1.h @ 0f401f

spielwiese
Last change on this file since 0f401f was 599326, checked in by Kai Krüger <krueger@…>, 14 years ago
Anne, Kai, Frank: - changes to #include "..." statements to allow cleaner build structure - affected directories: omalloc, kernel, Singular - not yet done: IntergerProgramming git-svn-id: file:///usr/local/Singular/svn/trunk@13032 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.5 KB
Line 
1#ifndef KSTD1_H
2#define KSTD1_H
3/****************************************
4*  Computer Algebra System SINGULAR     *
5****************************************/
6/* $Id$ */
7/*
8* ABSTRACT
9*/
10#include <kernel/structs.h>
11#include <kernel/ring.h>
12
13ideal mora (ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat);
14
15// lazy_reduce flags: can be combined by |
16#define KSTD_NF_LAZY   1
17  // do only a reduction of the leading term
18#define KSTD_NF_ECART  2
19  // only local: recude even with bad ecart
20#define KSTD_NF_NONORM 4
21  // only global: avoid normalization, return a multiply of NF
22
23poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce);
24ideal kNF1 (ideal F,ideal Q,ideal q, kStrategy strat, int lazyReduce);
25
26poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0);
27ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0);
28
29ideal kStd(ideal F, ideal Q, tHomog h, intvec ** mw,intvec *hilb=NULL,
30          int syzComp=0,int newIdeal=0, intvec *vw=NULL);
31
32ideal kStdShift(ideal F, ideal Q, tHomog h,intvec ** w, intvec *hilb,int syzComp,
33                int newIdeal, intvec *vw, int uptodeg, int lVblock);
34
35/* the following global data are defined in kutil.cc */
36//extern int syzComp;
37  /*stop building pairs after that component --> ideals.cc, syz.cc */
38extern int LazyPass,LazyDegree,Kstd1_mu,Kstd1_deg;
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 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
77
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.