Home
last modified time | relevance | path

Searched refs:lenSw (Results 1 – 3 of 3) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dtgb.cc1037 if(strat->lenSw != NULL) in move_forward_in_S()
1050 if(strat->lenSw != NULL) in move_forward_in_S()
1052 strat->lenSw[i] = strat->lenSw[i - 1]; in move_forward_in_S()
1059 if(strat->lenSw != NULL) in move_forward_in_S()
1074 if(strat->lenSw != NULL) in move_backward_in_S()
1089 strat->lenSw[i] = strat->lenSw[i + 1]; in move_backward_in_S()
1312 if(strat->lenSw) in simple_posInS()
1869 ((strat->lenSw == NULL) || (strat->lenSw[j] <= n))))) in redNF2()
1933 || ((strat->lenSw != NULL) && (strat->lenSw[i] > 2))) in redTailShort()
3358 strat->lenSw = NULL; in slimgb_alg()
[all …]
H A Dkutil.cc1162 if (strat->lenSw!=NULL) in deleteInS()
1165 memmove(&(strat->lenSw[i]),&(strat->lenSw[i+1]),(strat->sl - i)*sizeof(wlen_type)); in deleteInS()
1167 for (j=i; j<strat->sl; j++) strat->lenSw[j] = strat->lenSw[j+1]; in deleteInS()
1218 if (strat->lenSw!=NULL) in deleteInSSba()
1223 for (j=i; j<strat->sl; j++) strat->lenSw[j] = strat->lenSw[j+1]; in deleteInSSba()
9047 strat->lenSw=(wlen_type*)omRealloc0Size(strat->lenSw, in enterSBba()
9076 memmove(&(strat->lenSw[atS+1]), &(strat->lenSw[atS]), in enterSBba()
9091 strat->lenSw[i] = strat->lenSw[i-1]; in enterSBba()
9174 strat->lenSw=(wlen_type*)omRealloc0Size(strat->lenSw, in enterSSba()
9213 memmove(&(strat->lenSw[atS+1]), &(strat->lenSw[atS]), in enterSSba()
[all …]
H A Dkutil.h321 wlen_set lenSw; /* for tgb.ccc */ variable