noiioiu/nimbers - Change IKAX7QBJIVJZSXXD6I6UBMPEVPEH3QFNEYGWJKQWMV64IV5U664QC

Use infix operators for shifts

Created by noiioiu on April 25, 2024

IKAX7QBJIVJZSXXD6I6UBMPEVPEH3QFNEYGWJKQWMV64IV5U664QC

Dependencies

In channels

main

Change contents

Replacement in src/Data/Nimber.hs at line 31 [4.880]
B:BD[3.703] → [3.703:744]
```
floorLog n = 1 + floorLog (n `shiftR` 1)
```
[5.186]
[4.2740]
```
floorLog n = 1 + floorLog (n .>>. 1)
```

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

B:BD[5.359] → [5.359:517]

      s1 = a `shiftR` bit m -- a = a1D+a2
      s2 = a .^. (s1 `shiftL` bit m)
      t1 = b `shiftR` bit m -- b = b1D+b2
      t2 = b .^. (t1 `shiftL` bit m)

[5.359]

[5.517]

      s1 = a .>>. bit m -- a = a1D+a2
      s2 = a .^. (s1 .<<. bit m)
      t1 = b .>>. bit m -- b = b1D+b2
      t2 = b .^. (t1 .<<. bit m)

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

B:BD[5.547] → [5.547:658]

   in ((mult' (m - 1) (s1 + s2) (t1 + t2) - c) `shiftL` bit m) + mult' (m - 1) (mult' (m - 1) s1 t1) semiD + c

[5.547]

[5.658]

   in ((mult' (m - 1) (s1 + s2) (t1 + t2) - c) .<<. bit m) + mult' (m - 1) (mult' (m - 1) s1 t1) semiD + c

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

B:BD[5.729] → [5.729:796]

  let a = n `shiftR` bit m -- n = aD+b
      aD = a `shiftL` bit m

[5.729]

[5.796]

  let a = n .>>. bit m -- n = aD+b
      aD = a .<<. bit m

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

B:BD[2.38] → [2.38:104]

   in a2 `shiftL` bit m + mult' (m - 1) a2 semiD + sqr' (m - 1) b

[2.38]

[5.964]

   in a2 .<<. bit m + mult' (m - 1) a2 semiD + sqr' (m - 1) b

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

B:BD[6.2327] → [6.2327:2410]

          let a = l `shiftR` bit k -- n = aD+b
              aD = a `shiftL` bit k

[6.2327]

[6.2410]

          let a = l .>>. bit k -- n = aD+b
              aD = a .<<. bit k

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

B:BD[6.2654] → [6.2654:2737]

          let a = l `shiftR` bit k -- n = aD+b
              aD = a `shiftL` bit k

[6.2654]

[6.2737]

          let a = l .>>. bit k -- n = aD+b
              aD = a .<<. bit k

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

B:BD[6.2861] → [5.1307:1404]

           in sqrta `shiftL` bit k + mult' (k - 1) sqrta (sqrt' (k - 1) semiD) + sqrt' (k - 1) b

[6.2861]

[6.2935]

           in sqrta .<<. bit k + mult' (k - 1) sqrta (sqrt' (k - 1) semiD) + sqrt' (k - 1) b