summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/calculation/README
blob: 9198b89096e23b3016bd3240939f457ecb4d6f17 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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