#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(* | 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 | kNoether |
| 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 | lastAxis |
| int | newIdeal |
| int | minim |
| bool | sigdrop |
| int | nrsyzcrit |
| int | nrrewcrit |
| int | sbaEnterS |
| int | blockred |
| int | blockredmax |
| int | cv |
| char | rightGB |
| char | interpt |
| char | homog |
| char | z2homog |
| char | kAllAxis |
| 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 272 of file kutil.h.
◆ skStrategy()
| skStrategy::skStrategy |
( |
| ) |
|
Definition at line 11286 of file kutil.cc.
11287{
11295#ifdef HAVE_LM_BIN
11297#endif
11298#ifdef HAVE_TAIL_BIN
11300#endif
11303}
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define omGetStickyBinOfBin(B)
◆ ~skStrategy()
| skStrategy::~skStrategy |
( |
| ) |
|
Definition at line 11306 of file kutil.cc.
11307{
11317
11321}
void pRestoreDegProcs(ring r, pFDegProc old_FDeg, pLDegProc old_lDeg)
static void p_LmFree(poly p, ring)
static void pLmFree(poly p)
frees the space of the monomial m, assumes m != NULL coef is not freed, m is not advanced
void rKillModifiedRing(ring r)
#define omMergeStickyBinIntoBin(A, B)
◆ kNoetherTail()
| KINLINE poly skStrategy::kNoetherTail |
( |
| ) |
|
Definition at line 66 of file kInline.h.
67{
70 else
71 {
75 }
76}
◆ S_2_T()
◆ s_2_t()
Definition at line 47 of file kInline.h.
48{
49 if (
i >= 0 &&
i <=
sl)
50 {
52 if ((sri >= 0) && (sri <=
tl))
53 {
55 if ((t !=
NULL) && (t->p ==
S[
i]))
56 return t;
57 }
58
60 if (sri >= 0)
62 }
64}
int kFindInT(poly p, TSet T, int tlength)
returns index of p in TSet, or -1 if not found
◆ 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
◆ homog
◆ honey
◆ initEcart
| void(* skStrategy::initEcart) (TObject *L) |
◆ initEcartPair
| void(* skStrategy::initEcartPair) (LObject *h, poly f, poly g, int ecartF, int ecartG) |
◆ interpt
◆ kAllAxis
| char skStrategy::kAllAxis |
◆ 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
◆ 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 |
◆ 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) |
◆ rightGB
◆ 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_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:
