#include <kutil.h>
|
kStrategy | next |
|
int(* | red )(LObject *L, kStrategy strat) |
|
int(* | red2 )(LObject *L, kStrategy strat) |
|
void(* | initEcart )(TObject *L) |
|
int(* | posInT )(const TSet T, const int tl, LObject &h) |
|
int(* | posInLSba )(const LSet set, const int length, LObject *L, const kStrategy strat) |
|
int(* | posInL )(const LSet set, const int length, LObject *L, const kStrategy strat) |
|
void(* | enterS )(LObject &h, int pos, kStrategy strat, int atR) |
|
void(* | initEcartPair )(LObject *h, poly f, poly g, int ecartF, int ecartG) |
|
int(* | posInLOld )(const LSet Ls, const int Ll, LObject *Lo, const kStrategy strat) |
|
void(* | enterOnePair )(int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
|
void(* | chainCrit )(poly p, int ecart, kStrategy strat) |
|
BOOLEAN(* | syzCrit )(poly sig, unsigned long not_sevSig, kStrategy strat) |
|
BOOLEAN(* | rewCrit1 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
BOOLEAN(* | rewCrit2 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
BOOLEAN(* | rewCrit3 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
pFDegProc | pOrigFDeg |
|
pLDegProc | pOrigLDeg |
|
pFDegProc | pOrigFDeg_TailRing |
|
pLDegProc | pOrigLDeg_TailRing |
|
s_poly_proc_t | s_poly |
|
LObject | P |
|
ideal | Shdl |
|
ideal | D |
|
ideal | M |
|
polyset | S |
|
polyset | syz |
|
polyset | sig |
|
intset | ecartS |
|
intset | fromS |
|
intset | syzIdx |
|
unsigned | sbaOrder |
|
int | currIdx |
|
int | max_lower_index |
|
intset | lenS |
|
wlen_set | lenSw |
|
intset | fromQ |
|
unsigned long * | sevS |
|
unsigned long * | sevSyz |
|
unsigned long * | sevSig |
|
unsigned long * | sevT |
|
TSet | T |
|
LSet | L |
|
LSet | B |
|
poly | kHEdge |
|
poly | kNoether |
|
poly | t_kHEdge |
|
poly | t_kNoether |
|
BOOLEAN * | NotUsedAxis |
|
BOOLEAN * | pairtest |
|
poly | tail |
|
intvec * | kModW |
|
intvec * | kHomW |
|
pShallowCopyDeleteProc | p_shallow_copy_delete |
|
TObject ** | R |
|
int * | S_2_R |
|
ring | tailRing |
|
omBin | lmBin |
|
omBin | tailBin |
|
int | nr |
|
int | cp |
|
int | c3 |
|
int | sl |
|
int | mu |
|
int | syzl |
|
int | syzmax |
|
int | syzidxmax |
|
int | tl |
|
int | tmax |
|
int | Ll |
|
int | Lmax |
|
int | Bl |
|
int | Bmax |
|
int | ak |
|
int | LazyDegree |
|
int | LazyPass |
|
int | syzComp |
|
int | HCord |
|
int | lastAxis |
|
int | newIdeal |
|
int | minim |
|
bool | sigdrop |
|
int | nrsyzcrit |
|
int | nrrewcrit |
|
int | sbaEnterS |
|
int | blockred |
|
int | blockredmax |
|
int | lV |
|
int | cv |
|
char | interpt |
|
char | homog |
|
char | z2homog |
|
char | kHEdgeFound |
|
char | honey |
|
char | sugarCrit |
|
char | Gebauer |
|
char | noTailReduction |
|
char | fromT |
|
char | noetherSet |
|
char | update |
|
char | posInLOldFlag |
|
char | use_buckets |
|
char | LDegLast |
|
char | length_pLength |
|
char | posInLDependsOnLength |
|
char | no_prod_crit |
|
char | redTailChange |
|
char | news |
|
char | newt |
|
char | noClearS |
|
char | completeReduce_retry |
|
char | overflow |
|
Definition at line 261 of file kutil.h.
◆ skStrategy()
skStrategy::skStrategy |
( |
| ) |
|
◆ ~skStrategy()
skStrategy::~skStrategy |
( |
| ) |
|
◆ kNoetherTail()
KINLINE poly skStrategy::kNoetherTail |
( |
| ) |
|
◆ S_2_T()
◆ s_2_t()
Definition at line 42 of file kInline.h.
46 if (
i >= 0 &&
i <=
sl)
49 if ((sri >= 0) && (sri <=
tl))
52 if ((t !=
NULL) && (t->p ==
S[
i]))
◆ ak
◆ Bl
◆ blockred
◆ blockredmax
int skStrategy::blockredmax |
◆ Bmax
◆ c3
◆ chainCrit
void(* skStrategy::chainCrit) (poly p, int ecart, kStrategy strat) |
◆ completeReduce_retry
char skStrategy::completeReduce_retry |
◆ cp
◆ currIdx
◆ cv
◆ ecartS
◆ enterOnePair
void(* skStrategy::enterOnePair) (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
◆ enterS
◆ fromQ
◆ fromS
◆ fromT
◆ Gebauer
◆ HCord
◆ homog
◆ honey
◆ initEcart
void(* skStrategy::initEcart) (TObject *L) |
◆ initEcartPair
void(* skStrategy::initEcartPair) (LObject *h, poly f, poly g, int ecartF, int ecartG) |
◆ interpt
◆ kHEdge
◆ kHEdgeFound
char skStrategy::kHEdgeFound |
◆ kHomW
◆ kModW
◆ kNoether
poly skStrategy::kNoether |
◆ lastAxis
◆ LazyDegree
int skStrategy::LazyDegree |
◆ LazyPass
◆ LDegLast
char skStrategy::LDegLast |
◆ length_pLength
char skStrategy::length_pLength |
◆ lenS
◆ lenSw
◆ Ll
◆ Lmax
◆ lmBin
◆ lV
◆ max_lower_index
int skStrategy::max_lower_index |
◆ minim
◆ mu
◆ newIdeal
◆ news
◆ newt
◆ next
◆ no_prod_crit
char skStrategy::no_prod_crit |
◆ noClearS
char skStrategy::noClearS |
◆ noetherSet
char skStrategy::noetherSet |
◆ noTailReduction
char skStrategy::noTailReduction |
◆ NotUsedAxis
◆ nr
◆ nrrewcrit
int skStrategy::nrrewcrit |
◆ nrsyzcrit
int skStrategy::nrsyzcrit |
◆ overflow
char skStrategy::overflow |
◆ p_shallow_copy_delete
◆ pairtest
◆ pOrigFDeg
◆ pOrigFDeg_TailRing
◆ pOrigLDeg
◆ pOrigLDeg_TailRing
◆ posInL
◆ posInLDependsOnLength
char skStrategy::posInLDependsOnLength |
◆ posInLOld
◆ posInLOldFlag
char skStrategy::posInLOldFlag |
◆ posInLSba
◆ posInT
◆ red
◆ red2
◆ redTailChange
char skStrategy::redTailChange |
◆ rewCrit1
BOOLEAN(* skStrategy::rewCrit1) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
◆ rewCrit2
BOOLEAN(* skStrategy::rewCrit2) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
◆ rewCrit3
BOOLEAN(* skStrategy::rewCrit3) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
◆ S_2_R
◆ s_poly
◆ sbaEnterS
int skStrategy::sbaEnterS |
◆ sbaOrder
unsigned skStrategy::sbaOrder |
◆ sevS
unsigned long* skStrategy::sevS |
◆ sevSig
unsigned long* skStrategy::sevSig |
◆ sevSyz
unsigned long* skStrategy::sevSyz |
◆ sevT
unsigned long* skStrategy::sevT |
◆ Shdl
◆ sig
◆ sigdrop
◆ sl
◆ sugarCrit
char skStrategy::sugarCrit |
◆ syz
◆ syzComp
◆ syzCrit
◆ syzIdx
◆ syzidxmax
int skStrategy::syzidxmax |
◆ syzl
◆ syzmax
◆ t_kHEdge
poly skStrategy::t_kHEdge |
◆ t_kNoether
poly skStrategy::t_kNoether |
◆ tail
◆ tailBin
omBin skStrategy::tailBin |
◆ tailRing
ring skStrategy::tailRing |
◆ tl
◆ tmax
◆ update
◆ use_buckets
char skStrategy::use_buckets |
◆ z2homog
The documentation for this class was generated from the following files:
int kFindInT(poly p, TSet T, int tlength)
returns index of p in TSet, or -1 if not found