[mathic] 13/62: Updated README.md to describe Mathic in more detail.

[Doug Torrance]

This is an automated email from the git hooks/post-receive script.

dtorrance-guest pushed a commit to branch master
in repository mathic.

commit 8cc031568db263d14ccda3e66859d13578ac28d0
Author: Bjarke Hammersholt Roune <bjarkehr.code at gmail.com>
Date:   Tue Jul 10 02:28:58 2012 -0400

    Updated README.md to describe Mathic in more detail.
---
 README.md | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
old mode 100644
new mode 100755
index cbaf6ed..b54afa5
--- a/README.md
+++ b/README.md
@@ -1,4 +1,21 @@
 mathic
 ======
 
-C++ library of symbolic algebra data structures for use in Groebner basis computation.
\ No newline at end of file
+Mathic is a C++ library of fast data structures designed for use in
+Groebner basis computation. This includes data structures for ordering
+S-pairs, performing divisor queries and ordering polynomial terms
+during polynomial reduction.
+
+With Mathic you get to use highly optimized code with little effort so
+that you can focus more of your time on whatever part of your Groebner
+basis implementation that you are interested in. The data structures
+use templates to allow you to use them with whatever representation of
+monomials/terms and coefficients that your code uses. In fact the only
+places where Mathic defines its own monomials/terms is in the test
+code and example code. Currently only dense representations of
+terms/monomials are suitable since Mathic will frequently ask "what is
+the exponent of variable number x in this term/monomial?".
+
+The paper "Practical Grobner Basis Computation" describes the data
+structures from a high level. It was presented at ISSAC 2012 and is
+available at http://arxiv.org/abs/1206.6940

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mathic.git