prev ( testsuite > StrictContent > BasicContentElements > condition > rec-condition1  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:StrictContent/BasicContentElements/condition/rec-condition1
CVS-ID:
Author:MathML 2 Recommendation
Description:

passed (p) failed (f) not-tested (n) broken-test (b) some parts pass (s)

Sample Rendering:

$\mathrm{max}(\mathrm{map}(\mathrm{lambda}x\mathrm{minus}(x, \mathrm{sin}(x)), \mathrm{suchthat}(R, \mathrm{lambda}x\mathrm{and}(\mathrm{gt}(x, 0), \mathrm{lt}(x, 1)))))$

Source Code:

```<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<csymbol cd="minmax1">max</csymbol>
<apply>
<csymbol cd="set1">map</csymbol>
<bind>
<csymbol cd="fns1">lambda</csymbol>
<bvar>
<ci>x</ci>
</bvar>
<apply>
<csymbol cd="arith1">minus</csymbol>
<ci>x</ci>
<apply>
<csymbol cd="transc1">sin</csymbol>
<ci>x</ci>
</apply>
</apply>
</bind>
<apply>
<csymbol cd="set1">suchthat</csymbol>
<ci>R</ci>
<bind>
<csymbol cd="fns1">lambda</csymbol>
<bvar>
<ci>x</ci>
</bvar>
<apply>
<csymbol cd="logic1">and</csymbol>
<apply>
<csymbol cd="relation1">gt</csymbol>
<ci>x</ci>
<cn>0</cn>
</apply>
<apply>
<csymbol cd="relation1">lt</csymbol>
<ci>x</ci>
<cn>1</cn>
</apply>
</apply>
</bind>
</apply>
</apply>
</apply>
[/itex]```