![]() |
My Project
|
#include <string.h>#include "omalloc/omalloc.h"#include "omalloc/omallocClass.h"#include "misc/mylimits.h"#include "kernel/polys.h"#include "polys/operations/pShallowCopyDelete.h"#include "kernel/structs.h"#include "kernel/GBEngine/kstd1.h"#include "coeffs/bigintmat.h"#include "kernel/GBEngine/kInline.h"#include "kernel/GBEngine/shiftgb.h"Go to the source code of this file.
Data Structures | |
| struct | denominator_list_s |
| class | sTObject |
| class | sLObject |
| class | skStrategy |
Macros | |
| #define | HAVE_TAIL_RING |
| #define | setmax 128 |
| #define | setmaxL ((int)((4096-12)/sizeof(LObject))) |
| #define | setmaxLinc ((int)((4096)/sizeof(LObject))) |
| #define | setmaxT ((int)((4096-12)/sizeof(TObject))) |
| #define | setmaxTinc ((int)((4096)/sizeof(TObject))) |
| #define | RED_CANONICALIZE 200 |
| #define | REDNF_CANONICALIZE 60 |
| #define | REDTAIL_CANONICALIZE 100 |
| #define | KINLINE |
| #define | NO_KINLINE 1 |
| #define | ALLOW_PROD_CRIT(A) (!(A)->no_prod_crit) |
Variables | |
| EXTERN_VAR denominator_list | DENOMINATOR_LIST |
| EXTERN_VAR int | strat_nr |
| EXTERN_VAR int | HCord |
| struct denominator_list_s |
| Data Fields | ||
|---|---|---|
| number | n | |
| denominator_list | next | |
| BOOLEAN arriRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 6621 of file kutil.cc.
| BOOLEAN arriRewCriterionPre | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 6646 of file kutil.cc.
Definition at line 2614 of file kstd2.cc.
Definition at line 4577 of file kstd2.cc.
Definition at line 365 of file kutil.cc.
Definition at line 3204 of file kutil.cc.
Definition at line 3461 of file kutil.cc.
Definition at line 557 of file kutil.cc.
Definition at line 10257 of file kutil.cc.
Definition at line 286 of file kutil.cc.
Definition at line 1208 of file kutil.cc.
Definition at line 1132 of file kutil.cc.
Definition at line 4232 of file kutil.cc.
Definition at line 4316 of file kutil.cc.
Definition at line 1939 of file kutil.cc.
| BOOLEAN enterOnePairShift | ( | poly | q, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR, | ||
| int | ecartq, | ||
| int | qisFromQ, | ||
| int | shiftcount, | ||
| int | ifromS | ||
| ) |
Definition at line 12143 of file kutil.cc.
Definition at line 12927 of file kutil.cc.
| void enterpairsSig | ( | poly | h, |
| poly | hSig, | ||
| int | from, | ||
| int | k, | ||
| int | ec, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 8792 of file kutil.cc.
Definition at line 8892 of file kutil.cc.
Definition at line 1629 of file kstd1.cc.
Definition at line 8915 of file kutil.cc.
Definition at line 9343 of file kutil.cc.
Definition at line 9143 of file kutil.cc.
Definition at line 9242 of file kutil.cc.
Definition at line 12957 of file kutil.cc.
Definition at line 10011 of file kutil.cc.
| void f5c | ( | kStrategy | strat, |
| int & | olddeg, | ||
| int & | minimcnt, | ||
| int & | hilbeledeg, | ||
| int & | hilbcount, | ||
| int & | srmax, | ||
| int & | lrmax, | ||
| int & | reduc, | ||
| ideal | Q, | ||
| intvec * | w, | ||
| bigintmat * | hilb | ||
| ) |
Definition at line 4265 of file kstd2.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 6562 of file kutil.cc.
used for GB over ZZ: final reduction by constant elements background: any known constant element of ideal suppresses intermediate coefficient swell and beautifies output
Definition at line 10847 of file kutil.cc.
Definition at line 1690 of file kstd1.cc.
Definition at line 9749 of file kutil.cc.
Definition at line 9435 of file kutil.cc.
Definition at line 9580 of file kutil.cc.
Definition at line 9664 of file kutil.cc.
Definition at line 3809 of file kutil.cc.
Definition at line 7586 of file kutil.cc.
Definition at line 1750 of file kstd1.cc.
Definition at line 9936 of file kutil.cc.
Definition at line 9498 of file kutil.cc.
Definition at line 9863 of file kutil.cc.
Definition at line 7679 of file kutil.cc.
Definition at line 7781 of file kutil.cc.
Definition at line 7933 of file kutil.cc.
| KINLINE BOOLEAN k_GetLeadTerms | ( | const poly | p1, |
| const poly | p2, | ||
| const ring | p_r, | ||
| poly & | m1, | ||
| poly & | m2, | ||
| const ring | m_r | ||
| ) |
Definition at line 1018 of file kInline.h.
| KINLINE void k_GetStrongLeadTerms | ( | const poly | p1, |
| const poly | p2, | ||
| const ring | leadRing, | ||
| poly & | m1, | ||
| poly & | m2, | ||
| poly & | lcm, | ||
| const ring | taiRing | ||
| ) |
Definition at line 1060 of file kInline.h.
Definition at line 996 of file kInline.h.
Definition at line 1001 of file kInline.h.
Definition at line 1006 of file kInline.h.
Definition at line 10459 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11478 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 464 of file kstd2.cc.
| TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
| int | end_pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart = LONG_MAX |
||
| ) |
Definition at line 6697 of file kutil.cc.
return -1 if no divisor is found number of first divisor in T, otherwise
Definition at line 317 of file kstd2.cc.
Definition at line 416 of file kstd2.cc.
Definition at line 209 of file kstd2.cc.
Definition at line 609 of file kstd2.cc.
Definition at line 4090 of file kstd2.cc.
Definition at line 3927 of file kstd2.cc.
Definition at line 4176 of file kstd2.cc.
Definition at line 4015 of file kstd2.cc.
| poly ksCreateShortSpoly | ( | poly | p1, |
| poly | p2, | ||
| ring | tailRing | ||
| ) |
Definition at line 1446 of file kspoly.cc.
| void ksCreateSpoly | ( | LObject * | Pair, |
| poly | spNoether = NULL, |
||
| int | use_buckets = 0, |
||
| ring | tailRing = currRing, |
||
| poly | m1 = NULL, |
||
| poly | m2 = NULL, |
||
| TObject ** | R = NULL |
||
| ) |
Definition at line 1203 of file kspoly.cc.
Definition at line 1174 of file kInline.h.
Definition at line 1204 of file kInline.h.
| int ksReducePoly | ( | LObject * | PR, |
| TObject * | PW, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| poly * | mon = NULL, |
||
| kStrategy | strat = NULL, |
||
| BOOLEAN | redtail = FALSE |
||
| ) |
Definition at line 187 of file kspoly.cc.
| int ksReducePolyBound | ( | LObject * | PR, |
| TObject * | PW, | ||
| int | bound, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 590 of file kspoly.cc.
| int ksReducePolyGCD | ( | LObject * | PR, |
| TObject * | PW, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
| int ksReducePolyLC | ( | LObject * | PR, |
| TObject * | PW, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 477 of file kspoly.cc.
| int ksReducePolySig | ( | LObject * | PR, |
| TObject * | PW, | ||
| long | idx, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 737 of file kspoly.cc.
| int ksReducePolySigRing | ( | LObject * | PR, |
| TObject * | PW, | ||
| long | idx, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 943 of file kspoly.cc.
| int ksReducePolyZ | ( | LObject * | PR, |
| TObject * | PW, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
| BOOLEAN kStratChangeTailRing | ( | kStrategy | strat, |
| LObject * | L = NULL, |
||
| TObject * | T = NULL, |
||
| unsigned long | new_expbound = 0 |
||
| ) |
Definition at line 10939 of file kutil.cc.
Definition at line 11036 of file kutil.cc.
Definition at line 1004 of file kutil.cc.
| BOOLEAN kTest_L | ( | LObject * | L, |
| kStrategy | strat, | ||
| BOOLEAN | testp = FALSE, |
||
| int | lpos = -1, |
||
| TSet | T = NULL, |
||
| int | tlength = -1 |
||
| ) |
Definition at line 916 of file kutil.cc.
Definition at line 789 of file kutil.cc.
Definition at line 1067 of file kutil.cc.
tests if T[0] divides the leading monomial of L, returns -1 if not
Definition at line 142 of file kstd2.cc.
Definition at line 7504 of file kutil.cc.
Definition at line 7517 of file kutil.cc.
Definition at line 10379 of file kutil.cc.
| void pairs | ( | ) |
Definition at line 1360 of file kstd1.cc.
| int posInLF5CRing | ( | const LSet | set, |
| int | start, | ||
| const int | length, | ||
| LObject * | L, | ||
| const kStrategy | strat | ||
| ) |
Definition at line 4663 of file kutil.cc.
Definition at line 4764 of file kutil.cc.
used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell
Definition at line 10682 of file kutil.cc.
Definition at line 10758 of file kutil.cc.
used for GB over ZZ: look for constant and monomial elements in the ideal background: any known constant element of ideal suppresses intermediate coefficient swell
Definition at line 10518 of file kutil.cc.
Definition at line 168 of file kstd1.cc.
Definition at line 794 of file kstd1.cc.
Definition at line 4951 of file kstd2.cc.
Definition at line 1150 of file kstd2.cc.
Definition at line 2110 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 1905 of file kstd2.cc.
Definition at line 167 of file kLiftstd.cc.
Definition at line 2307 of file kstd2.cc.
Definition at line 385 of file kstd1.cc.
Definition at line 988 of file kstd2.cc.
Definition at line 720 of file kstd2.cc.
Definition at line 1369 of file kstd2.cc.
Definition at line 1536 of file kstd2.cc.
Definition at line 6836 of file kutil.cc.
| poly redtailBba | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 6912 of file kutil.cc.
| poly redtailBba_NF | ( | poly | p, |
| kStrategy | strat | ||
| ) |
Definition at line 7375 of file kutil.cc.
Definition at line 7269 of file kutil.cc.
Definition at line 7140 of file kutil.cc.
| poly redtailBbaBound | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| int | bound, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 7025 of file kutil.cc.
Definition at line 12980 of file kutil.cc.
| poly redtailSba | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 1785 of file kstd2.cc.
Definition at line 2971 of file kstd2.cc.
Definition at line 1688 of file kutil.cc.
Definition at line 11064 of file kutil.cc.
Definition at line 4457 of file kutil.cc.
| void superenterpairsSig | ( | poly | h, |
| poly | hSig, | ||
| int | hFrom, | ||
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 4470 of file kutil.cc.
Definition at line 6478 of file kutil.cc.
Definition at line 6513 of file kutil.cc.
Definition at line 10051 of file kutil.cc.
Definition at line 8557 of file kutil.cc.
| EXTERN_VAR denominator_list DENOMINATOR_LIST |
| EXTERN_VAR int HCord |
| EXTERN_VAR int strat_nr |