Changeset 611e44 in git


Ignore:
Timestamp:
Nov 18, 2022, 5:36:16 PM (3 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
Children:
5402db6f2640db86a5bb5b61fb889447468a98b3
Parents:
088819d5e7661c4dafa57339c012c5a988699a5a
Message:
removed: deleteInSSba
Location:
kernel/GBEngine
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kutil.cc

    r088819 r611e44  
    11751175    strat->ecartS[j] = strat->ecartS[j+1];
    11761176    strat->sevS[j] = strat->sevS[j+1];
    1177     strat->S_2_R[j] = strat->S_2_R[j+1];
    1178   }
    1179 #endif
    1180   if (strat->lenS!=NULL)
    1181   {
    1182 #ifdef ENTER_USE_MEMMOVE
    1183     memmove(&(strat->lenS[i]),&(strat->lenS[i+1]),(strat->sl - i)*sizeof(int));
    1184 #else
    1185     for (j=i; j<strat->sl; j++) strat->lenS[j] = strat->lenS[j+1];
    1186 #endif
    1187   }
    1188   if (strat->lenSw!=NULL)
    1189   {
    1190 #ifdef ENTER_USE_MEMMOVE
    1191     memmove(&(strat->lenSw[i]),&(strat->lenSw[i+1]),(strat->sl - i)*sizeof(wlen_type));
    1192 #else
    1193     for (j=i; j<strat->sl; j++) strat->lenSw[j] = strat->lenSw[j+1];
    1194 #endif
    1195   }
    1196   if (strat->fromQ!=NULL)
    1197   {
    1198 #ifdef ENTER_USE_MEMMOVE
    1199     memmove(&(strat->fromQ[i]),&(strat->fromQ[i+1]),(strat->sl - i)*sizeof(int));
    1200 #else
    1201     for (j=i; j<strat->sl; j++)
    1202     {
    1203       strat->fromQ[j] = strat->fromQ[j+1];
    1204     }
    1205 #endif
    1206   }
    1207   strat->S[strat->sl] = NULL;
    1208   strat->sl--;
    1209 }
    1210 
    1211 
    1212 /*2
    1213 *cancels the i-th polynomial in the standardbase s
    1214 */
    1215 void deleteInSSba (int i,kStrategy strat)
    1216 {
    1217 #ifdef ENTER_USE_MEMMOVE
    1218   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 #else
    1225   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];
    12331177    strat->S_2_R[j] = strat->S_2_R[j+1];
    12341178  }
  • kernel/GBEngine/kutil.h

    r088819 r611e44  
    417417void deleteHC(LObject* L, kStrategy strat, BOOLEAN fromNext = FALSE);
    418418void deleteInS (int i,kStrategy strat);
    419 void deleteInSSba (int i,kStrategy strat);
    420419void cleanT (kStrategy strat);
    421420static inline LSet initL (int nr=setmaxL)
Note: See TracChangeset for help on using the changeset viewer.