diff options
Diffstat (limited to 'std/Number')
| -rw-r--r-- | std/Number/Binary.bruijn | 16 | ||||
| -rw-r--r-- | std/Number/Ternary.bruijn | 6 |
2 files changed, 18 insertions, 4 deletions
diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn index c778890..3dc6b18 100644 --- a/std/Number/Binary.bruijn +++ b/std/Number/Binary.bruijn @@ -200,9 +200,9 @@ and! binary! ∘∘ (ψ* zip-with …⋀?… list!) ⧗ Binary → Binary → Bi …⋀!… and! -:test (and! (+1b) (+0b)) ((+0b)) -:test (and! (+5b) (+4b)) ((+4b)) -:test (and! (+10b) (+12b)) ((+8b)) +:test ((+1b) ⋀! (+0b)) ((+0b)) +:test ((+5b) ⋀! (+4b)) ((+4b)) +:test ((+10b) ⋀! (+12b)) ((+8b)) # logical or on two binary numbers # TODO: Fix for numbers with different length (→ zero padding?) @@ -210,11 +210,19 @@ or! binary! ∘∘ (ψ* zip-with …⋁?… list!) ⧗ Binary → Binary → Bin …⋁!… or! -:test (or! (+10b) (+12b)) ((+14b)) +:test ((+10b) ⋁! (+12b)) ((+14b)) # :test (or! (+1b) (+0b)) ((+1b)) # :test (or! (+5b) (+3b)) ((+7b)) +# logical or on two binary numbers +# TODO: Fix for numbers with different length (→ zero padding?) +xor! binary! ∘∘ (ψ* zip-with …^?… list!) ⧗ Binary → Binary → Binary + +…^!… xor! + +:test (((+10b) ^! (+12b)) =? (+6b)) (true) + # adds 1 to a binary number (can introduce leading 0s) inc [~(0 z a¹ a⁰)] ⧗ Binary → Binary z (+0b) : (+1b) diff --git a/std/Number/Ternary.bruijn b/std/Number/Ternary.bruijn index e00bbc5..f4e031d 100644 --- a/std/Number/Ternary.bruijn +++ b/std/Number/Ternary.bruijn @@ -482,3 +482,9 @@ mod ~‣ ∘∘ quot-rem ⧗ Number → Number → Number :test ((-5) % (-3) =? (-2)) (true) :test ((-5) % (+3) =? (+1)) (true) :test ((+5) % (-3) =? (-1)) (true) + +# hash function :) +# (useful for std/Map) +hash [0] ⧗ Number → Number + +#‣ &hash |