![]() |
#include <tgb_internal.h>
Public Member Functions | |
slimgb_alg (ideal I, int syz_comp, BOOLEAN F4, int deg_pos) | |
void | introduceDelayedPairs (poly *pa, int s) |
virtual | ~slimgb_alg () |
void | cleanDegs (int lower, int upper) |
unsigned long | pTotaldegree (poly p) |
int | pTotaldegree_full (poly p) |
Data Fields | |
char ** | states |
ideal | add_later |
ideal | S |
ring | r |
int * | lengths |
wlen_type * | weighted_lengths |
long * | short_Exps |
kStrategy | strat |
int * | T_deg |
int * | T_deg_full |
poly | tmp_lm |
poly * | tmp_pair_lm |
sorted_pair_node ** | tmp_spn |
poly * | expandS |
poly * | gcd_of_terms |
int_pair_node * | soon_free |
sorted_pair_node ** | apairs |
poly_list_node * | to_destroy |
mp_array_list * | F |
poly_array_list * | F_minus |
unsigned int | reduction_steps |
int | n |
int | syz_comp |
array_lengths should be greater equal n; More... | |
int | array_lengths |
int | normal_forms |
int | current_degree |
int | Rcounter |
int | last_index |
int | max_pairs |
int | pair_top |
int | easy_product_crit |
int | extended_product_crit |
int | average_length |
int | lastDpBlockStart |
int | lastCleanedDeg |
int | deg_pos |
BOOLEAN | use_noro |
BOOLEAN | use_noro_last_block |
BOOLEAN | isDifficultField |
BOOLEAN | completed |
BOOLEAN | is_homog |
BOOLEAN | tailReductions |
BOOLEAN | eliminationProblem |
BOOLEAN | F4_mode |
BOOLEAN | nc |
Definition at line 213 of file tgb_internal.h.
slimgb_alg::slimgb_alg | ( | ideal | I, |
int | syz_comp, | ||
BOOLEAN | F4, | ||
int | deg_pos | ||
) |
Definition at line 3138 of file tgb.cc.
|
virtual |
Definition at line 3326 of file tgb.cc.
void slimgb_alg::cleanDegs | ( | int | lower, |
int | upper | ||
) |
Definition at line 3756 of file tgb.cc.
void slimgb_alg::introduceDelayedPairs | ( | poly * | pa, |
int | s | ||
) |
Definition at line 3102 of file tgb.cc.
|
inline |
Definition at line 289 of file tgb_internal.h.
|
inline |
Definition at line 297 of file tgb_internal.h.
ideal slimgb_alg::add_later |
Definition at line 229 of file tgb_internal.h.
sorted_pair_node** slimgb_alg::apairs |
Definition at line 244 of file tgb_internal.h.
int slimgb_alg::array_lengths |
Definition at line 264 of file tgb_internal.h.
int slimgb_alg::average_length |
Definition at line 273 of file tgb_internal.h.
BOOLEAN slimgb_alg::completed |
Definition at line 280 of file tgb_internal.h.
int slimgb_alg::current_degree |
Definition at line 266 of file tgb_internal.h.
int slimgb_alg::deg_pos |
Definition at line 276 of file tgb_internal.h.
int slimgb_alg::easy_product_crit |
Definition at line 271 of file tgb_internal.h.
BOOLEAN slimgb_alg::eliminationProblem |
Definition at line 283 of file tgb_internal.h.
poly* slimgb_alg::expandS |
Definition at line 241 of file tgb_internal.h.
int slimgb_alg::extended_product_crit |
Definition at line 272 of file tgb_internal.h.
mp_array_list* slimgb_alg::F |
Definition at line 253 of file tgb_internal.h.
BOOLEAN slimgb_alg::F4_mode |
Definition at line 284 of file tgb_internal.h.
poly_array_list* slimgb_alg::F_minus |
Definition at line 254 of file tgb_internal.h.
poly* slimgb_alg::gcd_of_terms |
Definition at line 242 of file tgb_internal.h.
BOOLEAN slimgb_alg::is_homog |
Definition at line 281 of file tgb_internal.h.
BOOLEAN slimgb_alg::isDifficultField |
Definition at line 279 of file tgb_internal.h.
int slimgb_alg::last_index |
Definition at line 268 of file tgb_internal.h.
int slimgb_alg::lastCleanedDeg |
Definition at line 275 of file tgb_internal.h.
int slimgb_alg::lastDpBlockStart |
Definition at line 274 of file tgb_internal.h.
int* slimgb_alg::lengths |
Definition at line 232 of file tgb_internal.h.
int slimgb_alg::max_pairs |
Definition at line 269 of file tgb_internal.h.
int slimgb_alg::n |
Definition at line 261 of file tgb_internal.h.
BOOLEAN slimgb_alg::nc |
Definition at line 285 of file tgb_internal.h.
int slimgb_alg::normal_forms |
Definition at line 265 of file tgb_internal.h.
int slimgb_alg::pair_top |
Definition at line 270 of file tgb_internal.h.
ring slimgb_alg::r |
Definition at line 231 of file tgb_internal.h.
int slimgb_alg::Rcounter |
Definition at line 267 of file tgb_internal.h.
unsigned int slimgb_alg::reduction_steps |
Definition at line 260 of file tgb_internal.h.
ideal slimgb_alg::S |
Definition at line 230 of file tgb_internal.h.
long* slimgb_alg::short_Exps |
Definition at line 234 of file tgb_internal.h.
int_pair_node* slimgb_alg::soon_free |
Definition at line 243 of file tgb_internal.h.
char** slimgb_alg::states |
Definition at line 224 of file tgb_internal.h.
kStrategy slimgb_alg::strat |
Definition at line 235 of file tgb_internal.h.
int slimgb_alg::syz_comp |
array_lengths should be greater equal n;
Definition at line 263 of file tgb_internal.h.
int* slimgb_alg::T_deg |
Definition at line 236 of file tgb_internal.h.
int* slimgb_alg::T_deg_full |
Definition at line 237 of file tgb_internal.h.
BOOLEAN slimgb_alg::tailReductions |
Definition at line 282 of file tgb_internal.h.
poly slimgb_alg::tmp_lm |
Definition at line 238 of file tgb_internal.h.
poly* slimgb_alg::tmp_pair_lm |
Definition at line 239 of file tgb_internal.h.
sorted_pair_node** slimgb_alg::tmp_spn |
Definition at line 240 of file tgb_internal.h.
poly_list_node* slimgb_alg::to_destroy |
Definition at line 251 of file tgb_internal.h.
BOOLEAN slimgb_alg::use_noro |
Definition at line 277 of file tgb_internal.h.
BOOLEAN slimgb_alg::use_noro_last_block |
Definition at line 278 of file tgb_internal.h.
wlen_type* slimgb_alg::weighted_lengths |
Definition at line 233 of file tgb_internal.h.