summaryrefslogtreecommitdiff
path: root/examples/hensel-prof.hs
blob: 18db1cb5e145ee6983868105719a040dafc1cc0e (plain)
1
2
3
4
5
6
7
8
9
10
11
{-# LANGUAGE DataKinds, NoImplicitPrelude, OverloadedLabels #-}
module Main where
import Algebra.LinkedMatrix
import Algebra.Prelude
import Algebra.Ring.Polynomial.Factorise
import Control.DeepSeq
import Control.Exception                 (evaluate)

main :: IO ()
main = do
  print =<< factorHensel (#x ^5)