# calculation – Typesetting reasoned calculations, also called calculational proofs

The cal­cu­la­tion en­vi­ron­ment for­mats rea­soned cal­cu­la­tions, also called cal­cu­la­tional proofs.

The no­tion of rea­soned cal­cu­la­tions or cal­cu­la­tional proofs was orig­i­nally ad­vo­cated by Wim Fei­jen and Eds­ger Di­jk­stra. The pack­age ac­cepts op­tions fleqn and leqno (with the same ef­fect as the op­tions fleqn and leqno, or may in­herit the op­tions from the doc­u­ment class). It al­lows steps and ex­pres­sions to be num­bered (by equa­tion num­bers, obey­ing the \la­bel com­mand to re­fer to these num­bers), and a step doesn't take ver­ti­cal space if its hint is empty. An ex­pres­sion in a cal­cu­la­tion can be given a com­ment; it is placed at the side op­po­site to the equa­tion num­bers. Cal­cu­la­tions are al­lowed in­side hints al­though num­ber­ing and com­ment­ing is then dis­abled.

 Sources /macros/latex/contrib/calculation Doc­u­men­ta­tion READMEPack­age doc­u­men­ta­tion Ver­sion 1.0 Li­censes The LaTeX Project Public Li­cense 1.3 Copy­right 2014–2015 Maarten Fokkinga Main­tainer Maarten Fokkinga Con­tained in TeX Live as cal­cu­la­tionMiKTeX as cal­cu­la­tion Topics ProofMaths

Down­load the con­tents of this pack­age in one zip archive (107.0k).

## An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

## Sugges­tions

Maybe you are in­ter­ested in the fol­low­ing pack­ages as well.

more