blob: b2f36314af1988d5ad544f980d5eb8754220acfb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# MIT License, Copyright (c) 2023 Marvin Borner
# this is just a reference to the ternary implementation
# read the wiki for the reasoning of using balanced ternary by default
:import std/List .
:input std/Number/Ternary
# the following functions are only here because of recursive imports of list/ternary
# converts number to list of its digits
number→list [=?0 {}(+0) (z [[rec]] 0)] ⧗ Number → (List Number)
rec =?0 case-end case-rec
case-rec (1 (0 / (+10))) ; (0 % (+10))
case-end empty
:test (number→list (+0)) ({}(+0))
# converts a list of digits into a balanced ternary number
list→number foldl [[(+10) ⋅ 1 + 0]] (+0) ⧗ (List Number) → Number
:test (list→number ((+4) : ((+2) : {}(+0)))) ((+420))
:test (list→number empty) ((+0))
|
