diff options
| author | Marvin Borner | 2024-03-02 16:13:20 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-02 16:13:20 +0100 |
| commit | 46cc8f5b0da07d8c7cb354c7b7a281b8d0f3d7bf (patch) | |
| tree | 83bd64ca498117fddf94f9271f1327081b1e0018 /std/Number/Conversion.bruijn | |
| parent | eff903fc61b060b6333cb60bfced95e44da000ba (diff) | |
Several additions to std
Some weren't committed for a year!
Diffstat (limited to 'std/Number/Conversion.bruijn')
| -rw-r--r-- | std/Number/Conversion.bruijn | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/std/Number/Conversion.bruijn b/std/Number/Conversion.bruijn index c79e53f..0057310 100644 --- a/std/Number/Conversion.bruijn +++ b/std/Number/Conversion.bruijn @@ -27,3 +27,13 @@ binary→ternary [y [[[rec]]] [0] 0 (+0t)] ⧗ Binary → Ternary :test (T.eq? (binary→ternary (+0b)) (+0t)) ([[1]]) :test (T.eq? (binary→ternary (+42b)) (+42t)) ([[1]]) + +# converts numbers to binary +# constructs reversed path of composed functions and applies to ternary +ternary→binary [y [[[rec]]] [0] 0 (+0b)] ⧗ Ternary → Binary + rec T.zero? 0 case-end case-rec + case-rec T.odd? 0 (2 (1 ∘ B.inc) (T.dec 0)) (2 (1 ∘ (B.mul (+2b))) (T.div² 0)) + case-end 1 + +:test (B.eq? (ternary→binary (+0t)) (+0b)) ([[1]]) +:test (B.eq? (ternary→binary (+42t)) (+42b)) ([[1]]) |