| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Thu, 13 Jun 2024 13:13:33 +0100 | |
| changeset 488 | 8c007dcf31c4 | 
| parent 469 | ed7a9ea24f71 | 
| permissions | -rw-r--r-- | 
| 469 | 1  | 
|
2  | 
def urbanmain() = {
 | 
|
3  | 
||
4  | 
import C1._  | 
|
| 125 | 5  | 
|
| 469 | 6  | 
assert(collatz_max(10) == (19, 9))  | 
7  | 
assert(collatz_max(100) == (118, 97))  | 
|
8  | 
assert(collatz_max(1000) == (178, 871))  | 
|
9  | 
assert(collatz_max(10000) == (261, 6171))  | 
|
10  | 
assert(collatz_max(100000) == (350, 77031))  | 
|
11  | 
assert(collatz_max(1000000) == (524, 837799))  | 
|
12  | 
}  |