noiioiu/nimbers - Change 7IBKFG3D35V2UV3JTGM36ZYCF5H3VTLNHAQT24VYKMXQFEJ247IQC

Nimbers in haskell.

Define signum so that abs x * signum x = x

Created by noiioiu on April 25, 2024

7IBKFG3D35V2UV3JTGM36ZYCF5H3VTLNHAQT24VYKMXQFEJ247IQC

Dependencies

In channels

main

Change contents

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

B:BD[2.507] → [2.507:605]

--  @'abs'@ and @'signum'@ don't really make sense for nimbers.  They are defined as @'id'@ here.

[2.507]

[4.2741]

--  @'abs'@ and @'signum'@ don't really make sense for nimbers.

Replacement in src/Data/Nimber.hs at line 61 [4.880]
B:BD[4.3753] → [4.3753:3767]
```
  signum = id
```
[4.3753]
[3.738]
```
  signum 0 = 0
  signum _ = 1
```