|
static BOOLEAN | syIsRegular (ideal old_ideal, ideal new_ideal, int deg) |
|
static void | syCreateRegularExtension (syStrategy syzstr, ideal old_ideal, ideal old_repr, int old_tl, poly next_generator, resolvente totake) |
|
static void | syTestPairs (SSet resPairs, int length, ideal old_generators) |
|
void | syReorder_Kosz (syStrategy syzstr) |
|
static void | updatePairs (SSet *resPairs, int *l_pairs, syStrategy syzstr, int index, ideal new_generators, ideal new_repr, int crit_comp) |
|
void | sySPRedSyz_Kosz (syStrategy syzstr, poly redWith, poly syz, poly q=NULL, int l_syz=-1) |
|
static BOOLEAN | syRedSyz (kBucket_pt bucket, ideal red, int crit_comp, int *g_l) |
|
static poly | syRedTailSyz (poly tored, ideal red, ideal sec_red, int crit_comp, syStrategy syzstr, int *gen_length, int *secgen_length, int *tored_length) |
|
static void | redOnePair (SSet resPairs, int itso, int l, ideal syzygies, int crit_comp, syStrategy syzstr, int index, ideal new_generators, ideal new_repr, int *ogm_l, int *orp_l) |
|
static BOOLEAN | redPairs (SSet resPairs, int l_pairs, ideal syzygies, ideal new_generators, ideal new_repr, int crit_comp, syStrategy syzstr, int index) |
|
static ideal | kosz_std (ideal new_generators, ideal new_repr, syStrategy syzstr, int index, int next_comp) |
|
static poly | normalize (poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp) |
|
static void | updatePairsHIndex (SSet *resPairs, int *l_pairs, syStrategy, int index, ideal add_generators, ideal, ideal, ideal, int, int *first_new) |
|
static void | redOnePairHIndex (SSet resPairs, int itso, int crit_comp, syStrategy syzstr, int, ideal add_generators, ideal add_repr, ideal new_generators, ideal new_repr, int *next_place_add, int **g_l, poly deg_soc) |
|
static BOOLEAN | reducePairsHIndex (SSet resPairs, int l_pairs, syStrategy syzstr, int index, ideal add_generators, ideal add_repr, ideal new_generators, ideal new_repr, int crit_comp, int *red_deg, int *next_place_add, int **g_l, resolvente totake) |
|
static void | procedeNextGenerators (ideal temp_generators, ideal, ideal new_generators, ideal new_repr, ideal add_generators, ideal add_repr, syStrategy syzstr, int index, int crit_comp, resolvente totake) |
|
static ideal | normalizeOldPart (ideal new_generators, ideal new_repr, syStrategy syzstr, int index, int) |
|
static ideal | kosz_ext (ideal new_generators, ideal new_repr, syStrategy syzstr, int index, int next_comp, resolvente totake) |
|
static ideal | syAppendSyz (ideal new_generators, syStrategy syzstr, int index, int crit_comp, resolvente totake) |
|
syStrategy | syKosz (ideal arg, int *length) |
|