Changeset d08ed8 in git
- Timestamp:
- Dec 15, 2010, 5:15:51 PM (12 years ago)
- Branches:
- (u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
- Children:
- c9b1d66821cf49994be567b2b83d1dd3d376b5a5
- Parents:
- 6db552749e12238ae3abecb5d2d439963bf140a4
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_gcd_smallp.cc
r6db552 rd08ed8 2967 2967 l.append (random_element); 2968 2968 2969 if (getCharacteristic () > 3 && size (skeleton) < 100 2970 || size (skeleton) < 10) 2969 if (getCharacteristic () > 3 && size (skeleton) < 100) 2971 2970 { 2972 2971 CFArray Monoms; … … 3413 3412 l.append (random_element); 3414 3413 3415 if ((getCharacteristic() > 3 && size (skeleton) < 100) || 3416 size (skeleton) < 10) 3414 if ((getCharacteristic() > 3 && size (skeleton) < 100)) 3417 3415 { 3418 3416 CFArray Monoms;
Note: See TracChangeset
for help on using the changeset viewer.