| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Sun, 04 Oct 2020 12:30:24 +0100 | |
| changeset 771 | eb5eb8f11e1e | 
| 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 | } |