Optimisation around polynomial implementations

halg-core-test/halg-core-test.cabal

@@ -4,7 +4,7 @@ cabal-version: 1.12
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 9e31175e35b0b93f2f915aa2ec9fcd5a447c3a05722120d942aa470640d42279
+-- hash: 2775958dc78ed62c1a1ec0e22067ce1381c763d699bb7bdd0a3e3095bb179b02
 
 name:           halg-core-test
 version:        0.1.0.0
@@ -53,6 +53,7 @@ library
       Algebra.Field.Finite.Test
       Algebra.Field.Fraction.Test
       Algebra.Field.Prime.Test
+      Algebra.Ring.Euclidean.Quotient.Test
       Algebra.Ring.Ideal.Test
       Algebra.Ring.Polynomial.Monomial.Test
       Algebra.Ring.Polynomial.Test

halg-core-test/src/Algebra/Ring/Euclidean/Quotient/Test.hs

@@ -0,0 +1,14 @@
+{-# LANGUAGE PolyKinds #-}
+
+module Algebra.Ring.Euclidean.Quotient.Test () where
+
+import Algebra.Ring.Euclidean.Quotient
+import AlgebraicPrelude (Euclidean)
+import Data.Reflection
+import Test.QuickCheck
+
+instance
+  (Euclidean a, Arbitrary a, Reifies s a) =>
+  Arbitrary (Quotient s a)
+  where
+  arbitrary = quotient <$> arbitrary

halg-core-test/src/Algebra/TestUtils.hs

@@ -33,10 +33,13 @@ import qualified Test.QuickCheck as QC
 import Test.QuickCheck.Instances ()
 import Prelude (($))
 
-liftSNat :: (forall n. KnownNat (n :: Nat) => SNat n -> Property) -> Natural -> Property
+liftSNat :: (forall n. KnownNat (n :: Nat) => SNat n -> x) -> Natural -> x
 liftSNat f i =
   case toSomeSNat i of
     SomeSNat sn -> withKnownNat sn $ f sn
 
-checkForTypeNat :: [Natural] -> (forall n. KnownNat (n :: Nat) => SNat n -> Property) -> Property
+checkForTypeNat ::
+  [Natural] ->
+  (forall n. KnownNat (n :: Nat) => SNat n -> Property) ->
+  Property
 checkForTypeNat as test = forAll (QC.elements as) $ liftSNat test

halg-core/src/Algebra/Ring/Euclidean/Quotient.hs

@@ -1,4 +1,6 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE PolyKinds #-}

halg-polynomials/halg-polynomials.cabal

@@ -36,6 +36,7 @@ library
       Algebra.Prelude.Core
       Algebra.Ring.Polynomial
       Algebra.Ring.Polynomial.Labeled
+      Algebra.Ring.Polynomial.List
       Algebra.Ring.Polynomial.Quotient
       Algebra.Ring.Polynomial.Univariate
   other-modules:
@@ -74,6 +75,7 @@ library
     , reflection
     , singletons-presburger
     , sized
+    , strict
     , text
     , type-natural
     , unamb
@@ -92,11 +94,13 @@ test-suite halg-polynomials-spec
   type: exitcode-stdio-1.0
   main-is: Spec.hs
   other-modules:
-      GroebnerSpec
-      PolynomialSpec
-      UnivariateSpec
-      QuotientSpec
+      Algebra.Algorithms.GroebnerSpec
+      Algebra.Ring.Polynomial.ListSpec
+      Algebra.Ring.Polynomial.QuotientSpec
+      Algebra.Ring.Polynomial.UnivariateSpec
+      Algebra.Ring.PolynomialSpec
       Utils
+      Paths_halg_polynomials
   hs-source-dirs:
       test
   default-extensions:
@@ -112,6 +116,8 @@ test-suite halg-polynomials-spec
       TypeInType
       UndecidableInstances
   ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
+  build-tool-depends:
+      tasty-discover:tasty-discover
   build-depends:
       QuickCheck
     , algebra
@@ -121,9 +127,11 @@ test-suite halg-polynomials-spec
     , halg-core
     , halg-core-test
     , halg-polynomials
-    , hspec
-    , hspec-discover
     , matrix
     , sized
+    , tasty
+    , tasty-expected-failure
+    , tasty-hunit
+    , tasty-quickcheck
     , vector
   default-language: Haskell2010

halg-polynomials/package.yaml

@@ -58,6 +58,7 @@ library:
   - deepseq
   - equational-reasoning
   - ghc-typelits-knownnat
+  - strict
   - singletons-presburger
   - hashable
   - heaps
@@ -100,23 +101,21 @@ tests:
   halg-polynomials-spec:
     main:                Spec.hs
     source-dirs:         test
-    other-modules:
-    - GroebnerSpec
-    - PolynomialSpec
-    - UnivariateSpec
-    - QuotientSpec
-    - Utils
     ghc-options:
     - -Wall
     - -threaded
     - -rtsopts
     - -with-rtsopts=-N
+    build-tools:
+    - tasty-discover
     dependencies:
     - QuickCheck
     - containers
     - halg-core-test
     - halg-polynomials
-    - hspec
-    - hspec-discover
+    - tasty
+    - tasty-expected-failure
+    - tasty-hunit
+    - tasty-quickcheck
     - matrix
     - vector