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#include "coeffs/bigintmat.h"
12
14
16
17// lazy_reduce flags: can be combined by |
18#define KSTD_NF_LAZY 1
19 // do only a reduction of the leading term
20#define KSTD_NF_ECART 2
21 // only local: reduce even with bad ecart
22#define KSTD_NF_NONORM 4
23 // only global: avoid normalization, return a multiply of NF
24#define KSTD_NF_CANCELUNIT 8
25 // apply cancelunit to f inf NF(f,I)
26#define KSTD_NF_NOLF 4096
27 // avoid PrintLn with OPT_PROT
28
29poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce);
31
32poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0);
33ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0);
34
35poly kNFBound (ideal F, ideal Q, poly p,int bound,int syzComp=0, int lazyReduce=0);
36ideal kNFBound (ideal F, ideal Q, ideal p,int bound,int syzComp=0, int lazyReduce=0);
38
39/// NOTE: this is just a wrapper which sets currRing for the actual kNF call
40poly k_NF (ideal F, ideal Q, poly p,int syzComp, int lazyReduce, const ring _currRing);
42 int syzComp=0,int newIdeal=0, intvec *vw=NULL);
43
45 int syzComp=0,int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL);
46
48 int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL);
49
50
52 int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE);
53
56poly kTryHC(ideal F, ideal Q);
57
58ideal rightgb(ideal F,const ideal Q);
59
60/* the following global data are defined in kutil.cc */
61//extern int syzComp;
62 /*stop building pairs after that component --> ideals.cc, syz.cc */
64 /*parameters for global stops --> ipshell.cc, grammar.y*/
66 /*the known test options (a constant)*/
68
69void initMora(ideal F,kStrategy strat);
70
71ideal kInterRed (ideal F, const ideal Q=NULL);
74long kModDeg(poly p, const ring r = currRing);
75long kHomModDeg(poly p, const ring r = currRing);
76
78
80 bigintmat *hilb=NULL, int syzComp=0,int reduced=0);
81
83
86
87
88/* options:
890 prot
901 redSB
912 notBucket
923 notSugar
934 interrupt
945 sugarCrit
956 teach
967 cancel unit: obachman 11/00 tossed
978 morepairs: obachman 11/00: tossed
989 return SB (syz,quotient,intersect)
9910 fastHC
10011-19 sort in L/T
10120 redBest: obachman 11/00 tossed
102
10322 staircaseBound: in NF create a HC x1^degBound+1
10423 multBound
10524 degBound
10625 no redTail(p)/redTail(s)
10726 integer strategy
10827 stop at HC (finiteDeterminacyTest)
10928 infRedTail: ignore ecart in local redTail-calls
11029 kStd + 1 new element
11130 noRedSyz
11231 weight
113verbose:31 stop at certain weights
114*/
115
116#endif
117
#define BITSET
Definition auxiliary.h:85
int BOOLEAN
Definition auxiliary.h:88
#define FALSE
Definition auxiliary.h:97
int p
Definition cfModGcd.cc:4086
static CanonicalForm bound(const CFMatrix &M)
Definition cf_linsys.cc:460
Matrices of numbers.
Definition bigintmat.h:51
const CanonicalForm & w
Definition facAbsFact.cc:51
CanonicalForm factor
Definition facAbsFact.cc:97
#define EXTERN_VAR
Definition globaldefs.h:6
STATIC_VAR Poly * h
Definition janet.cc:971
long kHomModDeg(poly p, const ring r=currRing)
Definition kstd1.cc:2418
EXTERN_VAR intvec * kHomW
Definition kstd1.h:85
EXTERN_VAR int Kstd1_deg
Definition kstd1.h:63
void initMora(ideal F, kStrategy strat)
Definition kstd1.cc:1812
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:3423
ideal kInterRedOld(ideal F, const ideal Q=NULL)
Definition kstd1.cc:3436
EXTERN_VAR intvec * kModW
Definition kstd1.h:84
BOOLEAN kVerify(ideal F, ideal Q)
ideal stdred(ideal F, ideal Q, tHomog h, intvec **w)
ideal kInterRedBba(ideal F, ideal Q, int &need_retry)
Definition kstd1.cc:3531
poly kNFBound(ideal F, ideal Q, poly p, int bound, int syzComp=0, int lazyReduce=0)
Definition kstd1.cc:3265
poly kNF1(ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce)
Definition kstd1.cc:2116
ideal kMin_std(ideal F, ideal Q, tHomog h, intvec **w, ideal &M, bigintmat *hilb=NULL, int syzComp=0, int reduced=0)
Definition kstd1.cc:3057
ideal mora(ideal F, ideal Q, intvec *w, bigintmat *hilb, kStrategy strat)
Definition kstd1.cc:1879
EXTERN_VAR BITSET kOptions
Definition kstd1.h:65
ideal kStd(ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL)
Definition kstd1.cc:2603
ideal idDivRem(ideal A, const ideal quot, ideal &factor, ideal *unit, int lazyReduce=0)
Definition kLiftstd.cc:347
ideal rightgb(ideal F, const ideal Q)
Definition kstd2.cc:4958
long kModDeg(poly p, const ring r=currRing)
Definition kstd1.cc:2408
ideal kStdShift(ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE)
Definition kstd1.cc:2952
BOOLEAN(* s_poly_proc_t)(kStrategy strat)
Definition kstd1.h:15
ideal kInterRed(ideal F, const ideal Q=NULL)
Definition kstd1.cc:3782
ideal kSba(ideal F, ideal Q, tHomog h, intvec **mw, int incremental=0, int arri=0, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL)
Definition kstd1.cc:2656
ideal kStd_internal(ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL)
Definition kstd1.cc:2431
EXTERN_VAR int Kstd1_mu
Definition kstd1.h:63
ideal kTryHilbstd_par(ideal F, ideal Q, tHomog h, intvec **mw)
poly kTryHC(ideal F, ideal Q)
Definition kstdhelper.cc:33
ideal kTryHilbstd(ideal F, ideal Q)
poly kNF(ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0)
Definition kstd1.cc:3209
EXTERN_VAR BITSET validOpts
Definition kstd1.h:67
#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 A
Definition sirandom.c:24
#define M
Definition sirandom.c:25
#define Q
Definition sirandom.c:26
tHomog
Definition structs.h:31