| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Sat, 11 Oct 2025 09:12:13 +0100 | |
| changeset 1008 | eeeba9f76201 |
| 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 |
} |