diff options
| author | Marvin Borner | 2023-02-24 16:52:27 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-24 16:53:38 +0100 |
| commit | 4d482c44df180625a64e34019abf7796399038b0 (patch) | |
| tree | a27f9d26f28d5ca843993e6f19891c28f6dcf0f4 /std/Number | |
| parent | c6b97c4c0b8624f13034e7160b7992f94dd37cc0 (diff) | |
Added more string/char functions
Diffstat (limited to 'std/Number')
| -rw-r--r-- | std/Number/Binary.bruijn | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn index ec62e60..2d36c5f 100644 --- a/std/Number/Binary.bruijn +++ b/std/Number/Binary.bruijn @@ -4,6 +4,7 @@ :import std/Combinator . :import std/List . :import std/Logic . +:import std/Number/Ternary T # bit indicating a one, compatible with std/Logic b¹ true ⧗ Bit @@ -180,6 +181,16 @@ dec [~(0 z a¹ a⁰)] ⧗ Binary → Binary :test (--(+1b)) ([[[0 2]]]) :test (--(+3b)) ((+2b)) +# converts a binary number to a balanced ternary number +# TODO: find a better solution +ternary! z [[[rec]]] (+0t) ⧗ Binary → Ternary + rec =?0 case-end case-inc + case-inc 2 (T.inc 1) --0 + case-end 1 + +:test (ternary! (+0b)) ((+0t)) +:test (ternary! (+42b)) ((+42t)) + # flips the bits of a binary number (1's complement) complement [[[[3 2 0 1]]]] ⧗ Binary → Binary @@ -242,8 +253,8 @@ sub* [[abs 1 →^0]] ⧗ Binary → Binary → Binary # subs two binary numbers # uses addition but with two's complement # TODO: isn't very performant ⇒ replace with sub* -# TODO: gives wrong results if b>=a in a-b -sub [[-((pad 1 0) + -(pad 0 1))]] ⧗ Binary → Binary → Binary +# TODO: gives wrong results if b>a in a-b +sub [[(0 =? 1) (+0b) -((pad 1 0) + -(pad 0 1))]] ⧗ Binary → Binary → Binary …-… sub |