name: computational-algebra
version: 0.5.0.0
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (C) Hiromi ISHII 2017
maintainer: konn.jinro_at_gmail.com
homepage: https://github.com/konn/computational-algebra
synopsis: Well-kinded computational algebra library, currently supporting Groebner basis.
description:
Dependently-typed computational algebra library for Groebner basis.
category: Math
author: Hiromi ISHII
tested-with: GHC ==8.0.1
extra-source-files:
README.md
examples/*.hs
tests/*.hs
bench/*.hs
share/*.hs
data/conway.txt
source-repository head
type: git
location: git://github.com/konn/computational-algebra.git
flag examples
default: False
library
exposed-modules:
Algebra.Algorithms.ChineseRemainder
Algebra.Algorithms.Groebner
Algebra.Algorithms.PrimeTest
Algebra.Algorithms.ZeroDim
Algebra.Field.AlgebraicReal
Algebra.Field.Finite
Algebra.Field.Galois
Algebra.Instances
Algebra.Internal
Algebra.LinkedMatrix
Algebra.Matrix
Algebra.Normed
Algebra.Prelude
Algebra.Prelude.Core
Algebra.Ring.Ideal
Algebra.Ring.Polynomial
Algebra.Ring.Polynomial.Class
Algebra.Ring.Polynomial.Factorise
Algebra.Ring.Polynomial.Labeled
Algebra.Ring.Polynomial.Monomial
Algebra.Ring.Polynomial.Quotient
Algebra.Ring.Polynomial.Univariate
Algebra.Scalar
build-depends:
template-haskell >=2.11.0.0 && <2.12,
MonadRandom >=0.1 && <0.5,
algebraic-prelude ==0.1.*,
algebra >=4.1 && <4.4,
base >=4 && <4.10,
semigroups >=0.15 && <0.19,
containers ==0.5.*,
convertible ==1.1.*,
constraints >=0.3 && <0.9,
deepseq >=1.3 && <1.5,
equational-reasoning >=0.4.1.1 && <0.5,
hashable >=1.1 && <1.3,
heaps ==0.3.*,
hmatrix >=0.16 && <0.18,
matrix ==0.3.*,
entropy >=0.3.7 && <0.4,
lens >=4.13 && <4.15,
monad-loops ==0.4.*,
dlist >=0.8.0.2 && <0.9,
monomorphic >=0.0.3 && <0.1,
mtl >=2.1 && <2.3,
reflection >=2 && <2.2,
sized ==0.2.*,
tagged >=0.7 && <0.9,
hybrid-vectors >=0.1 && <0.3,
text >=0.11 && <1.3,
type-natural >=0.7.1 && <0.8,
unamb ==0.2.*,
unordered-containers ==0.2.*,
vector >=0.10 && <0.12,
parallel ==3.2.*,
mono-traversable >=0.10 && <1.1,
control-monad-loop ==0.1.*,
primes >=0.2.1 && <0.3,
singletons ==2.2.*,
arithmoi >=0.4.3.0 && <0.5,
ghc-typelits-knownnat >=0.2.2 && <0.3
default-language: Haskell2010
default-extensions: CPP DataKinds PolyKinds GADTs
MultiParamTypeClasses TypeFamilies FlexibleContexts
FlexibleInstances UndecidableInstances NoImplicitPrelude
other-modules:
Algebra.Algorithms.FGLM
Algebra.Field.Galois.Conway
Algebra.Field.Galois.Internal
Algebra.Ring.Polynomial.Internal
ghc-options: -O2 -Wall -Wno-unused-top-binds -fplugin GHC.TypeLits.KnownNat.Solver
executable groebner-prof
main-is: groebner-prof.hs
buildable: False
build-depends:
base >=4.9.0.0 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
deepseq >=1.4.2.0 && <1.5
default-language: Haskell2010
extensions: NoImplicitPrelude
hs-source-dirs: share examples
ghc-options: -Wall -prof -fprof-auto -threaded -O2
executable solve
main-is: solve.hs
buildable: False
build-depends:
semigroups >=0.15.2 && <0.19,
constraints >=0.3 && <0.9,
algebra >=4.1 && <4.4,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
computational-algebra >=0.5.0.0 && <0.6,
random >=1.0 && <1.2,
hmatrix >=0.17.0.2 && <0.18,
matrix ==0.3.*,
sized >=0.2.1.0 && <0.3,
vector >=0.10 && <0.12,
convertible ==1.1.*,
lens >=3.9 && <4.15,
MonadRandom >=0.1 && <0.5
hs-source-dirs: share examples
ghc-options: -caf-all -auto-all -rtsopts -O2 -threaded
executable algebraic
main-is: algebraic.hs
buildable: False
build-depends:
base >=4.9.0.0 && <4.10,
algebraic-prelude >=0.1.0.1 && <0.2,
computational-algebra >=0.5.0.0 && <0.6
default-language: Haskell2010
hs-source-dirs: examples
ghc-options: -Wall -O2 -threaded
executable ipsolve
main-is: ipsolve.hs
buildable: False
build-depends:
semigroups >=0.15.2 && <0.19,
parallel ==3.2.*,
constraints >=0.3 && <0.9,
algebra >=4.1 && <4.4,
equational-reasoning >=0.2 && <0.5,
reflection >=1.4 && <2.2,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
computational-algebra >=0.5.0.0 && <0.6,
random >=1.0 && <1.2,
hmatrix >=0.17.0.2 && <0.18,
matrix ==0.3.*,
sized >=0.2.1.0 && <0.3,
vector >=0.10 && <0.12,
convertible ==1.1.*,
lens >=3.9 && <4.15,
MonadRandom >=0.1 && <0.5,
singletons ==2.2.*
hs-source-dirs: share examples
ghc-options: -caf-all -auto-all -rtsopts -O2 -threaded
executable faugere-prof
main-is: faugere-prof.hs
buildable: False
build-depends:
criterion >=0.8.1.0 && <1.2,
semigroups >=0.15.2 && <0.19,
constraints >=0.3 && <0.9,
algebra ==4.3.*,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
computational-algebra >=0.5.0.0 && <0.6,
random >=1.0 && <1.2,
hmatrix >=0.17.0.2 && <0.18,
matrix ==0.3.*,
sized >=0.2.1.0 && <0.3,
vector >=0.10 && <0.12,
convertible ==1.1.*,
lens >=3.9 && <4.15,
deepseq >=1.3 && <1.5,
MonadRandom >=0.1 && <0.5
hs-source-dirs: share examples
ghc-options: -caf-all -auto-all -rtsopts -O2 -threaded
executable hensel-prof
main-is: hensel-prof.hs
buildable: False
build-depends:
criterion >=0.8.1.0 && <1.2,
semigroups >=0.15.2 && <0.19,
constraints >=0.3 && <0.9,
algebra ==4.3.*,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
computational-algebra >=0.5.0.0 && <0.6,
random >=1.0 && <1.2,
hmatrix >=0.17.0.2 && <0.18,
matrix ==0.3.*,
sized >=0.2.1.0 && <0.3,
vector >=0.10 && <0.12,
convertible ==1.1.*,
lens >=3.9 && <4.15,
deepseq >=1.3 && <1.5,
MonadRandom >=0.1 && <0.5
hs-source-dirs: share examples
ghc-options: -caf-all -auto-all -rtsopts -O2 -threaded -eventlog
executable sandpit-poly
main-is: sandpit-poly.hs
buildable: False
build-depends:
semigroups >=0.15.2 && <0.19,
constraints >=0.3 && <0.9,
computational-algebra >=0.5.0.0 && <0.6,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
algebra ==4.3.*,
sized >=0.2.1.0 && <0.3
hs-source-dirs: share examples
executable quotient
main-is: quotient.hs
buildable: False
build-depends:
semigroups >=0.15.2 && <0.19,
constraints >=0.3 && <0.9,
computational-algebra >=0.5.0.0 && <0.6,
base >=4 && <4.10,
type-natural >=0.7.1.2 && <0.8,
algebra ==4.3.*,
sized >=0.2.1.0 && <0.3,
reflection >=2.1.2 && <2.2
hs-source-dirs: share examples
test-suite test-multi-table
type: exitcode-stdio-1.0
main-is: multi-table.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.2.5.2 && <1.4,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
hspec >=1.9.5 && <2.3,
lazysmallcheck ==0.6.*,
lens >=3.9 && <4.15,
quickcheck-instances >=0.3.8 && <0.4,
reflection >=1.4 && <2.2,
sized >=0.2.1.0 && <0.3,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.0.3 && <0.9,
test-framework-hunit >=0.3.0.1 && <0.4,
transformers >=0.3 && <0.6,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5
hs-source-dirs: tests share
other-modules:
Utils
ghc-options: -Wall -threaded
test-suite singular-test
type: exitcode-stdio-1.0
main-is: SingularTest.hs
buildable: False
build-depends:
algebra ==4.3.*,
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
monomorphic >=0.0.3 && <0.1,
smallcheck >=1.1.1 && <1.2,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
quickcheck-instances >=0.3.8 && <0.4,
type-natural >=0.7.1.2 && <0.8,
sized >=0.2.1.0 && <0.3,
reflection >=2.1.2 && <2.2,
tagged >=0.8.5 && <0.9,
lens ==4.14.*,
matrix >=0.3.5.0 && <0.4,
text >=1.2.2.1 && <1.3,
singletons ==2.2.*
hs-source-dirs: tests share
other-modules:
Utils
SingularBridge
ghc-options: -Wall -threaded
test-suite monomial-order-test
type: exitcode-stdio-1.0
main-is: monomials.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
monomorphic >=0.0.3 && <0.1,
smallcheck >=1.1.1 && <1.2,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
sized >=0.2.1.0 && <0.3
hs-source-dirs: tests share
other-modules:
Utils
ghc-options: -Wall -threaded
test-suite linear-test
type: exitcode-stdio-1.0
main-is: linear.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
sized >=0.2.1.0 && <0.3,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: tests share
other-modules:
Utils
ghc-options: -Wall -threaded
test-suite matrix-test
type: exitcode-stdio-1.0
main-is: matrix.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
sized >=0.2.1.0 && <0.3,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*,
equational-reasoning >=0.2 && <0.5
hs-source-dirs: tests share
other-modules:
Utils
ghc-options: -Wall -threaded
test-suite specs
type: exitcode-stdio-1.0
main-is: Spec.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
sized >=0.2.1.0 && <0.3,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
convertible >=1.1.1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
process >=1.1 && <1.5,
text >=0.11 && <1.3,
singletons ==2.2.*,
matrix ==0.3.*
hs-source-dirs: tests share
other-modules:
Utils
UnivariateSpec
GroebnerSpec
ZeroDimSpec
QuotientSpec
PolynomialSpec
SingularBridge
ghc-options: -Wall -threaded
test-suite new-div-test
type: exitcode-stdio-1.0
main-is: division.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: tests share
other-modules:
Utils
ghc-options: -Wall -threaded
benchmark unipol-bench
type: exitcode-stdio-1.0
main-is: unipol-bench.hs
build-depends:
constraints >=0.3 && <0.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
parallel ==3.2.*,
process >=1.1 && <1.5,
singletons ==2.2.*,
sized >=0.2.1.0 && <0.3,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*
hs-source-dirs: bench share
ghc-options: -O2 -threaded -rtsopts
benchmark normal-bench
type: exitcode-stdio-1.0
main-is: bench.hs
build-depends:
constraints >=0.3 && <0.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
parallel ==3.2.*,
process >=1.1 && <1.5,
singletons ==2.2.*,
sized >=0.2.1.0 && <0.3,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
SingularBench
ghc-options: -O2 -threaded -rtsopts
benchmark elimination-bench
type: exitcode-stdio-1.0
main-is: elimination-bench.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
parallel ==3.2.*,
process >=1.1 && <1.5,
singletons ==2.2.*,
sized >=0.2.1.0 && <0.3,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
SingularBench
ghc-options: -O2 -threaded -rtsopts
benchmark quotient-bench-randomized
type: exitcode-stdio-1.0
main-is: quotient-bench-randomized.hs
build-depends:
constraints >=0.3 && <0.9,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
lens >=3.9 && <4.15,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
singletons ==2.2.*,
smallcheck >=1.1.1 && <1.2,
sized >=0.2.1.0 && <0.3,
tagged >=0.7 && <0.9,
transformers >=0.3 && <0.6,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*,
equational-reasoning >=0.2 && <0.5,
monomorphic >=0.0.3 && <0.1
hs-source-dirs: bench share
other-modules:
SingularBench
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark monomial-order-bench
type: exitcode-stdio-1.0
main-is: monomials.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
random >=1.0 && <1.2,
reflection >=1.4 && <2.2,
singletons ==2.2.*,
sized >=0.2.1.0 && <0.3,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
transformers >=0.3 && <0.6,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
SingularBench
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark linear-bench
type: exitcode-stdio-1.0
main-is: linear.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
sized >=0.2.1.0 && <0.3,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*,
monomorphic >=0.0.3 && <0.1
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark division-bench
type: exitcode-stdio-1.0
main-is: division.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
sized >=0.2.1.0 && <0.3,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*,
monomorphic >=0.0.3 && <0.1
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark sugar-paper-bench
type: exitcode-stdio-1.0
main-is: sugar-paper.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*,
monomorphic >=0.0.3 && <0.1
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark solve-bench
type: exitcode-stdio-1.0
main-is: solve.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
random >=1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -O2 -threaded -rtsopts
benchmark coercion-bench
type: exitcode-stdio-1.0
main-is: coercion.hs
buildable: False
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
MonadRandom >=0.1 && <0.5,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
random >=1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -Wall -O2 -threaded -rtsopts
benchmark faugere4-bench
type: exitcode-stdio-1.0
main-is: faugere4.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
random >=1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -Wall -O2 -threaded -rtsopts
benchmark unipol-mult-bench
type: exitcode-stdio-1.0
main-is: unipol-mult.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
random >=1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -Wall -O2 -threaded -rtsopts
benchmark unipol-div-bench
type: exitcode-stdio-1.0
main-is: unipol-div.hs
build-depends:
constraints >=0.3 && <0.9,
HUnit >=1.3.1.2 && <1.4,
sized >=0.2.1.0 && <0.3,
QuickCheck >=2.6 && <2.9,
algebra ==4.3.*,
base >=4 && <4.10,
computational-algebra >=0.5.0.0 && <0.6,
containers ==0.5.*,
criterion >=0.8.1.0 && <1.2,
deepseq >=1.3 && <1.5,
hspec >=2.2.4 && <2.3,
lens >=3.9 && <4.15,
monomorphic >=0.0.3 && <0.1,
parallel ==3.2.*,
process >=1.1 && <1.5,
quickcheck-instances >=0.3.12 && <0.4,
reflection >=1.4 && <2.2,
smallcheck >=1.1.1 && <1.2,
tagged >=0.7 && <0.9,
test-framework >=0.8.1.1 && <0.9,
test-framework-hunit >=0.3.0.2 && <0.4,
type-natural >=0.7.1.2 && <0.8,
vector >=0.10 && <0.12,
random >=1.0 && <1.2,
equational-reasoning >=0.2 && <0.5,
matrix ==0.3.*
hs-source-dirs: bench share
other-modules:
Utils
ghc-options: -Wall -O2 -threaded -rtsopts