noiioiu/nimbers - Change 2MUXDVSCTYM5RSSP47X2PG7WGCDEUFVGTEG3PJ73PMDPIILUZCYAC

Nimbers in haskell.

Define subtraction as xor

Created by noiioiu on April 25, 2024

2MUXDVSCTYM5RSSP47X2PG7WGCDEUFVGTEG3PJ73PMDPIILUZCYAC

Dependencies

In channels

main

Change contents

Replacement in src/Data/Nimber.hs at line 55 [4.880]
∅:D[3.258] → [4.3082:3094]
∅:D[5.801] → [4.3082:3094]
B:BD[4.3082] → [4.3082:3094]
```
  (-) = (+)
```
[5.801]
[6.49]
```
  (-) = xor
```

Replacement in src/Data/Nimber.hs at line 114 [4.880]

B:BD[2.2764] → [2.2764:2823]

              semiD = bit (bit k - 1) -- semimultiple of D

[2.2764]

[2.2823]

              semiD = bit $ bit k - 1 -- semimultiple of D