Searched refs:red_deg (Results 1 – 1 of 1) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | syz3.cc | 1378 ideal new_repr,int crit_comp,int * red_deg,int * next_place_add,int **g_l, in reducePairsHIndex() argument
1387 while ((i<l_pairs) && (resPairs[i].order==*red_deg)) in reducePairsHIndex()
1401 *red_deg = resPairs[0].order; in reducePairsHIndex()
1421 int p_length,red_deg,l_pairs=IDELEMS(add_generators); in procedeNextGenerators() local
1516 red_deg = next_deg; in procedeNextGenerators()
1525 while (pairs_left && ((next_deg<0) || (red_deg<= next_deg))) in procedeNextGenerators()
1530 add_repr,new_generators,new_repr,crit_comp,&red_deg,&next_place_add,&gen_length, in procedeNextGenerators()
|