# HG changeset patch
# User Eike Welk
# Date 1312027976 7200
# Node ID e4d5ea552d51126325feab8a2e3cec0e2b0d4819
# Parent 00d61fdb2f67081c43c2f1e4972e355f8504ba1b
Some doc polishing.
diff git a/README.rst b/README.rst
 a/README.rst
+++ b/README.rst
@@ 217,10 +217,16 @@
NAry Addition and Multiplication
.................................
+Addition and multiplication are nary, they can have an arbitrary number of
+arguments. ``1 + a + 2 + 3`` and ``1 * a * 2 * 3`` are respectively
+expressed as::
+
+ Add(List(Num(1.0), Sym("a"), Num(2.0), Num(3.0)))
+ Mul(List(Num(1.0), Sym("a"), Num(2.0), Num(3.0)))
+
There are no nodes for subtraction or division. Subtraction is represented
as multiplication with ``1``: (``a = 1 * a``). Division is expressed as a
power of ``1``: (``1/a = a~^(1)``). Addition and multiplication are also
*nary*, they take an arbitrary number of arguments [#maxima]_.
+power of ``1``: (``1/a = a~^(1)``). [#maxima]_.
As there are no subtraction or division operators, ``ax`` and ``a/x`` are
respectively expressed as::
@@ 228,13 +234,6 @@
Add(List(Sym("a"), Mul(List(Num(1.0), Sym("x")))))
Mul(List(Sym("a"), Pow(Sym("x"), Num(1.0))))
Addition and multiplication are nary, they can have an arbitrary number of
arguments. ``1 + a + 2 + 3`` and ``1 * a * 2 * 3`` are respectively
expressed as::

 Add(List(Num(1.0), Sym("a"), Num(2.0), Num(3.0)))
 Mul(List(Num(1.0), Sym("a"), Num(2.0), Num(3.0)))

Let Expressions
................
@@ 325,6 +324,8 @@
let (a:=f, a$x:=diff(f, x)) in diff(g, x)
.. [#maxima] This idea was taken from the computer algebra program *Maxima*, it is intended
 to simplify the algorithms.
+.. [#maxima] The ideas for nary operators (additon, multiplication), and
+ for the ommission of subtraction and division nodes, were taken from the
+ computer algebra program *Maxima*. It is intended to simplify the
+ algorithms.