| author | Christian Urban <urbanc@in.tum.de> | 
| Fri, 10 Apr 2020 12:11:01 +0100 | |
| changeset 716 | 6a2edc950109 | 
| parent 407 | 4b454a6d1814 | 
| permissions | -rw-r--r-- | 
| 
407
 
4b454a6d1814
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
def collatz(n: BigInt) : Boolean = {
 | 
| 
 
4b454a6d1814
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
2  | 
if (n == 1) true else  | 
| 
 
4b454a6d1814
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
if (n % 2 == 0) collatz(n / 2) else  | 
| 
 
4b454a6d1814
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
collatz(3 * n + 1)  | 
| 
 
4b454a6d1814
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
}  |