@hackage / computational-algebra

Well-kinded computational algebra library, currently supporting Groebner basis.

Latest0.5.1.0

Dependencies

library:computational-algebra (42 dependencies)

@hackage / algebra Constructive abstract algebra
- Version: >=4.1 && <4.4
- License: BSD-3-Clause
@hackage / arithmoi Efficient basic number-theoretic functions.
- Version: >=0.5 && <0.7
- License: MIT
@hackage / unamb Unambiguous choice
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4.13 && <4.16
- License: BSD-2-Clause
@hackage / reflection Reifies arbitrary terms into types that can be reflected back into terms
- Version: >=2 && <2.2
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version: >=0.5 && <0.6
- License: BSD-2-Clause
@hackage / type-natural Type-level natural and proofs of their properties.
- Version: >=0.7.1 && <0.8
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.3 && <0.10
- License: BSD-2-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.3
- License: BSD-3-Clause
@hackage / equational-reasoning Proof assistant for Haskell using DataKinds & PolyKinds
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.3 && <1.5
- License: BSD-3-Clause
@hackage / semigroups Anything that associates
- Version: >=0.15 && <0.19
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.1 && <1.3
- License: BSD-3-Clause
@hackage / sized Sized sequence data-types
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / hybrid-vectors Hybrid vectors e.g. Mixed Boxed/Unboxed vectors
- Version: >=0.1 && <0.3
- License: BSD-3-Clause
@hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
- Version: >=0.3.1 && <0.4
- License: BSD-2-Clause
@hackage / monomorphic Library to convert polymorphic datatypes to/from its monomorphic represetation
- Version: >=0.0.3 && <0.1
- License: BSD-3-Clause
@hackage / hmatrix Numeric Linear Algebra
- Version: >=0.16 && <0.19
- License: BSD-3-Clause
@hackage / parallel Parallel programming library
- Version: >=3.2 && <3.3
- License: BSD-3-Clause
@hackage / convertible Typeclasses and instances for converting between types
- Version: >=1.1 && <1.2
- License: BSD-3-Clause
@hackage / algebraic-prelude Algebraically structured Prelude
- Version: >=0.1.1.0 && <0.2
- License: BSD-3-Clause
@hackage / vector-algorithms Efficient algorithms for vector arrays
- Version: >=0.7.0.1 && <0.8
- License: BSD-3-Clause
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.7 && <0.9
- License: BSD-3-Clause
@hackage / entropy A platform independent entropy source
- Version: >=0.3.8 && <0.4
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / singletons Basic singleton types and definitions
- Version: >=2.2 && <2.4
- License: BSD-3-Clause
@hackage / dlist Difference lists
- Version: >=0.8 && <0.9
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <4.11
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.10 && <2.13
- License: BSD-3-Clause
@hackage / integer-logarithms Integer logarithms.
- Version: >=1.0 && <1.1
- License: MIT
@hackage / control-monad-loop Simple monad transformer for imperative-style loops
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / ghc-typelits-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers.
- Version: >=0.1.1.1 && <0.2
- License: BSD-3-Clause
@hackage / mono-traversable Type classes for mapping, folding, and traversing monomorphic containers
- Version: >=0.10 && <1.1
- License: MIT
@hackage / vector Efficient Arrays
- Version: >=0.10 && <0.13
- License: BSD-3-Clause
@hackage / matrix A native implementation of matrix operations.
- Version: >=0.3 && <0.4
- License: MIT
@hackage / heaps Asymptotically optimal Brodal/Okasaki heaps.
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / ListLike Generalized support for list-like structures
- Version: >=4.5 && <4.6
- License: BSD-3-Clause
@hackage / monad-loops Monadic loops
- Version: >=0.4 && <0.5
- License: LicenseRef-PublicDomain
@hackage / primes Efficient, purely functional generation of prime numbers
- Version: >=0.2.1 && <0.3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=0.11 && <1.3
- License: BSD-2-Clause
@hackage / MonadRandom Random-number generation monad.
- Version: >=0.1 && <0.6
- License: BSD-3-Clause

executable:algebraic (3 dependencies)

executable:solve (14 dependencies)

executable:groebner-prof (3 dependencies)

executable:hensel-prof (16 dependencies)

executable:ipsolve (18 dependencies)

executable:sandpit-poly (7 dependencies)

executable:quotient (8 dependencies)

test:test-multi-table (21 dependencies)

test:specs (27 dependencies)

test:singular-test (25 dependencies)

test:new-div-test (22 dependencies)

test:monomial-order-test (16 dependencies)

test:matrix-test (23 dependencies)

test:linear-test (23 dependencies)

benchmark:monomial-order-bench (23 dependencies)

benchmark:normal-bench (14 dependencies)

benchmark:quotient-bench-randomized (23 dependencies)

benchmark:linear-bench (26 dependencies)

benchmark:elimination-bench (14 dependencies)

benchmark:solve-bench (27 dependencies)

benchmark:division-bench (26 dependencies)

benchmark:sugar-paper-bench (26 dependencies)

benchmark:coercion-bench (27 dependencies)

benchmark:unipol-bench (14 dependencies)

benchmark:unipol-div-bench (26 dependencies)

benchmark:unipol-mult-bench (26 dependencies)