Changeset 930ea8 in git
- Timestamp:
- Jan 11, 2012, 2:42:18 PM (12 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 6c98d526bf15bb5a2845bfd4fb4f54474229668c
- Parents:
- 31f1850ad6697d9acd155b53fa63f9e1a648ed9c
- Location:
- kernel
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/gr_kstd2.cc
r31f1850 r930ea8 1068 1068 intvec *w=NULL; 1069 1069 intvec *hilb=NULL; 1070 int srmax,lrmax;1071 1070 int olddeg,reduc; 1072 1071 int red_result=1; … … 1085 1084 /*Shdl=*/initBuchMora(F, Q,strat); 1086 1085 strat->posInT=posInT110; 1087 srmax = strat->sl; 1088 reduc = olddeg = lrmax = 0; 1086 reduc = olddeg = 0; 1089 1087 1090 1088 /* compute------------------------------------------------------- */ 1091 1089 while (strat->Ll >= 0) 1092 1090 { 1093 if (strat->Ll > lrmax) lrmax =strat->Ll;/*stat.*/1094 1095 1091 if (TEST_OPT_DEBUG) messageSets(strat); 1096 1092 … … 1248 1244 } 1249 1245 if (strat->P.lcm!=NULL) pLmFree(strat->P.lcm); 1250 if (strat->sl>srmax) srmax = strat->sl;1251 1246 } 1252 1247 #ifdef KDEBUG … … 1289 1284 // } 1290 1285 // } 1291 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);1286 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 1292 1287 if (Q!=NULL) updateResult(strat->Shdl,Q,strat); 1293 1288 -
kernel/kstd1.cc
r31f1850 r930ea8 993 993 if (strat->kHEdgeFound) 994 994 { 995 if (newHEdge(strat ->S,strat))995 if (newHEdge(strat)) 996 996 { 997 997 firstUpdate(strat); … … 1037 1037 if ((!strat->kHEdgeFound) || (strat->kNoether!=NULL)) HEckeTest(p.p,strat); 1038 1038 if (strat->kHEdgeFound) 1039 newHEdge(strat ->S,strat);1039 newHEdge(strat); 1040 1040 else if (strat->kNoether!=NULL) 1041 1041 strat->kHEdgeFound = TRUE; … … 1164 1164 om_Opts.MinTrack = 5; 1165 1165 #endif 1166 int srmax;1167 int lrmax = 0;1168 1166 int olddeg = 0; 1169 1167 int reduc = 0; … … 1205 1203 reorderL(strat); 1206 1204 } 1207 srmax = strat->sl;1208 1209 1205 kTest_TS(strat); 1210 1206 strat->use_buckets = kMoraUseBucket(strat); … … 1225 1221 mora_loop_count++; 1226 1222 #endif 1227 if (lrmax< strat->Ll) lrmax=strat->Ll; /*stat*/1228 1223 #ifdef KDEBUG 1229 1224 if (TEST_OPT_DEBUG) messageSets(strat); … … 1345 1340 memset(&strat->P,0,sizeof(strat->P)); 1346 1341 #endif 1347 if (strat->sl>srmax) srmax = strat->sl; /*stat.*/1348 if (strat->Ll>lrmax) lrmax = strat->Ll;1349 1342 } 1350 1343 if (strat->kHEdgeFound) … … 1385 1378 pDelete(&strat->kNoether); 1386 1379 omFreeSize((ADDRESS)strat->NotUsedAxis,((currRing->N)+1)*sizeof(BOOLEAN)); 1387 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);1380 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 1388 1381 // if (TEST_OPT_WEIGHTM) 1389 1382 // { … … 2248 2241 { 2249 2242 need_retry=0; 2250 int srmax,lrmax,red_result = 1;2243 int red_result = 1; 2251 2244 int olddeg,reduc; 2252 2245 BOOLEAN withT = FALSE; … … 2298 2291 2299 2292 /*Shdl=*/initBuchMora(F, Q, strat); 2300 srmax = strat->sl; 2301 reduc = olddeg = lrmax = 0; 2293 reduc = olddeg = 0; 2302 2294 2303 2295 #ifndef NO_BUCKETS … … 2320 2312 while (strat->Ll >= 0) 2321 2313 { 2322 if (strat->Ll > lrmax) lrmax =strat->Ll;/*stat.*/2323 2314 #ifdef KDEBUG 2324 2315 if (TEST_OPT_DEBUG) messageSets(strat); … … 2397 2388 pLmFree(strat->P.lcm); 2398 2389 #endif 2399 if (strat->sl>srmax) srmax = strat->sl;2400 2390 if (pos<strat->sl) 2401 2391 { … … 2492 2482 // } 2493 2483 // } 2494 //if (TEST_OPT_PROT) messageStat( srmax,lrmax,0/*hilbcount*/,strat);2484 //if (TEST_OPT_PROT) messageStat(0/*hilbcount*/,strat); 2495 2485 if (Q!=NULL) updateResult(strat->Shdl,Q,strat); 2496 2486 ideal res=strat->Shdl; -
kernel/kstd2.cc
r31f1850 r930ea8 980 980 #endif /* KDEBUG */ 981 981 om_Opts.MinTrack = 5; 982 int srmax,lrmax,red_result = 1;982 int red_result = 1; 983 983 int olddeg,reduc; 984 984 int hilbeledeg=1,hilbcount=0,minimcnt=0; … … 992 992 /*Shdl=*/initBuchMora(F, Q,strat); 993 993 if (strat->minim>0) strat->M=idInit(IDELEMS(F),F->rank); 994 srmax = strat->sl; 995 reduc = olddeg = lrmax = 0; 994 reduc = olddeg = 0; 996 995 997 996 #ifndef NO_BUCKETS … … 1037 1036 while (strat->Ll >= 0) 1038 1037 { 1039 if (strat->Ll > lrmax) lrmax =strat->Ll;/*stat.*/1040 1038 #ifdef KDEBUG 1041 1039 loop_count++; … … 1222 1220 pLmFree(strat->P.lcm); 1223 1221 #endif 1224 if (strat->sl>srmax) srmax = strat->sl;1225 1222 } 1226 1223 else if (strat->P.p1 == NULL && strat->minim > 0) … … 1288 1285 // } 1289 1286 // } 1290 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);1287 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 1291 1288 if (Q!=NULL) updateResult(strat->Shdl,Q,strat); 1292 1289 … … 1463 1460 #endif 1464 1461 om_Opts.MinTrack = 5; 1465 int srmax,lrmax,red_result = 1;1462 int red_result = 1; 1466 1463 int olddeg,reduc; 1467 1464 int hilbeledeg=1,hilbcount=0,minimcnt=0; … … 1477 1474 1478 1475 if (strat->minim>0) strat->M=idInit(IDELEMS(F),F->rank); 1479 srmax = strat->sl; 1480 reduc = olddeg = lrmax = 0; 1476 reduc = olddeg = 0; 1481 1477 strat->lV=lV; 1482 1478 … … 1500 1496 while (strat->Ll >= 0) 1501 1497 { 1502 if (strat->Ll > lrmax) lrmax =strat->Ll;/*stat.*/1503 1498 #ifdef KDEBUG 1504 1499 loop_count++; … … 1718 1713 // Print("[%d]",hilbeledeg); 1719 1714 if (strat->P.lcm!=NULL) pLmFree(strat->P.lcm); 1720 if (strat->sl>srmax) srmax = strat->sl;1721 1715 } 1722 1716 else … … 1800 1794 // } 1801 1795 // } 1802 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);1796 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 1803 1797 if (Q!=NULL) updateResult(strat->Shdl,Q,strat); 1804 1798 return (strat->Shdl); -
kernel/kstdfac.cc
r31f1850 r930ea8 547 547 ideal bbafac (ideal F, ideal Q,intvec *w,kStrategy strat, ideal_list FL) 548 548 { 549 int srmax,lrmax;550 549 int olddeg,reduc=0; 551 550 int red_result = 1; 552 srmax = strat->sl; 553 reduc = olddeg = lrmax = 0; 551 reduc = olddeg = 0; 554 552 /* compute------------------------------------------------------- */ 555 553 if ((strat->Ll==-1) && (strat->sl>=0)) … … 560 558 while (strat->Ll >= 0) 561 559 { 562 if (strat->Ll > lrmax) lrmax =strat->Ll;/*stat.*/563 560 if (TEST_OPT_DEBUG) messageSets(strat); 564 561 if (strat->Ll== 0) strat->interpt=TRUE; … … 711 708 } 712 709 kTest_TS(n); 713 if (n->sl>srmax) srmax = n->sl;714 715 710 /* construct D */ 716 711 if (IDELEMS(fac)>1) … … 888 883 } 889 884 exitBuchMora(strat); 890 if (TEST_OPT_PROT) { PrintLn(); messageStat( srmax,lrmax,0,strat); }885 if (TEST_OPT_PROT) { PrintLn(); messageStat(0,strat); } 891 886 if (Q!=NULL) updateResult(strat->Shdl,Q,strat); 892 887 return (strat->Shdl); -
kernel/kutil.cc
r31f1850 r930ea8 4766 4766 *statistics 4767 4767 */ 4768 void messageStat (int srmax,int lrmax,inthilbcount,kStrategy strat)4768 void messageStat (int hilbcount,kStrategy strat) 4769 4769 { 4770 4770 //PrintS("\nUsage/Allocation of temporary storage:\n"); … … 5532 5532 } 5533 5533 if (strat->kHEdgeFound) 5534 newHEdge(strat ->S,strat);5534 newHEdge(strat); 5535 5535 } 5536 5536 } … … 5743 5743 } 5744 5744 5745 void initHilbCrit(ideal F, ideal Q, intvec **hilb,kStrategy strat)5745 void initHilbCrit(ideal/*F*/, ideal /*Q*/, intvec **hilb,kStrategy strat) 5746 5746 { 5747 5747 if (strat->homog!=isHomog) … … 6134 6134 } 6135 6135 #endif 6136 poly p;6137 6136 if (currRing->OrdSgn == 1) 6138 6137 strat->S[i] = redtailBba(&L, end_pos, strat, withT); … … 6218 6217 * returns TRUE, if pNoether has changed 6219 6218 */ 6220 BOOLEAN newHEdge( polyset S,kStrategy strat)6219 BOOLEAN newHEdge(kStrategy strat) 6221 6220 { 6222 6221 int i,j; -
kernel/kutil.h
r31f1850 r930ea8 441 441 void pairs (); 442 442 void message (int i,int* reduc,int* olddeg,kStrategy strat,int red_result); 443 void messageStat (int srmax,int lrmax,inthilbcount,kStrategy strat);443 void messageStat (int hilbcount,kStrategy strat); 444 444 #ifdef KDEBUG 445 445 void messageSets (kStrategy strat); … … 467 467 void chainCritNormal (poly p,int ecart,kStrategy strat); 468 468 BOOLEAN homogTest(polyset F, int Fmax); 469 BOOLEAN newHEdge( polyset S,kStrategy strat);469 BOOLEAN newHEdge(kStrategy strat); 470 470 // returns index of p in TSet, or -1 if not found 471 471 int kFindInT(poly p, TSet T, int tlength); -
kernel/sca.cc
r31f1850 r930ea8 149 149 #endif 150 150 151 int srmax, lrmax;152 151 int olddeg, reduc; 153 152 int red_result = 1; … … 168 167 strat->posInT=posInT110; // !!! 169 168 170 srmax = strat->sl; 171 reduc = olddeg = lrmax = 0; 169 reduc = olddeg = 0; 172 170 173 171 … … 180 178 ) 181 179 { 182 if (strat->Ll > lrmax) lrmax =strat->Ll;// stat.183 184 180 #ifdef KDEBUG 185 181 if (TEST_OPT_DEBUG) messageSets(strat); … … 235 231 236 232 addLObject(strat->P, strat); 237 238 if (strat->sl > srmax) srmax = strat->sl;239 233 240 234 const poly save = strat->P.p; … … 307 301 // h.p = save; 308 302 // addLObject(h, strat); 309 310 // if (strat->sl > srmax) srmax = strat->sl;311 303 } 312 304 … … 340 332 } 341 333 342 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);334 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 343 335 344 336 if (tempQ!=NULL) updateResult(strat->Shdl,tempQ,strat); … … 436 428 #endif 437 429 438 int srmax, lrmax,red_result = 1;430 int red_result = 1; 439 431 int olddeg, reduc; 440 432 … … 458 450 // if (strat->minim>0) strat->M = idInit(IDELEMS(F),F->rank); 459 451 460 srmax = strat->sl; 461 reduc = olddeg = lrmax = 0; 452 reduc = olddeg = 0; 462 453 463 454 #define NO_BUCKETS … … 548 539 while (strat->Ll >= 0) 549 540 { 550 if (strat->Ll > lrmax) lrmax =strat->Ll;// stat.551 552 541 #ifdef KDEBUG 553 542 // loop_count++; … … 693 682 if (strat->P.lcm!=NULL) pLmFree(strat->P.lcm); 694 683 695 if (strat->sl>srmax) srmax = strat->sl;696 697 684 // ////////////////////////////////////////////////////////// 698 685 // SCA: … … 836 823 } 837 824 838 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);825 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 839 826 840 827 … … 969 956 970 957 971 int srmax = strat->sl;972 int lrmax = strat->Ll;973 958 int olddeg = 0; 974 959 int reduc = 0; … … 1036 1021 1037 1022 enterL(&strat->L,&strat->Ll,&strat->Lmax,h,pos); 1038 1039 if (strat->Ll>lrmax) lrmax = strat->Ll;1040 1023 } 1041 1024 } … … 1052 1035 sca_mora_loop_count++; 1053 1036 #endif 1054 if (lrmax< strat->Ll) lrmax=strat->Ll; // stat1055 1037 //test_int_std(strat->kIdeal); 1056 1038 #ifdef KDEBUG … … 1145 1127 strat->P.lcm=NULL; 1146 1128 1147 if (strat->sl>srmax) srmax = strat->sl; // stat.1148 if (strat->Ll>lrmax) lrmax = strat->Ll;1149 1150 1151 1152 1129 // ////////////////////////////////////////////////////////// 1153 1130 // SCA: … … 1186 1163 1187 1164 enterL(&strat->L,&strat->Ll,&strat->Lmax,h,pos); 1188 1189 if (strat->Ll>lrmax) lrmax = strat->Ll;1190 1165 } 1191 1166 … … 1231 1206 pDelete(&strat->kNoether); 1232 1207 omFreeSize((ADDRESS)strat->NotUsedAxis,(pVariables+1)*sizeof(BOOLEAN)); 1233 if (TEST_OPT_PROT) messageStat( srmax,lrmax,hilbcount,strat);1208 if (TEST_OPT_PROT) messageStat(hilbcount,strat); 1234 1209 if (TEST_OPT_WEIGHTM) 1235 1210 {
Note: See TracChangeset
for help on using the changeset viewer.