summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/calculation
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-01-06 23:22:46 +0000
committerKarl Berry <karl@freefriends.org>2015-01-06 23:22:46 +0000
commitd9c7d6c59e9daf56e5fda7f969e0d6e90146d8d3 (patch)
tree1c7385a2d5d9a7361f28143ed167416874d0f043 /Master/texmf-dist/doc/latex/calculation
parentdef4d95ae5f2fcdf35c809ed0abe570d03e3c639 (diff)
calculation (6jan15)
git-svn-id: svn://tug.org/texlive/trunk@35973 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/calculation')
-rw-r--r--Master/texmf-dist/doc/latex/calculation/README35
-rw-r--r--Master/texmf-dist/doc/latex/calculation/calculation.pdfbin0 -> 111192 bytes
2 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/calculation/README b/Master/texmf-dist/doc/latex/calculation/README
new file mode 100644
index 00000000000..9198b89096e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/calculation/README
@@ -0,0 +1,35 @@
+The "calculation" environment formats reasoned calculations,
+also called calculational proofs.
+ The notion of reasoned calculations or calculational proofs
+was originally advocated by Wim Feijen and Edsger Dijkstra.
+The "calculation" package accepts options "fleqn" and "leqno" (with
+the same effect as LaTeX options "fleqn" and "leqno", and inherits
+these from the document class), it allows steps and expressions to be
+numbered (by LaTeX equation numbers, obeying the LaTeX "\label"
+command to refer to these numbers), and a step doesn't take vertical
+space if its hint is empty. An expression in a calculation can be
+given a comment; it is placed at the side opposite to the equation
+numbers. Calculations are allowed inside hints although numbering
+and commenting is then disabled.
+
+In its simplest form, the LaTeX source looks like this:
+
+ \begin{calculation}
+ EXPRESSION
+ \step{HINT}
+ EXPRESSION
+ \step{HINT}
+ EXPRESSION
+ \end{calculation}
+
+Each "HINT" is normal text, each "EXPRESSION" is mathematical text.
+Depending on various parameters, the output is more or less like this:
+
+ EXPRESSION
+ = { HINT }
+ EXPRESSION
+ = { HINT }
+ EXPRESSION
+
+This material is subject to the LaTeX Project Public License:
+http://www.ctan.org/license/lppl1.3
diff --git a/Master/texmf-dist/doc/latex/calculation/calculation.pdf b/Master/texmf-dist/doc/latex/calculation/calculation.pdf
new file mode 100644
index 00000000000..2617eb8386d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/calculation/calculation.pdf
Binary files differ