Prime.hs

module Test.Prime where

import Protolude

import Data.Field.Galois
import Test.Tasty

import Test.Galois

type FS2 = Prime 2
type FS3 = Prime 3
type FS5 = Prime 5
type FS7 = Prime 7

type FM0 = Prime 2147483647
type FM1 = Prime 2305843009213693951
type FM2 = Prime 618970019642690137449562111
type FM3 = Prime 162259276829213363391578010288127
type FM4 = Prime 170141183460469231731687303715884105727

type FVL = Prime 20988936657440586486151264256610222593863921
type FXL = Prime 5210644015679228794060694325390955853335898483908056458352183851018372555735221
type FZL = Prime 741640062627530801524787141901937474059940781097519023905821316144415759504705008092818711693940737

type Fq = Prime 21888242871839275222246405745257275088696311157297823662689037894645226208583

testPrime :: TestTree
testPrime = testGroup "Prime fields"
  [ test "FS2" (witness :: FS2)
  , test "FS3" (witness :: FS3)
  , test "FS5" (witness :: FS5)
  , test "FS7" (witness :: FS7)
  , test "FM0" (witness :: FM0)
  , test "FM1" (witness :: FM1)
  , test "FM2" (witness :: FM2)
  , test "FM3" (witness :: FM3)
  , test "FM4" (witness :: FM4)
  , test "FVL" (witness :: FVL)
  , test "FXL" (witness :: FXL)
  , test "FZL" (witness :: FZL)
  ]