├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── _tags ├── install └── ocaml.sh ├── src ├── Common.ml ├── Common.mli ├── Errors.ml ├── Expression.ml ├── Expression.mli ├── GCD.ml ├── GCD.mli ├── Misc.ml ├── Misc.mli ├── Test.ml ├── Test.mli ├── linear │ ├── ArrayMatrix.ml │ ├── ArrayMatrix.mli │ ├── DiagonalMatrix.ml │ ├── DiagonalMatrix.mli │ ├── Matrix.mli │ ├── Vector.ml │ └── Vector.mli ├── main.ml ├── poly │ ├── ListPolynomial.ml │ ├── ListPolynomial.mli │ ├── MultiPower.ml │ ├── MultiPower.mli │ ├── MultivarPolynomial.ml │ ├── MultivarPolynomial.mli │ ├── Polynomial.mli │ ├── SparsePolynomial.ml │ └── SparsePolynomial.mli └── structures │ ├── Algebra.mli │ ├── EuclidianRing.mli │ ├── Field.mli │ ├── Fractional.ml │ ├── Fractional.mli │ ├── Group.mli │ ├── Quotient.ml │ ├── Quotient.mli │ ├── Ring.mli │ └── VectorSpace.mli └── test ├── TestCommon.ml ├── TestFractional.ml ├── TestMatrix.ml ├── TestMisc.ml ├── TestMultiPower.ml ├── TestPolynomial.ml ├── TestVector.ml ├── linear └── TestSquaredMatrix.ml ├── poly └── TestPolynomialFunctions.ml ├── structures ├── TestAlgebra.ml ├── TestEuclidianRing.ml ├── TestField.ml ├── TestGroup.ml ├── TestRing.ml └── TestVectorSpace.ml └── unit.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | *.native 3 | 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/_tags -------------------------------------------------------------------------------- /install/ocaml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/install/ocaml.sh -------------------------------------------------------------------------------- /src/Common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Common.ml -------------------------------------------------------------------------------- /src/Common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Common.mli -------------------------------------------------------------------------------- /src/Errors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Errors.ml -------------------------------------------------------------------------------- /src/Expression.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Expression.ml -------------------------------------------------------------------------------- /src/Expression.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Expression.mli -------------------------------------------------------------------------------- /src/GCD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/GCD.ml -------------------------------------------------------------------------------- /src/GCD.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/GCD.mli -------------------------------------------------------------------------------- /src/Misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Misc.ml -------------------------------------------------------------------------------- /src/Misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Misc.mli -------------------------------------------------------------------------------- /src/Test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Test.ml -------------------------------------------------------------------------------- /src/Test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/Test.mli -------------------------------------------------------------------------------- /src/linear/ArrayMatrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/ArrayMatrix.ml -------------------------------------------------------------------------------- /src/linear/ArrayMatrix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/ArrayMatrix.mli -------------------------------------------------------------------------------- /src/linear/DiagonalMatrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/DiagonalMatrix.ml -------------------------------------------------------------------------------- /src/linear/DiagonalMatrix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/DiagonalMatrix.mli -------------------------------------------------------------------------------- /src/linear/Matrix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/Matrix.mli -------------------------------------------------------------------------------- /src/linear/Vector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/Vector.ml -------------------------------------------------------------------------------- /src/linear/Vector.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/linear/Vector.mli -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/poly/ListPolynomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/ListPolynomial.ml -------------------------------------------------------------------------------- /src/poly/ListPolynomial.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/ListPolynomial.mli -------------------------------------------------------------------------------- /src/poly/MultiPower.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/MultiPower.ml -------------------------------------------------------------------------------- /src/poly/MultiPower.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/MultiPower.mli -------------------------------------------------------------------------------- /src/poly/MultivarPolynomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/MultivarPolynomial.ml -------------------------------------------------------------------------------- /src/poly/MultivarPolynomial.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/MultivarPolynomial.mli -------------------------------------------------------------------------------- /src/poly/Polynomial.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/Polynomial.mli -------------------------------------------------------------------------------- /src/poly/SparsePolynomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/SparsePolynomial.ml -------------------------------------------------------------------------------- /src/poly/SparsePolynomial.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/poly/SparsePolynomial.mli -------------------------------------------------------------------------------- /src/structures/Algebra.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Algebra.mli -------------------------------------------------------------------------------- /src/structures/EuclidianRing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/EuclidianRing.mli -------------------------------------------------------------------------------- /src/structures/Field.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Field.mli -------------------------------------------------------------------------------- /src/structures/Fractional.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Fractional.ml -------------------------------------------------------------------------------- /src/structures/Fractional.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Fractional.mli -------------------------------------------------------------------------------- /src/structures/Group.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Group.mli -------------------------------------------------------------------------------- /src/structures/Quotient.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Quotient.ml -------------------------------------------------------------------------------- /src/structures/Quotient.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Quotient.mli -------------------------------------------------------------------------------- /src/structures/Ring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/Ring.mli -------------------------------------------------------------------------------- /src/structures/VectorSpace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/src/structures/VectorSpace.mli -------------------------------------------------------------------------------- /test/TestCommon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestCommon.ml -------------------------------------------------------------------------------- /test/TestFractional.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestFractional.ml -------------------------------------------------------------------------------- /test/TestMatrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestMatrix.ml -------------------------------------------------------------------------------- /test/TestMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestMisc.ml -------------------------------------------------------------------------------- /test/TestMultiPower.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestMultiPower.ml -------------------------------------------------------------------------------- /test/TestPolynomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestPolynomial.ml -------------------------------------------------------------------------------- /test/TestVector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/TestVector.ml -------------------------------------------------------------------------------- /test/linear/TestSquaredMatrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/linear/TestSquaredMatrix.ml -------------------------------------------------------------------------------- /test/poly/TestPolynomialFunctions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/poly/TestPolynomialFunctions.ml -------------------------------------------------------------------------------- /test/structures/TestAlgebra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestAlgebra.ml -------------------------------------------------------------------------------- /test/structures/TestEuclidianRing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestEuclidianRing.ml -------------------------------------------------------------------------------- /test/structures/TestField.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestField.ml -------------------------------------------------------------------------------- /test/structures/TestGroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestGroup.ml -------------------------------------------------------------------------------- /test/structures/TestRing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestRing.ml -------------------------------------------------------------------------------- /test/structures/TestVectorSpace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/structures/TestVectorSpace.ml -------------------------------------------------------------------------------- /test/unit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gendx/ocaml-algebra/HEAD/test/unit.ml --------------------------------------------------------------------------------