content: module Test.Binary where
  
  import Protolude
  
  import Data.Field.Galois
  import Test.Tasty
  
  import Test.Galois
  
  type F2A = Binary 0x20000000000000000000000000201
  type F2B = Binary 0x80000000000000000000000000000010d
  type F2C = Binary 0x800000000000000000000000000000000000000c9
  type F2D = Binary 0x2000000000000000000000000000000000000000000008001
  type F2E = Binary 0x20000000000000000000000000000000000000004000000000000000001
  type F2F = Binary 0x800000000000000000004000000000000000000000000000000000000001
  type F2G = Binary 0x800000000000000000000000000000000000000000000000000000000000000000010a1
  type F2H = Binary 0x2000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001
  type F2I = Binary 0x80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000425
  
  testBinary :: TestTree
  testBinary = testGroup "Binary fields"
    [ test "F2A" (witness :: F2A)
    , test "F2B" (witness :: F2B)
    , test "F2C" (witness :: F2C)
    , test "F2D" (witness :: F2D)
    , test "F2E" (witness :: F2E)
    , test "F2F" (witness :: F2F)
    , test "F2G" (witness :: F2G)
    , test "F2H" (witness :: F2H)
    , test "F2I" (witness :: F2I)
    ]
  