aboutsummaryrefslogtreecommitdiff
path: root/matrix/EltsI.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
commitec812521b31471ce9ac3d9bdf1288b1569defbc8 (patch)
treed384c959b9e9bb2a04141ab56077026fe6e7c7f3 /matrix/EltsI.ml
parent6354358caa1dfbf2fe1d481f6ac5fba3775938fc (diff)
Add svg output
Diffstat (limited to 'matrix/EltsI.ml')
-rwxr-xr-xmatrix/EltsI.ml28
1 files changed, 0 insertions, 28 deletions
diff --git a/matrix/EltsI.ml b/matrix/EltsI.ml
deleted file mode 100755
index fcfdb50..0000000
--- a/matrix/EltsI.ml
+++ /dev/null
@@ -1,28 +0,0 @@
-module type ORDERED_AND_OPERATIONAL =
-sig
-
- (* Exception for from_string. Is raised when from_string is passed something
- * that is not an elt *)
- exception NonElt
-
- type t
-
- (* The zero element *)
- val zero : t
-
- (* The one element *)
- val one: t
-
- (* ts must be comparable *)
- val compare : t -> t -> Order.order
-
- (* Basic mathematical operations must be possible *)
- val add: t -> t -> t
-
- val subtract: t -> t -> t
-
- val multiply: t -> t -> t
-
- val divide: t -> t -> t
-
-end