| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Tue, 07 Oct 2025 16:20:30 +0100 | |
| changeset 1001 | a039af69b12e |
| 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 |
} |