My Project
Loading...
Searching...
No Matches
kstd1.h
Go to the documentation of this file.
1#ifndef KSTD1_H
2#define KSTD1_H
3/****************************************
4* Computer Algebra System SINGULAR *
5****************************************/
6/*
7* ABSTRACT
8*/
9#include "kernel/structs.h"
11
12ideal mora (ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat);
13
15
16// lazy_reduce flags: can be combined by |
17#define KSTD_NF_LAZY 1
18 // do only a reduction of the leading term
19#define KSTD_NF_ECART 2
20 // only local: reduce even with bad ecart
21#define KSTD_NF_NONORM 4
22 // only global: avoid normalization, return a multiply of NF
23
24poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce);
25ideal kNF1 (ideal F,ideal Q,ideal q, kStrategy strat, int lazyReduce);
26
27poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0);
28ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0);
29
30poly kNFBound (ideal F, ideal Q, poly p,int bound,int syzComp=0, int lazyReduce=0);
31ideal kNFBound (ideal F, ideal Q, ideal p,int bound,int syzComp=0, int lazyReduce=0);
32
33/// NOTE: this is just a wrapper which sets currRing for the actual kNF call
34poly k_NF (ideal F, ideal Q, poly p,int syzComp, int lazyReduce, const ring _currRing);
35ideal kSba(ideal F,ideal Q, tHomog h, intvec ** mw, int incremental=0, int arri=0, intvec *hilb=NULL,
36 int syzComp=0,int newIdeal=0, intvec *vw=NULL);
37
38ideal kStd(ideal F, ideal Q, tHomog h, intvec ** mw,intvec *hilb=NULL,
39 int syzComp=0,int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL);
40
41ideal kStdShift(ideal F, ideal Q, tHomog h,intvec ** mw, intvec *hilb=NULL,
42 int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE);
43
44ideal rightgb(ideal F, ideal Q);
45
46/* the following global data are defined in kutil.cc */
47//extern int syzComp;
48 /*stop building pairs after that component --> ideals.cc, syz.cc */
50 /*parameters for global stops --> ipshell.cc, grammar.y*/
52 /*the known test options (a constant)*/
54
55void initMora(ideal F,kStrategy strat);
56
57ideal kInterRed (ideal F, ideal Q=NULL);
58ideal kInterRedOld (ideal F, ideal Q=NULL);
59long kModDeg(poly p, ring r = currRing);
60long kHomModDeg(poly p, ring r = currRing);
61
62ideal stdred(ideal F, ideal Q, tHomog h,intvec ** w);
63
64ideal kMin_std(ideal F, ideal Q, tHomog h,intvec ** w, ideal &M,
65 intvec *hilb=NULL, int syzComp=0,int reduced=0);
66
67BOOLEAN kVerify(ideal F,ideal Q);
68
71
72
73/* options:
740 prot
751 redSB
762 notBucket
773 notSugar
784 interrupt
795 sugarCrit
806 teach
817 cancel unit: obachman 11/00 tossed
828 morepairs: obachman 11/00: tossed
839 return SB (syz,quotient,intersect)
8410 fastHC
8511-19 sort in L/T
8620 redBest: obachman 11/00 tossed
87
8822 staircaseBound: in NF create a HC x1^degBound+1
8923 multBound
9024 degBound
9125 no redTail(p)/redTail(s)
9226 integer strategy
9327 stop at HC (finiteDeterminacyTest)
9428 infRedTail: ignore ecart in local redTail-calls
9529 kStd + 1 new element
9630 noRedSyz
9731 weight
98verbose:31 stop at certain weights
99*/
100
101#endif
102
int BOOLEAN
Definition: auxiliary.h:87
#define FALSE
Definition: auxiliary.h:96
int p
Definition: cfModGcd.cc:4078
static CanonicalForm bound(const CFMatrix &M)
Definition: cf_linsys.cc:460
Definition: intvec.h:23
const CanonicalForm & w
Definition: facAbsFact.cc:51
#define EXTERN_VAR
Definition: globaldefs.h:6
STATIC_VAR Poly * h
Definition: janet.cc:971
EXTERN_VAR intvec * kHomW
Definition: kstd1.h:70
EXTERN_VAR int Kstd1_deg
Definition: kstd1.h:49
ideal mora(ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat)
Definition: kstd1.cc:1886
void initMora(ideal F, kStrategy strat)
Definition: kstd1.cc:1817
long kHomModDeg(poly p, ring r=currRing)
Definition: kstd1.cc:2434
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.
Definition: kstd1.cc:3396
ideal kInterRed(ideal F, ideal Q=NULL)
Definition: kstd1.cc:3761
EXTERN_VAR intvec * kModW
Definition: kstd1.h:69
BOOLEAN kVerify(ideal F, ideal Q)
ideal stdred(ideal F, ideal Q, tHomog h, intvec **w)
poly kNFBound(ideal F, ideal Q, poly p, int bound, int syzComp=0, int lazyReduce=0)
Definition: kstd1.cc:3238
ideal kInterRedOld(ideal F, ideal Q=NULL)
Definition: kstd1.cc:3409
poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce)
Definition: kstd1.cc:2124
EXTERN_VAR BITSET kOptions
Definition: kstd1.h:51
long kModDeg(poly p, ring r=currRing)
Definition: kstd1.cc:2424
BOOLEAN(* s_poly_proc_t)(kStrategy strat)
Definition: kstd1.h:14
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)
Definition: kstd1.cc:2447
EXTERN_VAR int Kstd1_mu
Definition: kstd1.h:49
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)
Definition: kstd1.cc:2632
poly kNF(ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0)
Definition: kstd1.cc:3182
ideal kMin_std(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb=NULL, int syzComp=0, int reduced=0)
Definition: kstd1.cc:3034
EXTERN_VAR BITSET validOpts
Definition: kstd1.h:53
ideal kStdShift(ideal F, ideal Q, tHomog h, intvec **mw, intvec *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE)
Definition: kstd1.cc:2926
ideal rightgb(ideal F, ideal Q)
Definition: kstd2.cc:4972
#define NULL
Definition: omList.c:12
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:13
#define M
Definition: sirandom.c:25
#define Q
Definition: sirandom.c:26
tHomog
Definition: structs.h:35
#define BITSET
Definition: structs.h:16