lib:computational-algebra
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
Dependencies
- ListLike lib:ListLike >=4.5 && <4.6
- MonadRandom lib:MonadRandom >=0.1 && <0.6
- algebra lib:algebra >=4.1 && <4.4
- algebraic-prelude lib:algebraic-prelude >=0.1.1.0 && <0.2
- arithmoi lib:arithmoi >=0.5 && <0.7
- base lib:base >=4 && <4.11
- constraints lib:constraints >=0.3 && <0.10
- containers lib:containers >=0.5 && <0.6
- control-monad-loop lib:control-monad-loop >=0.1 && <0.2
- convertible lib:convertible >=1.1 && <1.2
- deepseq lib:deepseq >=1.3 && <1.5
- dlist lib:dlist >=0.8 && <0.9
- entropy lib:entropy >=0.3.8 && <0.4
- equational-reasoning lib:equational-reasoning >=0.4 && <0.6
- ghc-typelits-knownnat lib:ghc-typelits-knownnat >=0.3.1 && <0.4
- ghc-typelits-natnormalise lib:ghc-typelits-natnormalise >=0.5 && <0.6
- ghc-typelits-presburger lib:ghc-typelits-presburger >=0.1.1.1 && <0.2
- hashable lib:hashable >=1.1 && <1.3
- heaps lib:heaps >=0.3 && <0.4
- hmatrix lib:hmatrix >=0.16 && <0.19
- hybrid-vectors lib:hybrid-vectors (>=0.1 && <0.3) && >=0.1 && <0.3
- integer-logarithms lib:integer-logarithms >=1.0 && <1.1
- lens lib:lens >=4.13 && <4.16
- matrix lib:matrix >=0.3 && <0.4
- monad-loops lib:monad-loops >=0.4 && <0.5
- mono-traversable lib:mono-traversable >=0.10 && <1.1
- monomorphic lib:monomorphic >=0.0.3 && <0.1
- mtl lib:mtl >=2.1 && <2.3
- parallel lib:parallel >=3.2 && <3.3
- primes lib:primes >=0.2.1 && <0.3
- reflection lib:reflection >=2 && <2.2
- semigroups lib:semigroups >=0.15 && <0.19
- singletons lib:singletons >=2.2 && <2.4
- sized lib:sized >=0.2 && <0.3
- tagged lib:tagged >=0.7 && <0.9
- template-haskell lib:template-haskell >=2.10 && <2.13
- text lib:text >=0.11 && <1.3
- type-natural lib:type-natural >=0.7.1 && <0.8
- unamb lib:unamb >=0.2 && <0.3
- unordered-containers lib:unordered-containers >=0.2 && <0.3
- vector lib:vector >=0.10 && <0.13
- vector-algorithms lib:vector-algorithms >=0.7.0.1 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- computational-algebra bench:coercion-bench
- computational-algebra bench:division-bench
- computational-algebra bench:elimination-bench
- computational-algebra bench:faugere4-bench
- computational-algebra bench:linear-bench
- computational-algebra bench:monomial-order-bench
- computational-algebra bench:normal-bench
- computational-algebra bench:quotient-bench-randomized
- computational-algebra bench:solve-bench
- computational-algebra bench:sugar-paper-bench
- computational-algebra bench:unipol-bench
- computational-algebra bench:unipol-div-bench
- computational-algebra bench:unipol-mult-bench
- computational-algebra exe:algebraic
- computational-algebra exe:faugere-prof
- computational-algebra exe:groebner-prof
- computational-algebra exe:hensel-prof
- computational-algebra exe:ipsolve
- computational-algebra exe:quotient
- computational-algebra exe:sandpit-poly
- computational-algebra exe:solve
- computational-algebra test:linear-test
- computational-algebra test:matrix-test
- computational-algebra test:monomial-order-test
- computational-algebra test:new-div-test
- computational-algebra test:singular-test
- computational-algebra test:specs
- computational-algebra test:test-multi-table