summaryrefslogtreecommitdiff
path: root/examples/hensel-prof.hs
blob: 8e1f3ae0120aa13f06bd8aa319a2130d1176fac1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
{-# LANGUAGE DataKinds #-}
module Main where
import Algebra.Algorithms.Faugere4
import Algebra.LinkedMatrix
import Algebra.Prelude
import Control.Exception           (evaluate)

main :: IO ()
main = do
  _ <- evaluate $ faugere4Modular optimalStrategy (cyclic (sing :: SNat 4))
  return ()

testCase :: Matrix (Fraction Integer)
testCase = fromLists [[0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,1,0,0]
                    ,[0,0,0,0,0,0,1,1,1,0,0,1,0,0,0,1,0,0,0]
                    ,[0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0]
                    ,[0,0,0,0,0,1,0,0,0,0,1,-1,0,-1,1,0,-1,0,0]
                    ,[0,0,0,0,1,1,0,1,0,0,1,0,0,0,1,0,0,0,0]
                    ,[1,1,0,1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0]
                    ,[1,0,1,0,1,0,0,0,0,1,0,1,0,0,0,0,0,0,0]
                    ]