Added some documentation.

diff --git a/README b/README
new file mode 100644 (file)
index 0000000..e9ca2ff
--- /dev/null
+++ b/README
@@ -0,0 +1,18 @@
+This project contains an implementation of the L D^{-1} U
+decomposition for matrices over integral domains. Included example
+domains are the integers and the polynomials over GF(2). Users can
+freely define their own domains        using the signature in matrix.ml.
+
+The program depends on the Zarith library for handling big integers.
+
+The project uses OASIS as its build tool. Use the commands
+
+    oasis setup
+    ocaml setup.ml -all
+
+in order to compile. This will create an executable file
+
+    test.native
+
+in the top directory.
+

diff --git a/TODO b/TODO
new file mode 100644 (file)
index 0000000..507e8bb
--- /dev/null
+++ b/TODO
@@ -0,0 +1,5 @@
+* Eliminate Tools
+
+  Try to eliminate the dependency on the tools library. Otherwise I
+  would have to publish tools, too.
+