Conditions
(Excerpt from "The MathML Handbook" by Pavi Sandhu)
The condition element is used to encode expressions that make use of the "such that" construct used in mathematical statements. Here is an example:
x 
<apply>
<exists/>
<bvar><ci>x</ci></bvar>
<condition>
<apply>
<eq/>
<apply>
<power/>
<ci>x</ci>
<cn>2</cn>
</apply>
<apply>
<minus/>
<cn>1</cn>
</apply>
</apply>
</condition>
</apply>
A condition element has the following properties:
- It is typically used together with an exists or forall element to define a logical expression, as in the example above.
- It is always preceded by one or more bvar elements, each of which specifies a bound variable whose values are restricted by a relation.
- It always has one child element that must be an apply or reln element specifying the relation used for defining the condition.
One common use of the condition element is to specify the range of integration in conjunction with an int element, as seen in the following example:
<apply>
<int/>
<bvar>
<ci>x</ci>
</bvar>
<condition>
<apply>
<in/>
<ci> x </ci>
<ci type="set">D</ci>
</apply>
</condition>
<apply>
<ci type="fn">f</ci>
<ci>x</ci>
</apply>
</apply>
You can use the condition element to define the elements of a list or set as well. You do so by specifying a condition that the elements must satisfy. Two examples of this are given under Sets and lists.
| << back | next >> |
| Tipp der data2type-Redaktion: Zum Thema MathML bieten wir auch folgende Schulungen zur Vertiefung und professionellen Fortbildung an: |
Copyright © CHARLES RIVER MEDIA, INC., Massachusetts (USA) 2003
Printing of the online version is permitted exclusively for private use. Otherwise this chapter from the book "The MathML Handbook" is subject to the same provisions as those applicable for the hardcover edition: The work including all its components is protected by copyright. All rights reserved, including reproduction, translation, microfilming as well as storage and processing in electronic systems.
CHARLES RIVER MEDIA, INC., 20 Downer Avenue, Suite 3, Hingham, Massachusetts 02043, United States of America