Changeset b50cc4 in git
- Timestamp:
- May 6, 2024, 11:16:45 AM (13 days ago)
- Branches:
- (u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- b9f50b373314e74e83c7c060a651dd2913e1f033
- Parents:
- a96000c1632727f0f9b2ffd753e4a896bad40ece
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/f5gb.cc
ra96000 rb50cc4 166 166 // NOTE: inside there is a second check of criterion 2 if new rules are 167 167 // added 168 //int timer4 = initTimer();168 //int timer4 = startTimer(); 169 169 //startTimer(); 170 170 //critPairs->print(); … … 206 206 //} 207 207 // reduction process of new S-polynomials and also adds new critical pairs to critPairs 208 //int timer3 = initTimer();208 //int timer3 = startTimer(); 209 209 //startTimer(); 210 210 //sPolyList->print(); … … 1709 1709 poly pOne = pOne(); 1710 1710 do { 1711 //int timer5 = initTimer();1711 //int timer5 = startTimer(); 1712 1712 //startTimer(); 1713 1713 //Print("TOP REDUCTION: "); … … 1905 1905 } 1906 1906 1907 int timer = initTimer();1907 int timer = startTimer(); 1908 1908 startTimer(); 1909 1909 int i,j,k,l;
Note: See TracChangeset
for help on using the changeset viewer.