| author | Christian Urban <urbanc@in.tum.de> | 
| Wed, 24 Oct 2018 16:03:07 +0100 | |
| changeset 586 | 9cb8dfcb7f30 | 
| parent 409 | fb8ee3f58d19 | 
| permissions | -rw-r--r-- | 
| 
409
 
fb8ee3f58d19
added
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
def collatz(n: BigInt) : Boolean = n match {
 | 
| 
 
fb8ee3f58d19
added
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
2  | 
case n if (n == 1) => true  | 
| 
 
fb8ee3f58d19
added
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
case n if (n % 2 == 0) => collatz(n / 2)  | 
| 
 
fb8ee3f58d19
added
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
case _ => collatz(3 * n + 1)  | 
| 
 
fb8ee3f58d19
added
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
}  |