diff options
| author | Marvin Borner | 2024-02-29 23:28:51 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-29 23:28:51 +0100 |
| commit | fe0de617cddd2dee11758788c5dc9b7a1c8f330a (patch) | |
| tree | 26354608f8b8d1573e6fa593ee92460aa0616884 /std/Number/Binary.bruijn | |
| parent | f3eefd551566cc07232a8c15d8162738bf1f8fec (diff) | |
great changes
you gotta believe me, they're great. they're the best
Diffstat (limited to 'std/Number/Binary.bruijn')
| -rw-r--r-- | std/Number/Binary.bruijn | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn index fac9ba1..648af29 100644 --- a/std/Number/Binary.bruijn +++ b/std/Number/Binary.bruijn @@ -5,7 +5,6 @@ :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 @@ -182,16 +181,6 @@ 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 @@ -263,8 +252,6 @@ sub [[(0 =? 1) (+0b) -((pad 1 0) + -(pad 0 1))]] ⧗ Binary → Binary → Binar :test ((+3b) - (+0b) =? (+3b)) (true) :test ((+3b) - (+2b) =? (+1b)) (true) -# TODO: mul/div - # rshifts least significant bit of a binary number div² [~(0 z a¹ a⁰)] ⧗ Binary → Binary z (+0b) : (+0b) |