{"header":{"message":"Use infix operators for shifts","description":null,"timestamp":"2024-04-26T02:04:07Z","authors":[{"email":"noiioiu@cocaine.ninja","name":"noiioiu"}]},"hash":"IKAX7QBJIVJZSXXD6I6UBMPEVPEH3QFNEYGWJKQWMV64IV5U664QC","authors":[],"deps":{"hashes":[["IKAX7QBJIVJZSXXD6I6UBMPEVPEH3QFNEYGWJKQWMV64IV5U664QC","Use infix operators for shifts"],["AA",null],["E6Q5N4UCYKSFJ4YYFRPLOUASOIARTLT2ZU2JJXM3TFP4FICDGAOAC","Remove case from floorLog"],["2Q7SZHYMAFCYLG5MROYQ4BJ7HDIASPLIZJP7SM7BNX4GESUCZXJQC","Add squaring function"],["VZUEVF2UF4O2S3SFZKSV45QBUMQQ5GVNQMYYFU5PXPFX344P7W3QC","Use fewer additions in recip"],["XL3UEJW5ODILLWT37VFOTWJG5J4YV4MTODD5BTREEC7ZFSYXQHZQC","Update documentation"],["O6UAIBEXBNE2XMWQWU6YKGGRLDQFI364JMV6HCYCCI3LBQRD6RPQC","Define square roots of nimbers"],["MCBWM3FBZPTBMBJM4QISAX45C2D75QGHWXPLAYMN3EXJJ2CV4ASAC","Rewrite some functions to avoid recomputing log^2."],["G25ET6HXYNPM2HJ2L76TGOLVV2LBDA3CIWCAN6SL2WKNTUG56RDQC","Use sqr function in definition of recip"],["PMF36FUOINXVVNP5XW6ZOFPPWFBRK62O4VCX45NE4Y4GDPL2Z3BQC","Represent nimbers as natural numbers instead of sets of sets"],["TF6PK6JDRLBRDRJVI7M4RWSJG5NK6SAMSYINXD6ZGSE7DL4ILTMAC","Avoid recomputing log^2"],["VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC","Initial commit"]],"deps":["E6Q5N4UCYKSFJ4YYFRPLOUASOIARTLT2ZU2JJXM3TFP4FICDGAOAC"],"known":["VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC","PMF36FUOINXVVNP5XW6ZOFPPWFBRK62O4VCX45NE4Y4GDPL2Z3BQC","O6UAIBEXBNE2XMWQWU6YKGGRLDQFI364JMV6HCYCCI3LBQRD6RPQC","2Q7SZHYMAFCYLG5MROYQ4BJ7HDIASPLIZJP7SM7BNX4GESUCZXJQC","G25ET6HXYNPM2HJ2L76TGOLVV2LBDA3CIWCAN6SL2WKNTUG56RDQC","MCBWM3FBZPTBMBJM4QISAX45C2D75QGHWXPLAYMN3EXJJ2CV4ASAC","XL3UEJW5ODILLWT37VFOTWJG5J4YV4MTODD5BTREEC7ZFSYXQHZQC","TF6PK6JDRLBRDRJVI7M4RWSJG5NK6SAMSYINXD6ZGSE7DL4ILTMAC","VZUEVF2UF4O2S3SFZKSV45QBUMQQ5GVNQMYYFU5PXPFX344P7W3QC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":31,"ins":{"up_context":[{"change":3,"pos":186}],"down_context":[{"change":3,"pos":2740}],"flag":"BLOCK","start":5,"end":42,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":703},"to":{"change":3,"start":703,"end":744},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":"floorLog n = 1 + floorLog (n .>>. 1)"}],"del_contents":[{"Del":"floorLog n = 1 + floorLog (n `shiftR` 1)\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":40,"ins":{"up_context":[{"change":3,"pos":359}],"down_context":[{"change":3,"pos":517}],"flag":"BLOCK","start":43,"end":185,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":359},"to":{"change":3,"start":359,"end":517},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" s1 = a .>>. bit m -- a = a1D+a2"},{"Add":" s2 = a .^. (s1 .<<. bit m)"},{"Add":" t1 = b .>>. bit m -- b = b1D+b2"},{"Add":" t2 = b .^. (t1 .<<. bit m)"}],"del_contents":[{"Del":" s1 = a `shiftR` bit m -- a = a1D+a2\n s2 = a .^. (s1 `shiftL` bit m)\n t1 = b `shiftR` bit m -- b = b1D+b2\n t2 = b .^. (t1 `shiftL` bit m)\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":45,"ins":{"up_context":[{"change":3,"pos":547}],"down_context":[{"change":3,"pos":658}],"flag":"BLOCK","start":186,"end":293,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":547},"to":{"change":3,"start":547,"end":658},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" in ((mult' (m - 1) (s1 + s2) (t1 + t2) - c) .<<. bit m) + mult' (m - 1) (mult' (m - 1) s1 t1) semiD + c"}],"del_contents":[{"Del":" in ((mult' (m - 1) (s1 + s2) (t1 + t2) - c) `shiftL` bit m) + mult' (m - 1) (mult' (m - 1) s1 t1) semiD + c\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":67,"ins":{"up_context":[{"change":3,"pos":729}],"down_context":[{"change":3,"pos":796}],"flag":"BLOCK","start":294,"end":353,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":729},"to":{"change":3,"start":729,"end":796},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" let a = n .>>. bit m -- n = aD+b"},{"Add":" aD = a .<<. bit m"}],"del_contents":[{"Del":" let a = n `shiftR` bit m -- n = aD+b\n aD = a `shiftL` bit m\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":72,"ins":{"up_context":[{"change":2,"pos":38}],"down_context":[{"change":3,"pos":964}],"flag":"BLOCK","start":354,"end":416,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":38},"to":{"change":2,"start":38,"end":104},"introduced_by":2}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" in a2 .<<. bit m + mult' (m - 1) a2 semiD + sqr' (m - 1) b"}],"del_contents":[{"Del":" in a2 `shiftL` bit m + mult' (m - 1) a2 semiD + sqr' (m - 1) b\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":96,"ins":{"up_context":[{"change":3,"pos":2327}],"down_context":[{"change":3,"pos":2410}],"flag":"BLOCK","start":417,"end":492,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2327},"to":{"change":3,"start":2327,"end":2410},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" let a = l .>>. bit k -- n = aD+b"},{"Add":" aD = a .<<. bit k"}],"del_contents":[{"Del":" let a = l `shiftR` bit k -- n = aD+b\n aD = a `shiftL` bit k\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":110,"ins":{"up_context":[{"change":3,"pos":2654}],"down_context":[{"change":3,"pos":2737}],"flag":"BLOCK","start":493,"end":568,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2654},"to":{"change":3,"start":2654,"end":2737},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" let a = l .>>. bit k -- n = aD+b"},{"Add":" aD = a .<<. bit k"}],"del_contents":[{"Del":" let a = l `shiftR` bit k -- n = aD+b\n aD = a `shiftL` bit k\n"}]}},{"Replacement":{"inode":{"change":3,"pos":880},"path":"src/Data/Nimber.hs","line":115,"ins":{"up_context":[{"change":3,"pos":2861}],"down_context":[{"change":3,"pos":2935}],"flag":"BLOCK","start":569,"end":662,"inode":{"change":3,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2861},"to":{"change":3,"start":1307,"end":1404},"introduced_by":3}],"inode":{"change":3,"pos":880}},"ins_contents":[{"Add":" in sqrta .<<. bit k + mult' (k - 1) sqrta (sqrt' (k - 1) semiD) + sqrt' (k - 1) b"}],"del_contents":[{"Del":" in sqrta `shiftL` bit k + mult' (k - 1) sqrta (sqrt' (k - 1) semiD) + sqrt' (k - 1) b\n"}]}}],"owner":"noiioiu","repo":"nimbers","token":"KaeX6U68JvYnCwnJXOkTNTT2+XIiQQSaI6FTdPUA0zQ=","login":null}

…

Dependencies

Change contents