The latest version of computational-algebra is 0.5.1.0-1.
computational-algebra
Version 0.5.0.0 revision 0 uploaded by HiromiIshii.
Package meta
- Synopsis
- Well-kinded computational algebra library, currently supporting Groebner basis.
- Description
Dependently-typed computational algebra library for Groebner basis.
- Author
- Hiromi ISHII
- Bug reports
- n/a
- Category
- Math
- Copyright
- (C) Hiromi ISHII 2017
- Homepage
- https://github.com/konn/computational-algebra
- Maintainer
- konn.jinro_at_gmail.com
- Package URL
- n/a
- Stability
- n/a
Components
- lib:computational-algebra
- bench:coercion-bench
- bench:division-bench
- bench:elimination-bench
- bench:faugere4-bench
- bench:linear-bench
- bench:monomial-order-bench
- bench:normal-bench
- bench:quotient-bench-randomized
- bench:solve-bench
- bench:sugar-paper-bench
- bench:unipol-bench
- bench:unipol-div-bench
- bench:unipol-mult-bench
- exe:algebraic
- exe:faugere-prof
- exe:groebner-prof
- exe:hensel-prof
- exe:ipsolve
- exe:quotient
- exe:sandpit-poly
- exe:solve
- test:linear-test
- test:matrix-test
- test:monomial-order-test
- test:new-div-test
- test:singular-test
- test:specs
- test:test-multi-table