{"header":{"message":"Add Fractional instance and test","description":null,"timestamp":"2024-04-18T14:41:25Z","authors":[{"email":"noiioiu@cocaine.ninja","name":"noiioiu"}]},"hash":"V7A5CRSQQY3WTZFNH73E6J4YOKE7YJMEW2XW7YJTM37UNTWRMZJQC","authors":[],"deps":{"hashes":[["V7A5CRSQQY3WTZFNH73E6J4YOKE7YJMEW2XW7YJTM37UNTWRMZJQC","Add Fractional instance and test"],["AA",null],["VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC","Initial commit"],["ADE3QH6CJXDMZNXCPR7YTFLUHUV6TFP7Z3V7SMKUELP3JVGCACXQC","Add definition of mex operator"],["2JT446RMTHP23QL57CULGRWI7A7ATV7HRV2D5FZ4SULIDU5AD4KAC","Add haddock for Num instance"]],"deps":["VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC"],"known":["ADE3QH6CJXDMZNXCPR7YTFLUHUV6TFP7Z3V7SMKUELP3JVGCACXQC","2JT446RMTHP23QL57CULGRWI7A7ATV7HRV2D5FZ4SULIDU5AD4KAC"]},"hunks":[{"Edit":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":2,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":56}],"down_context":[{"change":2,"pos":56}],"flag":"BLOCK","start":2,"end":3,"inode":{"change":2,"pos":22}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":5,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":82}],"down_context":[{"change":2,"pos":82}],"flag":"BLOCK","start":4,"end":34,"inode":{"change":2,"pos":22}}},"contents":[{"Add":"import Control.Monad (unless)"}]}},{"Edit":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":7,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":97},"to":{"change":2,"start":97,"end":120},"introduced_by":2}],"inode":{"change":2,"pos":22}}},"contents":[{"Del":"import Test.QuickCheck\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":8,"ins":{"up_context":[{"change":2,"pos":153}],"down_context":[{"change":2,"pos":183}],"flag":"BLOCK","start":35,"end":58,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":153},"to":{"change":2,"start":153,"end":183},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"import Test.QuickCheck"}],"del_contents":[{"Del":"import Control.Monad (unless)\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":14,"ins":{"up_context":[{"change":2,"pos":284}],"down_context":[{"change":2,"pos":306}],"flag":"BLOCK","start":59,"end":83,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":284},"to":{"change":2,"start":284,"end":306},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"prop_neg a = a + a == 0"}],"del_contents":[{"Del":"prop_neg a = a+a == 0\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":17,"ins":{"up_context":[{"change":2,"pos":360}],"down_context":[{"change":2,"pos":402}],"flag":"BLOCK","start":84,"end":134,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":360},"to":{"change":2,"start":360,"end":402},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"prop_assoc_add a b c = a + (b + c) == (a + b) + c"}],"del_contents":[{"Del":"prop_assoc_add a b c = a+(b+c) == (a+b)+c\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":20,"ins":{"up_context":[{"change":2,"pos":456}],"down_context":[{"change":2,"pos":498}],"flag":"BLOCK","start":135,"end":185,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":456},"to":{"change":2,"start":456,"end":498},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"prop_assoc_mul a b c = a * (b * c) == (a * b) * c"}],"del_contents":[{"Del":"prop_assoc_mul a b c = a*(b*c) == (a*b)*c\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":23,"ins":{"up_context":[{"change":2,"pos":550}],"down_context":[{"change":2,"pos":590}],"flag":"BLOCK","start":186,"end":302,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":550},"to":{"change":2,"start":550,"end":590},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"prop_distrib a b c = a * (b + c) == a * b + a * c"},{"Add":""},{"Add":"prop_recip :: Nimber -> Bool"},{"Add":"prop_recip a = a == 0 || a / a == 1"}],"del_contents":[{"Del":"prop_distrib a b c = a*(b+c) == a*b+a*c\n"}]}},{"Replacement":{"inode":{"change":2,"pos":22},"path":"test/Main.hs","line":29,"ins":{"up_context":[{"change":2,"pos":605}],"down_context":[],"flag":"BLOCK","start":303,"end":527,"inode":{"change":2,"pos":22}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":605},"to":{"change":2,"start":605,"end":829},"introduced_by":2}],"inode":{"change":2,"pos":22}},"ins_contents":[{"Add":"main = check prop_neg >> check prop_assoc_add >> check prop_assoc_mul >> check prop_distrib >> check prop_recip"},{"Add":" where"},{"Add":" check prop = do"},{"Add":" result <- verboseCheckResult prop"},{"Add":" unless (isSuccess result) exitFailure"}],"del_contents":[{"Del":"main = check prop_neg >> check prop_assoc_add >> check prop_assoc_mul >> check prop_distrib\n where check prop = do result <- verboseCheckResult prop\n unless (isSuccess result) exitFailure\n"}]}},{"Edit":{"inode":{"change":2,"pos":880},"path":"src/Nimbers.hs","line":1,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":880}],"down_context":[{"change":2,"pos":881}],"flag":"BLOCK","start":530,"end":570,"inode":{"change":2,"pos":880}}},"contents":[{"Add":"{-# OPTIONS_GHC -Wno-type-defaults #-}"},{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":880},"path":"src/Nimbers.hs","line":13,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1490}],"down_context":[{"change":2,"pos":1490}],"flag":"BLOCK","start":571,"end":609,"inode":{"change":2,"pos":880}}},"contents":[{"Add":"import Control.Monad"},{"Add":"import Data.Bits"}]}},{"Edit":{"inode":{"change":2,"pos":880},"path":"src/Nimbers.hs","line":16,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1521}],"down_context":[{"change":2,"pos":1521}],"flag":"BLOCK","start":610,"end":686,"inode":{"change":2,"pos":880}}},"contents":[{"Add":"import Data.Vector qualified as V"},{"Add":"import Data.Vector.Mutable qualified as M"}]}},{"Replacement":{"inode":{"change":2,"pos":880},"path":"src/Nimbers.hs","line":19,"ins":{"up_context":[{"change":2,"pos":1522}],"down_context":[{"change":2,"pos":1541}],"flag":"BLOCK","start":687,"end":710,"inode":{"change":2,"pos":880}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1522},"to":{"change":2,"start":1522,"end":1541},"introduced_by":2}],"inode":{"change":2,"pos":880}},"ins_contents":[{"Add":"type Natural = Integer"}],"del_contents":[{"Del":"type Natural = Int\n"}]}},{"Edit":{"inode":{"change":2,"pos":880},"path":"src/Nimbers.hs","line":72,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3767}],"down_context":[{"change":2,"pos":3767}],"flag":"BLOCK","start":711,"end":2158,"inode":{"change":2,"pos":880}}},"contents":[{"Add":""},{"Add":"instance Fractional Nimber where"},{"Add":" fromRational _ = error \"Cannot map from field of characteristic 0 to characteristic 2\""},{"Add":" recip 0 = error \"Divide by zero\""},{"Add":" recip n@Nimber {getNimber = s} ="},{"Add":" let m = 1 + foldl max 0 (S.unions s) -- 2^2^m is the order of the smallest field containing n"},{"Add":" sw i j u v = do"},{"Add":" a <- M.read v i"},{"Add":" b <- M.read v j"},{"Add":" if b `testBit` (2 ^ m - 1 - i)"},{"Add":" then do M.write v i b"},{"Add":" M.write v j a"},{"Add":" a' <- M.read u i"},{"Add":" b' <- M.read u j"},{"Add":" M.write u i b'"},{"Add":" M.write u j a'"},{"Add":" else sw i (j + 1) u v"},{"Add":" pivot :: (Bits a, M.PrimMonad m) => M.MVector (M.PrimState m) a -> M.MVector (M.PrimState m) a -> Int -> m ()"},{"Add":" pivot u v i = do sw i i u v"},{"Add":" p <- M.read u i"},{"Add":" q <- M.read v i"},{"Add":" forM_ [i+1..2^m-1] $ \\j -> do a <- M.read v j"},{"Add":" when (a `testBit` (2^m-1-i)) $ M.modify v (xor q) j >> M.modify u (xor p) j"},{"Add":" r = V.create $"},{"Add":" do"},{"Add":" tab1 <- M.generate (2 ^ m) (2 ^) -- All two-powers less than 2^2^m"},{"Add":" tab2 <- M.generate (2 ^ m) (nimberToNatural . (n *) . fromIntegral . (2 ^)) -- n times all two-powers less than 2^2^m"},{"Add":" forM_ [0..2^m-1] $ pivot tab1 tab2"},{"Add":" pure tab1"},{"Add":" in fromIntegral $ r V.! (2 ^ m - 1)"}]}},{"Edit":{"inode":{"change":2,"pos":4726},"path":"nimbers.cabal","line":73,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":7043}],"down_context":[{"change":2,"pos":7043}],"flag":"BLOCK","start":2160,"end":2190,"inode":{"change":2,"pos":4726}}},"contents":[{"Add":" vector,"}]}}],"owner":"noiioiu","repo":"nimbers","token":"84arriiIwAo17swNKWKQSrY+wQEMXfy+d8qPBXYxX3c=","login":null}

…

Dependencies

Change contents