![]() |
My Project
debian-1:4.1.2-p1+ds-2
|
#include "kernel/mod2.h"
#include "kernel/GBEngine/kutil.h"
#include "misc/options.h"
#include "kernel/polys.h"
#include "kernel/ideals.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/khstd.h"
#include "polys/kbuckets.h"
#include "polys/prCopy.h"
#include "polys/weight.h"
#include "misc/intvec.h"
#include "polys/nc/nc.h"
#include "polys/shiftop.h"
Go to the source code of this file.
Macros | |
#define | GCD_SBA 1 |
#define | PLURAL_INTERNAL_DECLARATIONS 1 |
#define | DEBUGF50 0 |
#define | DEBUGF51 0 |
#define | F5C 1 |
#define | F5CTAILRED 1 |
#define | SBA_INTERRED_START 0 |
#define | SBA_TAIL_RED 1 |
#define | SBA_PRODUCT_CRITERION 0 |
#define | SBA_PRINT_ZERO_REDUCTIONS 0 |
#define | SBA_PRINT_REDUCTION_STEPS 0 |
#define | SBA_PRINT_OPERATIONS 0 |
#define | SBA_PRINT_SIZE_G 0 |
#define | SBA_PRINT_SIZE_SYZ 0 |
#define | SBA_PRINT_PRODUCT_CRITERION 0 |
#define | REDTAIL_CANONICALIZE 100 |
#define | REDNF_CANONICALIZE 60 |
Functions | |
int | kFindSameLMInT_Z (const kStrategy strat, const LObject *L, const int start) |
int | kFindDivisibleByInT_Z (const kStrategy strat, const LObject *L, const int start) |
int | kFindDivisibleByInT (const kStrategy strat, const LObject *L, const int start) |
return -1 if no divisor is found number of first divisor in T, otherwise More... | |
int | kFindDivisibleByInS (const kStrategy strat, int *max_ind, LObject *L) |
return -1 if no divisor is found number of first divisor in S, otherwise More... | |
int | kFindNextDivisibleByInS (const kStrategy strat, int start, int max_ind, LObject *L) |
poly | kFindZeroPoly (poly input_p, ring leadRing, ring tailRing) |
int | redRing_Z (LObject *h, kStrategy strat) |
int | redRing (LObject *h, kStrategy strat) |
int | redHomog (LObject *h, kStrategy strat) |
KINLINE int | ksReducePolyTailSig (LObject *PR, TObject *PW, LObject *Red, kStrategy strat) |
int | redSig (LObject *h, kStrategy strat) |
int | redSigRing (LObject *h, kStrategy strat) |
poly | redtailSba (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
int | redLazy (LObject *h, kStrategy strat) |
int | redHoney (LObject *h, kStrategy strat) |
poly | redNF (poly h, int &max_ind, int nonorm, kStrategy strat) |
poly | redNFBound (poly h, int &max_ind, int nonorm, kStrategy strat, int bound) |
void | kDebugPrint (kStrategy strat) |
ideal | bba (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
ideal | sba (ideal F0, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
poly | kNF2 (ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce) |
poly | kNF2Bound (ideal F, ideal Q, poly q, int bound, kStrategy strat, int lazyReduce) |
ideal | kNF2 (ideal F, ideal Q, ideal q, kStrategy strat, int lazyReduce) |
ideal | kNF2Bound (ideal F, ideal Q, ideal q, int bound, kStrategy strat, int lazyReduce) |
void | f5c (kStrategy strat, int &olddeg, int &minimcnt, int &hilbeledeg, int &hilbcount, int &srmax, int &lrmax, int &reduc, ideal Q, intvec *w, intvec *hilb) |
ideal | bbaShift (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
ideal | freegb (ideal F, ideal Q) |
ideal | rightgb (ideal F, ideal Q) |
int | redFirstShift (LObject *h, kStrategy strat) |
void | initBbaShift (kStrategy strat) |
Variables | |
VAR int(* | test_PosInT )(const TSet T, const int tl, LObject &h) |
VAR int(* | test_PosInL )(const LSet set, const int length, LObject *L, const kStrategy strat) |
#define REDNF_CANONICALIZE 60 |
#define REDTAIL_CANONICALIZE 100 |
Definition at line 2178 of file kstd2.cc.
Definition at line 4163 of file kstd2.cc.
void f5c | ( | kStrategy | strat, |
int & | olddeg, | ||
int & | minimcnt, | ||
int & | hilbeledeg, | ||
int & | hilbcount, | ||
int & | srmax, | ||
int & | lrmax, | ||
int & | reduc, | ||
ideal | Q, | ||
intvec * | w, | ||
intvec * | hilb | ||
) |
Definition at line 3848 of file kstd2.cc.
ideal freegb | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 4461 of file kstd2.cc.
void initBbaShift | ( | kStrategy | strat | ) |
Definition at line 4605 of file kstd2.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Definition at line 11949 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 326 of file kstd2.cc.
Definition at line 139 of file kstd2.cc.
Definition at line 84 of file kstd2.cc.
poly kFindZeroPoly | ( | poly | input_p, |
ring | leadRing, | ||
ring | tailRing | ||
) |
Definition at line 454 of file kstd2.cc.
ideal kNF2 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3666 of file kstd2.cc.
poly kNF2 | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
ideal kNF2Bound | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
int | bound, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3765 of file kstd2.cc.
poly kNF2Bound | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
int | bound, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 944 of file kstd2.cc.
Definition at line 4485 of file kstd2.cc.
Definition at line 822 of file kstd2.cc.
poly redNF | ( | poly | h, |
int & | max_ind, | ||
int | nonorm, | ||
kStrategy | strat | ||
) |
Definition at line 1866 of file kstd2.cc.
poly redNFBound | ( | poly | h, |
int & | max_ind, | ||
int | nonorm, | ||
kStrategy | strat, | ||
int | bound | ||
) |
Definition at line 715 of file kstd2.cc.
Definition at line 568 of file kstd2.cc.
Definition at line 1398 of file kstd2.cc.
ideal rightgb | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 2536 of file kstd2.cc.