lib:computational-algebra

Modules

• Algebra.Algorithms.Groebner
• Algebra.Algorithms.Groebner.Monomorphic
• Algebra.Internal
• Algebra.Ring.Noetherian
• Algebra.Ring.Polynomial
• Algebra.Ring.Polynomial.Monomorphic
• Algebra.Ring.Polynomial.Parser

Dependencies

• algebra lib:algebra >=3 && <4
• base lib:base >=2.0 && <5
• containers lib:containers >=0.4 && <0.6
• equational-reasoning lib:equational-reasoning >=0.0 && <0.1
• heaps lib:heaps >=0.2 && <0.3
• lens lib:lens >=3 && <4
• monad-loops lib:monad-loops >=0.3 && <0.5
• monomorphic lib:monomorphic >=0.0 && <0.1
• peggy lib:peggy >=0.3 && <0.4
• singletons lib:singletons >=0.8
• sized-vector lib:sized-vector >=0.0 && <0.1
• tagged lib:tagged >=0.4 && <1
• type-natural lib:type-natural >=0.0.2.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• computational-algebra bench:elimination-bench
• computational-algebra bench:monomial-order-bench
• computational-algebra bench:normal-bench
• computational-algebra bench:quotient-bench-randomized
• computational-algebra bench:unipol-bench