From 1645f61d859685e3bd807f1db9782d2be4df0f49 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 17 Nov 2012 09:32:01 -0800 Subject: [PATCH] added READMEs Signed-off-by: Leonardo de Moura --- src/math/euclid/README | 2 ++ src/math/interval/README | 2 ++ src/math/polynomial/README | 3 +++ 3 files changed, 7 insertions(+) create mode 100644 src/math/euclid/README create mode 100644 src/math/interval/README create mode 100644 src/math/polynomial/README diff --git a/src/math/euclid/README b/src/math/euclid/README new file mode 100644 index 000000000..7235cd76f --- /dev/null +++ b/src/math/euclid/README @@ -0,0 +1,2 @@ +Basic Euclidean solver for linear integer equations. +This solver generates "explanations". \ No newline at end of file diff --git a/src/math/interval/README b/src/math/interval/README new file mode 100644 index 000000000..75aa2e9c6 --- /dev/null +++ b/src/math/interval/README @@ -0,0 +1,2 @@ +Template for interval arithmetic. The template can be instantiated using different numeral (integers/mpz, rationals/mpq, floating-point/mpf, etc) packages. +The class im_default_config defines a default configuration for the template that uses rationals. It also shows what is the expected signature used by the template. \ No newline at end of file diff --git a/src/math/polynomial/README b/src/math/polynomial/README new file mode 100644 index 000000000..5d079eea0 --- /dev/null +++ b/src/math/polynomial/README @@ -0,0 +1,3 @@ +Polynomial manipulation package. +It contains support for univariate (upolynomial.*) and multivariate polynomials (polynomial.*). +Multivariate polynomial factorization does not work yet (polynomial_factorization.*), and it is disabled. \ No newline at end of file