This algebra system makes extensive use of OCaml modules and functors, which give a nice representation of abtract algebraic types : groups, rings, fields, algebras...
It currently implements :
- polynomials (mono- and multivariate).
- linear structures such as matrices and vectors.
- structures such as fraction fields or quotient.
- as well as common structures like Z, Q...
Copyright (C) 2015 G. Endignoux
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program. If not, see www.gnu.org/licenses/gpl-3.0.txt.