Changeset 579253 in git


Ignore:
Timestamp:
Sep 15, 2022, 3:23:01 PM (20 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
4e3e0a97b87e637f0f1ced5093d6b16d0cd68344
Parents:
a13807a1e2eca5837fb023052eaab2f1e50d02ef
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2022-09-15 15:23:01+02:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2022-09-15 15:25:03+02:00
Message:
add: delete(...,intvec)
Files:
5 edited

Legend:

Unmodified
Added
Removed

  • Singular/iparith.cc

    ra13807a r579253  
    18761876  ideal I=(ideal)u->Data();
    18771877  res->data=(void*)id_Delete_Pos(I,pos-1,currRing);
     1878  return res->data==NULL;
     1879}
     1880static BOOLEAN jjDelete_ID_IV(leftv res, leftv u, leftv v)
     1881{
     1882  intvec *iv=(intvec*)v->Data();
     1883  ideal I=(ideal)u->Data();
     1884  for(int i=iv->length();i>=0;i--)
     1885  {
     1886    int pos= (*iv)[i];
     1887    I=id_Delete_Pos(I,pos-1,currRing);
     1888    if (I==NULL) break;
     1889  }
     1890  res->data=(void*)I;
    18781891  return res->data==NULL;
    18791892}

  • Singular/iparith.inc

    ra13807a r579253  
    490490// operation: delete (intvec, int)  ->  intvec
    491491// operation: delete (ideal, int)  ->  ideal
     492// operation: delete (ideal, intvec)  ->  ideal
    492493// operation: delete (module, int)  ->  module
     494// operation: delete (module, intvec)  ->  module
    493495// operation: delete (list, int)  ->  list
     496// operation: delete (list, intvec)  ->  list
    494497// operation: det (smatrix, string)  ->  poly, only commutative rings, field coeffs
    495498// operation: det (matrix, string)  ->  poly, only commutative rings
    … …  
    11281131const struct sValCmdTab dArithTab1[]=
    11291132{
    1130  { 40,11 },
    1131  { 45,2 },
    1132  { 262,1 },
    1133  { 263,148 },
    1134  { 265,0 },
    1135  { 269,22 },
    1136  { 270,97 },
    1137  { 271,170 },
    1138  { 272,186 },
    1139  { 275,83 },
    1140  { 276,129 },
    1141  { 277,130 },
    1142  { 278,137 },
    1143  { 279,149 },
    1144  { 280,164 },
    1145  { 281,179 },
    1146  { 282,200 },
    1147  { 283,227 },
    1148  { 284,15 },
    1149  { 285,68 },
    1150  { 287,73 },
    1151  { 291,131 },
    1152  { 292,139 },
    1153  { 293,160 },
    1154  { 294,166 },
    1155  { 295,230 },
    1156  { 320,197 },
    1157  { 359,12 },
    1158  { 360,13 },
    1159  { 361,19 },
    1160  { 365,23 },
    1161  { 366,25 },
    1162  { 367,24 },
    1163  { 370,152 },
    1164  { 372,26 },
    1165  { 375,27 },
    1166  { 376,33 },
    1167  { 378,35 },
    1168  { 379,49 },
    1169  { 381,50 },
    1170  { 382,57 },
    1171  { 383,52 },
    1172  { 384,55 },
    1173  { 386,58 },
    1174  { 387,60 },
    1175  { 389,64 },
    1176  { 391,67 },
    1177  { 394,210 },
    1178  { 395,70 },
    1179  { 396,69 },
    1180  { 399,71 },
    1181  { 402,74 },
    1182  { 408,72 },
    1183  { 410,75 },
    1184  { 411,76 },
    1185  { 412,78 },
    1186  { 413,81 },
    1187  { 415,88 },
    1188  { 417,89 },
    1189  { 419,90 },
    1190  { 422,95 },
    1191  { 424,99 },
    1192  { 425,101 },
    1193  { 426,104 },
    1194  { 427,107 },
    1195  { 429,108 },
    1196  { 430,110 },
    1197  { 431,116 },
    1198  { 433,112 },
    1199  { 434,117 },
    1200  { 435,121 },
    1201  { 436,123 },
    1202  { 437,125 },
    1203  { 440,127 },
    1204  { 441,128 },
    1205  { 442,235 },
    1206  { 444,113 },
    1207  { 447,132 },
    1208  { 448,133 },
    1209  { 450,135 },
    1210  { 452,138 },
    1211  { 455,142 },
    1212  { 456,140 },
    1213  { 457,144 },
    1214  { 458,145 },
    1215  { 462,236 },
    1216  { 463,153 },
    1217  { 464,59 },
    1218  { 465,154 },
    1219  { 466,157 },
    1220  { 467,155 },
    1221  { 469,211 },
    1222  { 470,156 },
    1223  { 471,159 },
    1224  { 473,161 },
    1225  { 475,162 },
    1226  { 476,114 },
    1227  { 477,167 },
    1228  { 478,168 },
    1229  { 479,171 },
    1230  { 480,172 },
    1231  { 485,174 },
    1232  { 486,175 },
    1233  { 488,176 },
    1234  { 489,177 },
    1235  { 491,178 },
    1236  { 493,181 },
    1237  { 495,182 },
    1238  { 496,183 },
    1239  { 497,184 },
    1240  { 498,188 },
    1241  { 499,195 },
    1242  { 502,198 },
    1243  { 503,201 },
    1244  { 504,203 },
    1245  { 507,204 },
    1246  { 508,207 },
    1247  { 511,208 },
    1248  { 514,216 },
    1249  { 515,214 },
    1250  { 516,212 },
    1251  { 517,222 },
    1252  { 518,223 },
    1253  { 522,224 },
    1254  { 523,231 },
    1255  { 524,228 },
    1256  { 525,237 },
    1257  { 526,238 },
    1258  { 528,233 },
     1133 { 40,11 }, /* ( */
     1134 { 45,2 }, /* - */
     1135 { 262,1 }, /* -- */
     1136 { 263,148 }, /* not */
     1137 { 265,0 }, /* ++ */
     1138 { 269,22 }, /* bigintmat */
     1139 { 270,97 }, /* intmat */
     1140 { 271,170 }, /* proc */
     1141 { 272,186 }, /* ring */
     1142 { 275,83 }, /* ideal */
     1143 { 276,129 }, /* map */
     1144 { 277,130 }, /* matrix */
     1145 { 278,137 }, /* module */
     1146 { 279,149 }, /* number */
     1147 { 280,164 }, /* poly */
     1148 { 281,179 }, /* resolution */
     1149 { 282,200 }, /* smatrix */
     1150 { 283,227 }, /* vector */
     1151 { 284,15 }, /* betti */
     1152 { 285,68 }, /* gen */
     1153 { 287,73 }, /* freemodule */
     1154 { 291,131 }, /* maxideal */
     1155 { 292,139 }, /* monomial */
     1156 { 293,160 }, /* par */
     1157 { 294,166 }, /* preimage */
     1158 { 295,230 }, /* var */
     1159 { 320,197 }, /* setring */
     1160 { 359,12 }, /* attrib */
     1161 { 360,13 }, /* bareiss */
     1162 { 361,19 }, /* bigint */
     1163 { 365,23 }, /* char */
     1164 { 366,25 }, /* charstr */
     1165 { 367,24 }, /* char_series */
     1166 { 370,152 }, /* $INVALID$ */
     1167 { 372,26 }, /* close */
     1168 { 375,27 }, /* ncols */
     1169 { 376,33 }, /* cleardenom */
     1170 { 378,35 }, /* size */
     1171 { 379,49 }, /* cring */
     1172 { 381,50 }, /* def */
     1173 { 382,57 }, /* defined */
     1174 { 383,52 }, /* deg */
     1175 { 384,55 }, /* degree */
     1176 { 386,58 }, /* denominator */
     1177 { 387,60 }, /* det */
     1178 { 389,64 }, /* dim */
     1179 { 391,67 }, /* dump */
     1180 { 394,210 }, /* envelope */
     1181 { 395,70 }, /* ERROR */
     1182 { 396,69 }, /* execute */
     1183 { 399,71 }, /* factorize */
     1184 { 402,74 }, /* facstd */
     1185 { 408,72 }, /* finduni */
     1186 { 410,75 }, /* getdump */
     1187 { 411,76 }, /* highcorner */
     1188 { 412,78 }, /* hilb */
     1189 { 413,81 }, /* homog */
     1190 { 415,88 }, /* impart */
     1191 { 417,89 }, /* indepSet */
     1192 { 419,90 }, /* int */
     1193 { 422,95 }, /* interred */
     1194 { 424,99 }, /* intvec */
     1195 { 425,101 }, /* rvar */
     1196 { 426,104 }, /* jacob */
     1197 { 427,107 }, /* janet */
     1198 { 429,108 }, /* kbase */
     1199 { 430,110 }, /* kernel */
     1200 { 431,116 }, /* killattrib */
     1201 { 433,112 }, /* laguerre */
     1202 { 434,117 }, /* lead */
     1203 { 435,121 }, /* leadcoef */
     1204 { 436,123 }, /* leadexp */
     1205 { 437,125 }, /* leadmonom */
     1206 { 440,127 }, /* link */
     1207 { 441,128 }, /* list */
     1208 { 442,235 }, /* load */
     1209 { 444,113 }, /* ludecomp */
     1210 { 447,132 }, /* memory */
     1211 { 448,133 }, /* minbase */
     1212 { 450,135 }, /* minres */
     1213 { 452,138 }, /* monitor */
     1214 { 455,142 }, /* mstd */
     1215 { 456,140 }, /* mult */
     1216 { 457,144 }, /* nameof */
     1217 { 458,145 }, /* names */
     1218 { 462,236 }, /* convhull */
     1219 { 463,153 }, /* npars */
     1220 { 464,59 }, /* numerator */
     1221 { 465,154 }, /* nvars */
     1222 { 466,157 }, /* ord */
     1223 { 467,155 }, /* open */
     1224 { 469,211 }, /* opposite */
     1225 { 470,156 }, /* option */
     1226 { 471,159 }, /* ordstr */
     1227 { 473,161 }, /* pardeg */
     1228 { 475,162 }, /* parstr */
     1229 { 476,114 }, /* primefactors */
     1230 { 477,167 }, /* prime */
     1231 { 478,168 }, /* print */
     1232 { 479,171 }, /* prune */
     1233 { 480,172 }, /* qhweight */
     1234 { 485,174 }, /* rank */
     1235 { 486,175 }, /* read */
     1236 { 488,176 }, /* regularity */
     1237 { 489,177 }, /* repart */
     1238 { 491,178 }, /* reservedName */
     1239 { 493,181 }, /* restart */
     1240 { 495,182 }, /* rightstd */
     1241 { 496,183 }, /* ringlist */
     1242 { 497,184 }, /* ring_list */
     1243 { 498,188 }, /* nrows */
     1244 { 499,195 }, /* sba */
     1245 { 502,198 }, /* slimgb */
     1246 { 503,201 }, /* sortvec */
     1247 { 504,203 }, /* sqrfree */
     1248 { 507,204 }, /* std */
     1249 { 508,207 }, /* string */
     1250 { 511,208 }, /* syz */
     1251 { 514,216 }, /* transpose */
     1252 { 515,214 }, /* trace */
     1253 { 516,212 }, /* twostd */
     1254 { 517,222 }, /* typeof */
     1255 { 518,223 }, /* univariate */
     1256 { 522,224 }, /* variables */
     1257 { 523,231 }, /* varstr */
     1258 { 524,228 }, /* vdim */
     1259 { 525,237 }, /* waitfirst */
     1260 { 526,238 }, /* waitall */
     1261 { 528,233 }, /* weight */
    12591262 { 10000,0 }
    12601263};
    … …  
    12621265const struct sValCmdTab dArithTab2[]=
    12631266{
    1264  { 37,105 },
    1265  { 38,152 },
    1266  { 40,208 },
    1267  { 42,51 },
    1268  { 43,1 },
    1269  { 45,29 },
    1270  { 47,89 },
    1271  { 58,213 },
    1272  { 60,125 },
    1273  { 62,143 },
    1274  { 91,191 },
    1275  { 94,111 },
    1276  { 124,153 },
    1277  { 258,190 },
    1278  { 259,154 },
    1279  { 260,134 },
    1280  { 261,116 },
    1281  { 264,174 },
    1282  { 266,0 },
    1283  { 284,217 },
    1284  { 286,268 },
    1285  { 289,288 },
    1286  { 290,305 },
    1287  { 358,214 },
    1288  { 359,216 },
    1289  { 363,221 },
    1290  { 368,222 },
    1291  { 373,227 },
    1292  { 374,225 },
    1293  { 377,231 },
    1294  { 383,232 },
    1295  { 385,235 },
    1296  { 387,239 },
    1297  { 388,241 },
    1298  { 389,248 },
    1299  { 390,250 },
    1300  { 392,252 },
    1301  { 397,256 },
    1302  { 398,257 },
    1303  { 399,260 },
    1304  { 400,262 },
    1305  { 401,271 },
    1306  { 402,261 },
    1307  { 404,272 },
    1308  { 405,274 },
    1309  { 406,269 },
    1310  { 407,270 },
    1311  { 409,275 },
    1312  { 412,279 },
    1313  { 413,281 },
    1314  { 414,287 },
    1315  { 416,289 },
    1316  { 417,290 },
    1317  { 418,291 },
    1318  { 420,99 },
    1319  { 421,292 },
    1320  { 423,293 },
    1321  { 427,295 },
    1322  { 428,296 },
    1323  { 429,301 },
    1324  { 430,303 },
    1325  { 431,304 },
    1326  { 432,307 },
    1327  { 438,310 },
    1328  { 439,308 },
    1329  { 442,312 },
    1330  { 443,313 },
    1331  { 451,314 },
    1332  { 452,316 },
    1333  { 453,317 },
    1334  { 454,319 },
    1335  { 459,318 },
    1336  { 460,323 },
    1337  { 461,327 },
    1338  { 468,331 },
    1339  { 475,332 },
    1340  { 476,321 },
    1341  { 478,333 },
    1342  { 483,334 },
    1343  { 484,337 },
    1344  { 485,338 },
    1345  { 486,339 },
    1346  { 487,340 },
    1347  { 490,346 },
    1348  { 499,348 },
    1349  { 501,350 },
    1350  { 504,354 },
    1351  { 505,357 },
    1352  { 506,355 },
    1353  { 507,359 },
    1354  { 511,365 },
    1355  { 512,367 },
    1356  { 523,370 },
    1357  { 525,371 },
    1358  { 526,372 },
    1359  { 527,373 },
     1267 { 37,105 }, /* % */
     1268 { 38,152 }, /* and */
     1269 { 40,208 }, /* ( */
     1270 { 42,51 }, /* * */
     1271 { 43,1 }, /* + */
     1272 { 45,29 }, /* - */
     1273 { 47,89 }, /* / */
     1274 { 58,213 }, /* : */
     1275 { 60,125 }, /* < */
     1276 { 62,143 }, /* > */
     1277 { 91,191 }, /* [ */
     1278 { 94,111 }, /* ^ */
     1279 { 124,153 }, /* or */
     1280 { 258,190 }, /* .. */
     1281 { 259,154 }, /* == */
     1282 { 260,134 }, /* >= */
     1283 { 261,116 }, /* <= */
     1284 { 264,174 }, /* <> */
     1285 { 266,0 }, /* :: */
     1286 { 284,217 }, /* betti */
     1287 { 286,271 }, /* fetch */
     1288 { 289,291 }, /* imap */
     1289 { 290,308 }, /* koszul */
     1290 { 358,214 }, /* align */
     1291 { 359,216 }, /* attrib */
     1292 { 363,221 }, /* bracket */
     1293 { 368,222 }, /* chinrem */
     1294 { 373,227 }, /* coeffs */
     1295 { 374,225 }, /* coef */
     1296 { 377,231 }, /* contract */
     1297 { 383,232 }, /* deg */
     1298 { 385,235 }, /* delete */
     1299 { 387,242 }, /* det */
     1300 { 388,244 }, /* diff */
     1301 { 389,251 }, /* dim */
     1302 { 390,253 }, /* division */
     1303 { 392,255 }, /* eliminate */
     1304 { 397,259 }, /* exportto */
     1305 { 398,260 }, /* extgcd */
     1306 { 399,263 }, /* factorize */
     1307 { 400,265 }, /* farey */
     1308 { 401,274 }, /* find */
     1309 { 402,264 }, /* facstd */
     1310 { 404,275 }, /* fres */
     1311 { 405,277 }, /* frwalk */
     1312 { 406,272 }, /* fglm */
     1313 { 407,273 }, /* fglmquot */
     1314 { 409,278 }, /* gcd */
     1315 { 412,282 }, /* hilb */
     1316 { 413,284 }, /* homog */
     1317 { 414,290 }, /* hres */
     1318 { 416,292 }, /* importfrom */
     1319 { 417,293 }, /* indepSet */
     1320 { 418,294 }, /* insert */
     1321 { 420,99 }, /* div */
     1322 { 421,295 }, /* interpolation */
     1323 { 423,296 }, /* intersect */
     1324 { 427,298 }, /* janet */
     1325 { 428,299 }, /* jet */
     1326 { 429,304 }, /* kbase */
     1327 { 430,306 }, /* kernel */
     1328 { 431,307 }, /* killattrib */
     1329 { 432,310 }, /* kres */
     1330 { 438,313 }, /* liftstd */
     1331 { 439,311 }, /* lift */
     1332 { 442,315 }, /* load */
     1333 { 443,316 }, /* lres */
     1334 { 451,317 }, /* modulo */
     1335 { 452,319 }, /* monitor */
     1336 { 453,320 }, /* mpresmat */
     1337 { 454,322 }, /* mres */
     1338 { 459,321 }, /* newstruct */
     1339 { 460,326 }, /* ncalgebra */
     1340 { 461,330 }, /* nc_algebra */
     1341 { 468,334 }, /* oppose */
     1342 { 475,335 }, /* parstr */
     1343 { 476,324 }, /* primefactors */
     1344 { 478,336 }, /* print */
     1345 { 483,337 }, /* quotient */
     1346 { 484,340 }, /* random */
     1347 { 485,341 }, /* rank */
     1348 { 486,342 }, /* read */
     1349 { 487,343 }, /* reduce */
     1350 { 490,349 }, /* nres */
     1351 { 499,351 }, /* sba */
     1352 { 501,353 }, /* simplify */
     1353 { 504,357 }, /* sqrfree */
     1354 { 505,360 }, /* sres */
     1355 { 506,358 }, /* status */
     1356 { 507,362 }, /* std */
     1357 { 511,368 }, /* syz */
     1358 { 512,370 }, /* tensor */
     1359 { 523,373 }, /* varstr */
     1360 { 525,374 }, /* waitfirst */
     1361 { 526,375 }, /* waitall */
     1362 { 527,376 }, /* wedge */
    13601363 { 10000,0 }
    13611364};

  • Singular/table.h

    ra13807a r579253  
    619619,{D(jjDelete_IV), DELETE_CMD,     INTVEC_CMD,     INTVEC_CMD, INT_CMD, ALLOW_NC |ALLOW_RING}
    620620,{D(jjDelete_ID), DELETE_CMD,     IDEAL_CMD,      IDEAL_CMD,  INT_CMD, ALLOW_NC |ALLOW_RING}
     621,{D(jjDelete_ID_IV),DELETE_CMD,   IDEAL_CMD,      IDEAL_CMD,  INTVEC_CMD, ALLOW_NC |ALLOW_RING}
    621622,{D(jjDelete_ID), DELETE_CMD,     MODUL_CMD,      MODUL_CMD,  INT_CMD, ALLOW_NC |ALLOW_RING}
     623,{D(jjDelete_ID_IV),DELETE_CMD,   MODUL_CMD,      MODUL_CMD,  INTVEC_CMD, ALLOW_NC |ALLOW_RING}
    622624,{D(lDelete),     DELETE_CMD,     LIST_CMD,       LIST_CMD,   INT_CMD, ALLOW_NC |ALLOW_RING}
     625,{D(lDeleteIV),   DELETE_CMD,     LIST_CMD,       LIST_CMD,   INTVEC_CMD, ALLOW_NC |ALLOW_RING}
    623626,{D(jjDET2_S),    DET_CMD,        POLY_CMD,       SMATRIX_CMD,STRING_CMD, NO_NC |NO_RING}
    624627,{D(jjDET2),      DET_CMD,        POLY_CMD,       MATRIX_CMD, STRING_CMD, NO_NC |ALLOW_RING}

  • doc/NEWS.texi

    ra13807a r579253  
    3636@item overflow check for @nref{vdim}
    3737@item better overflow check/les overflows for Hilbert function (@nref{hilb})
     38@item @code{delete} accepts @code{intvec} for the indices to delete (@nref{delete})
    3839@end itemize
    3940
Note: See TracChangeset for help on using the changeset viewer.