Changeset 611e44 in git
- Timestamp:
- Nov 18, 2022, 5:36:16 PM (17 months ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 5402db6f2640db86a5bb5b61fb889447468a98b3
- Parents:
- 088819d5e7661c4dafa57339c012c5a988699a5a
- Location:
- kernel/GBEngine
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kutil.cc
r088819 r611e44 1175 1175 strat->ecartS[j] = strat->ecartS[j+1]; 1176 1176 strat->sevS[j] = strat->sevS[j+1]; 1177 strat->S_2_R[j] = strat->S_2_R[j+1];1178 }1179 #endif1180 if (strat->lenS!=NULL)1181 {1182 #ifdef ENTER_USE_MEMMOVE1183 memmove(&(strat->lenS[i]),&(strat->lenS[i+1]),(strat->sl - i)*sizeof(int));1184 #else1185 for (j=i; j<strat->sl; j++) strat->lenS[j] = strat->lenS[j+1];1186 #endif1187 }1188 if (strat->lenSw!=NULL)1189 {1190 #ifdef ENTER_USE_MEMMOVE1191 memmove(&(strat->lenSw[i]),&(strat->lenSw[i+1]),(strat->sl - i)*sizeof(wlen_type));1192 #else1193 for (j=i; j<strat->sl; j++) strat->lenSw[j] = strat->lenSw[j+1];1194 #endif1195 }1196 if (strat->fromQ!=NULL)1197 {1198 #ifdef ENTER_USE_MEMMOVE1199 memmove(&(strat->fromQ[i]),&(strat->fromQ[i+1]),(strat->sl - i)*sizeof(int));1200 #else1201 for (j=i; j<strat->sl; j++)1202 {1203 strat->fromQ[j] = strat->fromQ[j+1];1204 }1205 #endif1206 }1207 strat->S[strat->sl] = NULL;1208 strat->sl--;1209 }1210 1211 1212 /*21213 *cancels the i-th polynomial in the standardbase s1214 */1215 void deleteInSSba (int i,kStrategy strat)1216 {1217 #ifdef ENTER_USE_MEMMOVE1218 memmove(&(strat->S[i]), &(strat->S[i+1]), (strat->sl - i)*sizeof(poly));1219 memmove(&(strat->sig[i]), &(strat->sig[i+1]), (strat->sl - i)*sizeof(poly));1220 memmove(&(strat->ecartS[i]),&(strat->ecartS[i+1]),(strat->sl - i)*sizeof(int));1221 memmove(&(strat->sevS[i]),&(strat->sevS[i+1]),(strat->sl - i)*sizeof(unsigned long));1222 memmove(&(strat->sevSig[i]),&(strat->sevSig[i+1]),(strat->sl - i)*sizeof(unsigned long));1223 memmove(&(strat->S_2_R[i]),&(strat->S_2_R[i+1]),(strat->sl - i)*sizeof(int));1224 #else1225 int j;1226 for (j=i; j<strat->sl; j++)1227 {1228 strat->S[j] = strat->S[j+1];1229 strat->sig[j] = strat->sig[j+1];1230 strat->ecartS[j] = strat->ecartS[j+1];1231 strat->sevS[j] = strat->sevS[j+1];1232 strat->sevSig[j] = strat->sevSig[j+1];1233 1177 strat->S_2_R[j] = strat->S_2_R[j+1]; 1234 1178 } -
kernel/GBEngine/kutil.h
r088819 r611e44 417 417 void deleteHC(LObject* L, kStrategy strat, BOOLEAN fromNext = FALSE); 418 418 void deleteInS (int i,kStrategy strat); 419 void deleteInSSba (int i,kStrategy strat);420 419 void cleanT (kStrategy strat); 421 420 static inline LSet initL (int nr=setmaxL)
Note: See TracChangeset
for help on using the changeset viewer.