Changeset c536ff in git
- Timestamp:
- Jul 14, 2010, 9:05:31 PM (13 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 29c5bddc7323e57463888d471da9ef0f6645cb2e
- Parents:
- 88d14b7d46c76c6ce16898bf0d69c053c043c1a2
- Location:
- kernel
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/kstd1.cc
r88d14b rc536ff 1360 1360 { 1361 1361 if ((TEST_OPT_FINDET) 1362 || ((TEST_OPT_MULTBOUND) && (scMult0Int((strat->Shdl)) < mu)))1362 || ((TEST_OPT_MULTBOUND) && (scMult0Int((strat->Shdl)) < Kstd1_mu))) 1363 1363 { 1364 1364 // obachman: is this still used ??? -
kernel/kstd1.h
r88d14b rc536ff 36 36 //extern int syzComp; 37 37 /*stop building pairs after that component --> ideals.cc, syz.cc */ 38 extern int LazyPass,LazyDegree,mu,Kstd1_deg; 39 #define Kstd1_mu mu 38 extern int LazyPass,LazyDegree,Kstd1_mu,Kstd1_deg; 40 39 /*parameters for Lazy or global stops --> ipshell.cc, grammar.y*/ 41 40 extern BITSET kOptions; -
kernel/kutil.cc
r88d14b rc536ff 217 217 int HCord; 218 218 int Kstd1_deg; 219 int mu=32000;219 int Kstd1_mu=32000; 220 220 221 221 /*2
Note: See TracChangeset
for help on using the changeset viewer.