https://wiki.contextgarden.net/api.php?action=feedcontributions&user=217.80.120.131&feedformat=atomWiki - User contributions [en]2024-03-29T08:44:50ZUser contributionsMediaWiki 1.34.1https://wiki.contextgarden.net/index.php?title=Math&diff=7229Math2007-01-27T11:20:57Z<p>217.80.120.131: /* Sub-Formula Numbering */ Added vfrac example</p>
<hr />
<div>< [[Main Page]] | [[Math with newmat]] | [[MathML]] | [[Math_structures]]><br />
<br />
== Introduction ==<br />
<br />
TeX was designed for ease of typesetting books that contained mathematics. As ConTeXt is built on top of TeX, it inherits all those features. In addition to these, ConTeXt adds lot of macros to make the typesetting of mathematics easier.<br />
<br />
For typesetting of mathematics follows different rules than that of normal text, TeX uses something called "math mode" where some characters get a different meaning to enable a simple syntax for complicated formulas.<br />
<br />
==Simple Math==<br />
<br />
Typesetting mathematics can be divided into two parts, '''inline''' math (mathematical formulas set within ordinary paragraphs as part of the text) and '''display''' math mathematics set on lines by themselves, often with equation numbers). Inline math consists of maths that is typed in a sentence. For example<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=13cm]<br />
Pythagoras formula, stating \mathematics{a^2 + b^2 = c^2} was one of the first trigonometric results<br />
</context><br />
<br />
There are two ways of typing inline math. The TeX way is to surround what you want to type within <code>$</code>...<code>$</code>. Thus, the above will be typed as<br />
<texcode><br />
Pythagoras formula, stating $a^2 + b^2 = c^2$ was one of the first trigonometric results<br />
</texcode><br />
<br />
ConTeXt also provides an alternative way of typing the same result. Instead of dollars, you can write the material for maths inside <cmd>mathematics</cmd> or <cmd>math</cmd> (which is shorter). Thus, an alternate way to type the above is,<br />
<texcode><br />
Pythagoras formula, stating \mathematics{a^2 + b^2 = c^2} was one of the first trigonometric results<br />
</texcode><br />
<br />
Choose the method that suits your style.<br />
<br />
Display math is enclosed in a <cmd>startformula</cmd> / <cmd>stopformula</cmd> pair. Thus <br />
<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
The famous result (once more) is given by<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
</texcode><br />
</td><td><br />
This, when typeset, produces the following:<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
The famous result (once more) is given by<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
== Numbering Formulae ==<br />
<br />
ConTeXt provides an easy way to number the display maths equations. Simply, put <cmd>placeformula</cmd> before <cmd>startformula</cmd> / <cmd>stopformula</cmd> pair and you will get numbered equations. Thus,<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
The famous result (once more) is given by<br />
\placeformula<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
</texcode><br />
</td><td><br />
This, when typeset, produces the following:<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
The famous result (once more) is given by<br />
\placeformula<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
The <cmd>placeformula</cmd> command is optional, and produces the equation number; leaving it off produces an unnumbered equation.<br />
<br />
=== Changing format of numbers ===<br />
You can use <cmd>setupformulas</cmd> to change the format of numbers. For example to get bold numbers inside square brackets use<br />
<br />
<table width="100%" cols="2" cellpadding="5"><tr valign="top"><td width="50%"><br />
<texcode><br />
\setupformulas[left={[},right={]},numberstyle=bold]<br />
</texcode><br />
</td><br />
<br />
<td>which gives<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
\setupformulas[left={[},right={]},numberstyle=bold]<br />
The famous result (once more) is given by<br />
\placeformula<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
To get alphabets instead of numbers, use<br />
<table width="100%" cols="2" cellpadding="5"><tr valign="top"><td width="50%"><br />
<texcode><br />
\setupformulas[conversion=Character]<br />
</texcode><br />
</td><br />
<td>which gives<br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
\setupformulas[conversion=Character]<br />
\placeformula<br />
\startformula<br />
c^2 = a^2 + b^2<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
=== Referencing formulae ===<br />
Equations can be referred to by simply adding a label to <cmd>placeformula</cmd> and using <cmd>ref</cmd> to create the reference:<br />
<br />
<table width="100%" cols="2" cellpadding="5"><tr valign="top"><td width="50%"><br />
<texcode><br />
The famous result (and again) is given by<br />
\placeformula[formulalabel]<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
And now we can refer to formula \ref[formulalabel].<br />
</texcode><br />
</td><td><br />
This, when typeset, produces the following:<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
The famous result (once more) is given by<br />
\placeformula[formulalabel]<br />
\startformula<br />
c^2 = a^2 + b^2.<br />
\stopformula<br />
% number is added manually because otherwise only '??' appears:<br />
And now we can refer to formula 1.<br />
</context><br />
</td></tr></table><br />
<br />
By default, only the formula number appears as a reference. This can be changed by using <cmd>definereferenceformat</cmd>. For example, to create a command <code>\eqref</code> which shows the formula number in brackets, use<br />
<texcode><br />
\definereferenceformat[eqref][left=(,right=)]<br />
</texcode><br />
See [[References]] for more examples of <cmd>definereferenceformat</cmd>.<br />
<br />
== Not so Simple Maths ==<br />
<br />
ConTeXt's base mathematics support is built on the mathematics support in plain TeX, thus allowing quite complicated formulas. (There are also some additional macros, such as the <cmd>text</cmd> command for text-mode notes within math.) For instance:<br />
<texcode><br />
A more complicated equation:<br />
\placeformula<br />
\startformula<br />
{{\theta_{\text{\CONTEXT}}}^2 \over x+2}<br />
= \pmatrix{a_{11}&a_{12}&\ldots&a_{1n}\cr<br />
a_{21}&a_{22}&\ldots&a_{2n}\cr<br />
\vdots&\vdots&\ddots&\vdots\cr<br />
a_{n1}&a_{n2}&\ldots&a_{nn}\cr}<br />
\pmatrix{b_1 \cr b_2 \cr \vdots \cr b_n}<br />
+ \sum_{j=1}^\infty z^j<br />
\left( \sum_{\scriptstyle n=1 \atop \scriptstyle n \ne j}^\infty Z_j^n \right)<br />
\stopformula<br />
</texcode><br />
<br />
which produces<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=13cm]<br />
A more complicated equation:<br />
\placeformula<br />
\startformula<br />
{{\theta_{\text{\CONTEXT}}}^2 \over x+2}<br />
= \pmatrix{a_{11}&a_{12}&\ldots&a_{1n}\cr<br />
a_{21}&a_{22}&\ldots&a_{2n}\cr<br />
\vdots&\vdots&\ddots&\vdots\cr<br />
a_{n1}&a_{n2}&\ldots&a_{nn}\cr}<br />
\pmatrix{b_1 \cr b_2 \cr \vdots \cr b_n}<br />
+ \sum_{j=1}^\infty z^j<br />
\left( \sum_{\scriptstyle n=1 \atop \scriptstyle n \ne j}^\infty Z_j^n \right)<br />
\stopformula<br />
</context><br />
<br />
Context provides a wrapper around tex <cmd>pmatrix</cmd>. The above can be typeset in a contextish way as<br />
<texcode><br />
A more complicated equation:<br />
\definemathmatrix[pmatrix][left={\left(\,},right={\,\right)}]<br />
\placeformula<br />
\startformula<br />
{{\theta_{\text{\CONTEXT}}}^2 \over x+2}<br />
= \startpmatrix<br />
\NC a_{11} \NC a_{12} \NC \ldots \NC a_{1n} \NR<br />
\NC a_{21} \NC a_{22} \NC \ldots \NC a_{2n} \NR<br />
\NC \vdots \NC \vdots \NC \ddots \NC \vdots \NR<br />
\NC a_{n1} \NC a_{n2} \NC \ldots \NC a_{nn} \NR<br />
\stoppmatrix<br />
\startpmatrix b_1 \NR b_2 \NR \vdots \NR b_n \NR \stoppmatrix<br />
+ \sum_{j=1}^\infty z^j<br />
\left( \sum_{\scriptstyle n = 1 \atop \scriptstyle n \ne j}^\infty Z_j^n \right)<br />
\stopformula<br />
</texcode><br />
<context><br />
\setuplayout[scale=0.8,width=13cm]<br />
A more complicated equation:<br />
\definemathmatrix[pmatrix][left={\left(\,},right={\,\right)}]<br />
\placeformula<br />
\startformula<br />
{{\theta_{\text{\CONTEXT}}}^2 \over x+2}<br />
= \startpmatrix<br />
\NC a_{11} \NC a_{12} \NC \ldots \NC a_{1n} \NR<br />
\NC a_{21} \NC a_{22} \NC \ldots \NC a_{2n} \NR<br />
\NC \vdots \NC \vdots \NC \ddots \NC \vdots \NR<br />
\NC a_{n1} \NC a_{n2} \NC \ldots \NC a_{nn} \NR<br />
\stoppmatrix<br />
\startpmatrix b_1 \NR b_2 \NR \vdots \NR b_n \NR \stoppmatrix<br />
+ \sum_{j=1}^\infty z^j<br />
\left( \sum_{\scriptstyle n = 1 \atop \scriptstyle n \ne j}^\infty Z_j^n \right)<br />
\stopformula<br />
</context><br />
<br />
[http://www.pragma-ade.com/texmath.html Here] you can try it "live" (you must go to [http://www.pragma-ade.com/exalogin login] first).<br />
<br />
[[Equation alignment]] is covered on a separate page.<br />
<br />
==Sub-Formula Numbering==<br />
<br />
As mentioned above, formulas can be numbered using the <cmd>placeformula</cmd> command. This (and the related <cmd>placesubformula</cmd> command have an optional argument which can be used to produce sub-formula numbering. For example:<br />
<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
Examples:<br />
\placeformula{a}<br />
\startformula<br />
c^2 = a^2 + b^2<br />
\stopformula<br />
<br />
\placesubformula{b}<br />
\startformula<br />
c^2 = a^2 + b^2<br />
\stopformula<br />
</texcode><br />
</td><td><br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
Examples:<br />
\placeformula{a}<br />
\startformula<br />
c^2 = a^2 + b^2<br />
\stopformula<br />
<br />
\placesubformula{b}<br />
\startformula<br />
c^2 = a^2 + b^2<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
What's going on here is simpler than it might appear at first glance. Both <cmd>placeformula</cmd> and <cmd>placesubformula</cmd> produce equation numbers with the optional tag added at the end; the sole difference is that the former increments the equation number first, while the latter does not (and thus can be used for the second and subsequent formulas that use the same formula number but presumably have different tags).<br />
<br />
This is sufficient for cases where the standard ConTeXt equation numbers suffice, and where only one equation number is needed per formula. However, there are many cases where this is insufficient, and <cmd>placeformula</cmd> defines <cmd>formulanumber</cmd> and <cmd>subformulanumber</cmd> commands, which provide hooks to allow the use of ConTeXt-managed formula numbers with plain TeX equation numbering. These, when used within a formula, simply return the formula number in properly formatted form, as can be seen in this simple example with plain TeX's <cmd>eqno</cmd>. Note that the optional tag is inherited from <cmd>placeformula</cmd>.<br />
<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
More examples:<br />
\placeformula{c}<br />
\startformula<br />
\let\doplaceformulanumber\empty<br />
c^2 = a^2 + b^2 \eqno{\formulanumber}<br />
\stopformula<br />
</texcode><br />
</td><td><br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
More examples:<br />
\placeformula{c}<br />
\startformula<br />
\let\doplaceformulanumber\empty<br />
c^2 = a^2 + b^2 \eqno{\formulanumber}<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
In order for this to work properly, we need to turn off ConTeXt's automatic formula number placement; thus the <cmd>let</cmd> command to empty <cmd>doplaceformulanumber</cmd>, which must be placed <em>after</em> the start of the formula. In many practical examples, however, this is not necessary; ConTeXt redefines <cmd>displaylines</cmd> and <cmd>eqalignno</cmd> to do this automatically.<br />
<br />
For more control over sub-formula numbering, <cmd>formulanumber</cmd> and <cmd>subformulanumber</cmd> have an optional argument parallel to that of <cmd>placeformula</cmd>, as demonstrated in this use of plain TeX's <cmd>eqalignno</cmd>, which places multiple equation numbers within one formula.<br />
<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
Yet more examples:<br />
\placeformula<br />
\startformula<br />
\eqalignno{c^2 &= a^2 + b^2 &\formulanumber{a} \cr<br />
c &= \left(a^2 + b^2\right)^{\vfrac{1}{2}} &\subformulanumber{b}\cr<br />
a^2 + b^2 &= c^2 &\subformulanumber{c} \cr<br />
d^2 &= e^2 &\formulanumber\cr}<br />
\stopformula<br />
</texcode><br />
</td><td><br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
Yet more examples:<br />
\placeformula<br />
\startformula<br />
\eqalignno{c^2 &= a^2 + b^2 &\formulanumber{a} \cr<br />
c &= \left(a^2 + b^2\right)^{\vfrac{1}{2}} &\subformulanumber{b}\cr<br />
a^2 + b^2 &= c^2 &\subformulanumber{c} \cr<br />
d^2 &= e^2 &\formulanumber\cr}<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
Note that both <cmd>formulanumber</cmd> and <cmd>subformulanumber</cmd> can be used within the same formula, and the formula number is incremented as expected. Also, if an optional argument is specified in both <cmd>placefigure</cmd> and <cmd>formulanumber</cmd>, the latter takes precedence.<br />
<br />
<table width="100%" cols="2"><tr valign="top"><td width="50%"><br />
<texcode><br />
More examples for left-located equation number:<br />
\setupformulas[location=left]<br />
\placeformula{d}<br />
\startformula<br />
\let\doplaceformulanumber\empty<br />
c^2 = a^2 + b^2 \leqno{\formulanumber}<br />
\stopformula<br />
and<br />
\placeformula<br />
\startformula<br />
\leqalignno{c^2 &= a^2 + b^2 &\formulanumber{a} \cr<br />
a^2 + b^2 &= c^2 &\subformulanumber{b} \cr<br />
d^2 &= e^2 &\formulanumber\cr}<br />
\stopformula<br />
</texcode><br />
</td><td><br />
<context><br />
\setuplayout[scale=0.8,width=8cm]<br />
More examples for left-located equation no.:<br />
\setupformulas[location=left]<br />
\placeformula{d}<br />
\startformula<br />
\let\doplaceformulanumber\empty<br />
c^2 = a^2 + b^2 \leqno{\formulanumber}<br />
\stopformula<br />
and<br />
\placeformula<br />
\startformula<br />
\leqalignno{c^2 &= a^2 + b^2 &\formulanumber{a} \cr<br />
a^2 + b^2 &= c^2 &\subformulanumber{b} \cr<br />
d^2 &= e^2 &\formulanumber\cr}<br />
\stopformula<br />
</context><br />
</td></tr></table><br />
<br />
-- 23:46, 15 Aug 2005 (CEST) Prinse Wang<br />
<br />
If you want named subformula with a reference see the solution proposed by Aditya Mahajan on the mailing-list [http://archive.contextgarden.net/message/20061029.063821.ba521b6c.en.html] (2006-10-29). This feature should be added to the core eventually.<br />
<br />
==List of Formulas==<br />
<br />
You can have a list of the formulas contained in a document by using <cmd>placenamedformula</cmd> instead of <cmd>placeformula</cmd>. Only the formulas written with <cmd>placenamedformula</cmd> are not put in the list, so that you can control precisely the content of the list.<br />
<br />
<cmd>placenamedformula</cmd> takes as first parameter the name of the formula put in the list. The other <cmd>placeformula</cmd> features are still available. The list can be formatted like any other list.<br />
<br />
Example:<br />
<texcode><br />
\subsubject{List of Formulas}<br />
\placelist[formula][criterium=text,alternative=c]<br />
<br />
\subsubject{Formulas}<br />
\placenamedformula[one]{First listed Formula}<br />
\startformula a = 1 \stopformula \endgraf<br />
<br />
\placeformula<br />
\startformula a = 2 \stopformula \endgraf<br />
<br />
\placenamedformula{Second listed Formula}{b}<br />
\startformula a = 3 \stopformula \endgraf<br />
</texcode><br />
<br />
Gives:<br />
<br />
<context><br />
\setuplayout[scale=0.8,width=13cm]<br />
\subsubject{List of Formulas}<br />
\placelist[formula][criterium=text,alternative=c]<br />
<br />
\subsubject{Formulas}<br />
\placenamedformula[one]{First listed Formula}<br />
\startformula a = 1 \stopformula \endgraf<br />
<br />
\placeformula<br />
\startformula a = 2 \stopformula \endgraf<br />
<br />
\placenamedformula{Second listed Formula}{b}<br />
\startformula a = 3 \stopformula \endgraf<br />
</context><br />
<br />
== Other Methods ==<br />
* There are two different math modules on [http://dante.ctan.org/tex-archive/macros/context/contrib/maths/ CTAN], [[Math with nath|nath]] and [[Math with amsl|amsl]]. And there's a [[Math with newmat|new math]] module in the distribution.<br />
* Context now has inbuilt support for [[Multiline equations]]<br />
* It is also possible to use most [[LaTeX Math in ConTeXt|LaTeX equations in ConTeXt]] with a relatively small set of supporting definitions.<br />
* The "native" ConTeXt way of math is [[MathML]], an application of [[XML]] - rather verbose but mighty.<br />
<br />
==Number Formatting==<br />
There's a special command, <cmd>digits</cmd>, and a own manual about formatting numbers, see [http://www.pragma-ade.com/general/magazines/mag-0003.pdf Pasting digits together]<br />
<br />
==Math [[Fonts]]==<br />
* [[Bold Math]]<br />
* [http://homepage.mac.com/atl/tex/EulerContext.pdf Euler in ConTeXt (using Euler math font)] by Adam Lindsay<br />
* [[rsfs]] Using Ralph Smith's Formal Script<br />
* [[Product integral]] symbol<br />
<br />
==Science==<br />
* Esp. for physics there’s the [[units]] module.<br />
* Additions to [[MathML]] are PhysML and ChemML.<br />
* [[Chemistry]]<br />
* There's a module for chemical structure formulae: [[Chemistry|PPCHTeX]] (works also with LaTeX).<br />
<br />
[[Category:Math]]</div>217.80.120.131