<?xml version="1.0" standalone="yes"?>

<!DOCTYPE test:test [
<!ENTITY PlusMinus "&lt;mchar name='PlusMinus'/&gt;">  <!-- &#177;-->
<!ENTITY ImaginaryI "i">
<!ENTITY ExponentialE "e">
<!ENTITY ii "i">
<!ENTITY ee "e">
<!ENTITY theta "&lt;mchar name='theta'/&gt;">
<!ENTITY pi "&lt;mchar name='pi'/&gt;">
<!ENTITY phi "&lt;mchar name='phi'/&gt;">
<!ENTITY gamma "&lt;mchar name='Gamma'/&gt;">
<!ENTITY infin "&lt;mchar name='infin'/&gt;">
<!ENTITY infty "&lt;mchar name='infin'/&gt;">
]>

<test:test
 xmlns="http://www.w3.org/1998/Math/MathML"
 xmlns:test="http://xxxxxx">
<!--
======================================================================
Arithmetic Tests
======================================================================

Start arithmetic tests
--><math><mtext>Start arithmetic tests</mtext></math><!--
a + b - c
--><math><apply><plus/><ci>a</ci><apply><minus/><ci>b</ci><ci>c</ci></apply></apply></math><!--
a + b + c
--><math><apply><plus/><ci>a</ci><ci>b</ci><ci>c</ci></apply></math><!--
a - (b - c)
--><math><apply><minus/><ci>a</ci><apply><minus/><ci>b</ci><ci>c</ci></apply></apply></math><!--
a - (b + c)
--><math><apply><minus/><ci>a</ci><apply><plus/><ci>b</ci><ci>c</ci></apply></apply></math><!--
-1 + 7
--><math><apply><plus/><apply><minus/><cn>1</cn></apply><cn>7</cn></apply></math><!--
-1
--><math><apply><minus/><cn>1</cn></apply></math><!--
7 + (-1)
--><math><apply><plus/><cn>7</cn><apply><minus/><cn>1</cn></apply></apply></math><!--
-(7 + 1)
--><math><apply><minus/><apply><plus/><cn>7</cn><cn>1</cn></apply></apply></math><!--
ab
--><math><apply><times/><ci>a</ci><ci>b</ci></apply></math><!--
-ab
--><math><apply><minus/><apply><times/><ci>a</ci><ci>b</ci></apply></apply></math><!--
ab + c
--><math><apply><plus/><apply><times/><ci>a</ci><ci>b</ci></apply><ci>c</ci></apply></math><!--
2x + ab
--><math><apply><plus/><apply><times/><cn>2</cn><ci>x</ci></apply><apply><times/><ci>a</ci><ci>b</ci></apply></apply></math><!--
x + yz + z
--><math><apply><plus/><ci>x</ci><apply><times/><ci>y</ci><ci>z</ci></apply><ci>z</ci></apply></math><!--
x * (y + z) * z
--><math><apply><times/><ci>x</ci><apply><plus/><ci>y</ci><ci>z</ci></apply><ci>z</ci></apply></math><!--
-(x+ab)
--><math><apply><minus/><apply><plus/><ci>x</ci><apply><times/><ci>a</ci><ci>b</ci></apply></apply></apply></math><!--
a / b
--><math><apply><divide/><ci>a</ci><ci>b</ci></apply></math><!--
- (a / b)
--><math><apply><minus/><apply><divide/><ci>a</ci><ci>b</ci></apply></apply></math><!--
(a + b) / (a - b)
--><math><apply><divide/><apply><plus/><ci>a</ci><ci>b</ci></apply><apply><minus/><ci>a</ci><ci>b</ci></apply></apply></math><!--
- ( (a + b) / (a - b) )
--><math><apply><minus/><apply><divide/><apply><plus/><ci>a</ci><ci>b</ci></apply><apply><minus/><ci>a</ci><ci>b</ci></apply></apply></apply></math><!--
(a + b) / (a / b)
--><math><apply><divide/><apply><plus/><ci>a</ci><ci>b</ci></apply><apply><divide/><ci>a</ci><ci>b</ci></apply></apply></math><!--
x(a / b + c) - 1
--><math><apply><minus/><apply><times/><ci>x</ci><apply><plus/><apply><divide/><ci>a</ci><ci>b</ci></apply><ci>c</ci></apply></apply><cn>1</cn></apply></math><!--
e^x
--><math><apply><exp/><ci>x</ci></apply></math><!--
e^(x^j)
--><math><apply><exp/><apply><power/><ci>x</ci><ci>j</ci></apply></apply></math><!--
- e^(x^j)
--><math><apply><minus/><apply><exp/><apply><power/><ci>x</ci><ci>j</ci></apply></apply></apply></math><!--
(x + y) ^ (n - 3)
--><math><apply><power/><apply><plus/><ci>x</ci><ci>y</ci></apply><apply><minus/><cn>n</cn><cn>3</cn></apply></apply></math><!--
(x + y) ^ - (n - 3)
--><math><apply><power/><apply><plus/><ci>x</ci><ci>y</ci></apply><apply><minus/><apply><minus/><cn>n</cn><cn>3</cn></apply></apply></apply></math><!--
- ( (x + y) ^ (n - 3) )
--><math><apply><minus/><apply><power/><apply><plus/><ci> x </ci><ci>y</ci></apply><apply><minus/><cn>n</cn><cn>3</cn></apply></apply></apply></math><!--
a mod (b)
--><math><apply><rem/><ci> a </ci><ci> b </ci></apply></math><!--
gcd(a b, c)
--><math><apply> <gcd/><ci> a </ci><ci> b </ci><ci> c </ci></apply></math><!--
a mod (b)
--><math><apply><rem/><ci> a </ci><ci> b </ci></apply></math><!--
gcd(a b, c)
--><math><apply> <gcd/><ci> a </ci><ci> b </ci><ci> c </ci></apply></math><!--
factorial
--><math><apply><factorial/><ci> n </ci></apply></math><!--
(a + b)!
--><math><apply><factorial/><apply><plus/><apply><plus/><ci> n </ci><ci> m </ci></apply><ci>x</ci></apply></apply></math><!--
END
--><math><mtext>END</mtext></math><!--


======================================================================
Calculus Tests
======================================================================

Start Calculus tests
--><math><mtext>Start Calculus tests</mtext></math><!--
limit as x goes to a of sin x using <reln>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><reln><tendsto type="above"/><ci> x </ci><ci> a </ci></reln></condition><apply><sin/><ci> x </ci></apply></apply></math><!--
limit as x goes to a of sin x using <apply>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><apply><tendsto type="above"/><ci> x </ci><ci> a </ci></apply></condition><apply><sin/><ci> x </ci></apply></apply></math><!--
limit as x goes to a of sin(x + y) using <reln>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><reln><tendsto type="above"/><ci> x </ci><ci> a </ci></reln></condition><apply><sin/><apply><plus/><ci> x </ci><ci> y </ci></apply></apply></apply></math><!--
limit as x goes to a of sin(x + y) using <apply>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><apply><tendsto type="above"/><ci> x </ci><ci> a </ci></apply></condition><apply><sin/><apply><plus/><ci> x </ci><ci> y </ci></apply></apply></apply></math><!--
limit as x goes to a of sin(x + y)2b using <reln>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><reln><tendsto type="above"/><ci> x </ci><ci> a </ci></reln></condition><apply><times/><apply><sin/><apply><times/><ci> x </ci><ci> y </ci></apply></apply><apply><times/><cn>2</cn><ci>b</ci></apply></apply></apply></math><!--
limit as x goes to a of sin(x + y)2b using <apply>
--><math><apply><limit/><bvar><ci> x </ci></bvar><condition><apply><tendsto type="above"/><ci> x </ci><ci> a </ci></apply></condition><apply><times/><apply><sin/><apply><times/><ci> x </ci><ci> y </ci></apply></apply><apply><times/><cn>2</cn><ci>b</ci></apply></apply></apply></math><!--
integral of f(x)
--><math><apply><int/><bvar><ci>x</ci></bvar><apply><fn><ci>f</ci></fn><ci>x</ci></apply></apply></math><!--
integral of f(x) with bounds
--><math><apply><int/><bvar><ci> x </ci></bvar><lowlimit><cn> 0 </cn></lowlimit><uplimit><ci> a </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
integral (a + x)dx
--><math><apply><int/><bvar><ci> x </ci></bvar><lowlimit><cn> 0 </cn></lowlimit><uplimit><ci> a </ci></uplimit><apply><plus/><ci> a </ci><ci> x </ci></apply></apply></math><!--
diff
--><math><apply><diff/><bvar><ci> x </ci></bvar><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
partialdiff
--><math><apply><partialdiff/><bvar><ci> x </ci><degree><cn> 2 </cn></degree></bvar><bvar><ci> y </ci></bvar><apply><fn><ci> f </ci></fn><ci> x </ci><ci> y </ci></apply></apply></math><!--
integral
--><math><apply><int/><bvar><ci> x </ci></bvar><lowlimit><ci> a </ci></lowlimit><uplimit><ci> b </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
integral
--><math><apply><int/><bvar><ci> x </ci></bvar><condition><reln><in/><ci> x </ci><ci type="set"> D </ci></reln></condition><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
partialdiff
--><math><apply><partialdiff/><bvar><ci> x </ci><degree><ci> n </ci></degree></bvar><bvar><ci> y </ci><degree><ci> m </ci></degree></bvar><apply><sin/><apply> <times/><ci> x </ci><ci> y </ci></apply></apply></apply></math><!--
Sum as x goes from a to b of f(x)
--><math><apply><sum/><bvar><ci> x </ci></bvar><lowlimit><ci> a </ci></lowlimit><uplimit><ci> b </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
sum
--><math><apply><sum/><bvar><ci> x </ci></bvar><condition><reln> <in/><ci> x </ci><ci type="set"> B </ci></reln></condition><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
product
--><math><apply><product/><bvar><ci> x </ci></bvar><lowlimit><ci> a </ci></lowlimit><uplimit><ci> b </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
product
--><math><apply><product/><bvar><ci> x </ci></bvar><condition><reln> <in/><ci> x </ci><ci type="set"> B </ci></reln></condition><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
tendsto with <reln>
--><math><reln><tendsto type="above"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></reln></math><!--
tendsto with <apply>
--><math><apply><tendsto type="above"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></apply></math><!--
tendsto with <reln>
--><math><reln><tendsto/><vector><ci> x </ci><ci> y </ci></vector><vector><apply><fn><ci> f </ci></fn><ci> x </ci><ci> y </ci></apply><apply><fn><ci> g </ci></fn><ci> x </ci><ci> y </ci></apply></vector></reln></math><!--
tendsto with <apply>
--><math><apply><tendsto/><vector><ci> x </ci><ci> y </ci></vector><vector><apply><fn><ci> f </ci></fn><ci> x </ci><ci> y </ci></apply><apply><fn><ci> g </ci></fn><ci> x </ci><ci> y </ci></apply></vector></apply></math><!--
limit
--><math><apply><limit/><bvar><ci> x </ci></bvar><lowlimit><cn> 0 </cn></lowlimit><apply><sin/><ci> x </ci></apply></apply></math><!--
tendsto type = "above" with <reln>
--><math><reln><tendsto type="above"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></reln></math><!--
tendsto type = "above" with <apply>
--><math><apply><tendsto type="above"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></apply></math><!--
tendsto type = "below" with <reln>
--><math><reln><tendsto type="below"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></reln></math><!--
tendsto type = "below" with <apply>
--><math><apply><tendsto type="below"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></apply></math><!--
tendsto type = "two-sided" with <reln>
--><math><reln><tendsto type="two-sided"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></reln></math><!--
tendsto type = "two-sided" with <apply>
--><math><apply><tendsto type="two-sided"/><apply><power/><ci> x </ci><cn> 2 </cn></apply><apply><power/><ci> a </ci><cn> 2 </cn></apply></apply></math><!--
ln a
--><math><apply><ln/><ci> a </ci></apply></math><!--
log base 3 of x
--><math><apply> <log/><logbase><cn> 3 </cn></logbase><ci> x </ci></apply></math><!--
Log base 3 of x + y
--><math><apply><log/><logbase><cn> 3 </cn></logbase><apply><plus/><ci> x </ci><ci> y </ci></apply></apply></math><!--
END
--><math><mtext>END</mtext></math><!--

======================================================================
Logic Tests
======================================================================

Start logic and set tests
--><math><mtext>Start logic and set tests</mtext></math><!--
a and b
--><math><apply><and/><ci> a </ci><ci> b </ci></apply></math><!--
a or b
--><math><apply><or/><ci> a </ci><ci> b </ci></apply></math><!--
a xor b
--><math><apply><xor/><ci> a </ci><ci> b </ci></apply></math><!--
a eq b with <reln> tag
--><math><reln><eq/><ci> a </ci><ci> b </ci></reln></math><!--
a eq b with <apply> tag
--><math><apply><eq/><ci> a </ci><ci> b </ci></apply></math><!--
a neq b with <reln> tag
--><math><reln><neq/><ci> a </ci><ci> b </ci></reln></math><!--
a neq b with <apply> tag
--><math><apply><neq/><ci> a </ci><ci> b </ci></apply></math><!--
a > b with <reln> tag
--><math><reln><gt/><ci> a </ci><ci> b </ci></reln></math><!--
a > b with <apply> tag
--><math><apply><gt/><ci> a </ci><ci> b </ci></apply></math><!--
a < b with <reln> tag
--><math><reln><lt/><ci> a </ci><ci> b </ci></reln></math><!--
a < b with <apply> tag
--><math><apply><lt/><ci> a </ci><ci> b </ci></apply></math><!--
a >= b with <reln> tag
--><math><reln><geq/><ci> a </ci><ci> b </ci></reln></math><!--
a >= b with <apply> tag
--><math><apply><geq/><ci> a </ci><ci> b </ci></apply></math><!--
a <= b with <reln> tag
--><math><reln><leq/><ci> a </ci><ci> b </ci></reln></math><!--
a <= b with <apply> tag
--><math><apply><leq/><ci> a </ci><ci> b </ci></apply></math><!--
x > 0 and z < 1 as <reln>
--><math><condition><apply> <and/><reln><gt/><ci> x </ci><cn> 0 </cn></reln><reln><lt/><ci> x </ci><cn> 1 </cn></reln></apply></condition></math><!--
x > 0 and z < 1 as <apply>
--><math><condition><apply> <and/><apply><gt/><ci> x </ci><cn> 0 </cn></apply><apply><lt/><ci> x </ci><cn> 1 </cn></apply></apply></condition></math><!--
not a
--><math><apply><not/><ci> a </ci></apply></math><!--
not (a and b)
--><math><apply><not/><apply><and/><ci> a </ci><ci> b </ci></apply></apply></math><!--
A union B
--><math><apply><union/><ci> A </ci><ci> B </ci></apply></math><!--
A intersect B
--><math><apply><intersect/><ci type="set"> A </ci><ci type="set"> B </ci></apply></math><!--
A intersect (B union C)
--><math><apply><intersect/><ci type="set"> A </ci><apply><union/><ci type="set"> B </ci><ci type="set"> C </ci></apply></apply></math><!--integral
(A intersect B) union (C intersect D)
--><math><apply><union/><apply><intersect/><ci>A</ci><ci>B</ci></apply><apply><intersect/><ci>C</ci><ci>D</ci></apply></apply></math><!--
x in R as <reln>
--><math><condition><reln><in/><ci> x </ci><ci type="set"> R </ci></reln></condition></math><!--
x in R as <apply>
--><math><condition><apply><in/><ci> x </ci><ci type="set"> R </ci></apply></condition></math><!--
a in A
--><math><reln><in/><ci> a </ci><ci type="set"> A </ci></reln></math><!--
a not in A as <reln>
--><math><reln><notin/><ci> a </ci><ci> A </ci></reln></math><!--
a not in A as <apply>
--><math><apply><notin/><ci> a </ci><ci> A </ci></apply></math><!--
A is subset of B as <reln>
--><math><reln><subset/><ci> A </ci><ci> B </ci></reln></math><!--
A is subset of B as <apply>
--><math><apply><subset/><ci> A </ci><ci> B </ci></apply></math><!--
A is proper subset of B as <reln>
--><math><reln><prsubset/><ci> A </ci><ci> B </ci></reln></math><!--
A is proper subset of B as <apply>
--><math><apply><prsubset/><ci> A </ci><ci> B </ci></apply></math><!--
A is not subset of B as <reln>
--><math><reln><notsubset/><ci> A </ci><ci> B </ci></reln></math><!--
A is not subset of B as <apply>
--><math><apply><notsubset/><ci> A </ci><ci> B </ci></apply></math><!--
A is not proper subset of B as <reln>
--><math><reln><notprsubset/><ci> A </ci><ci> B </ci></reln></math><!--
A is not proper subset of B as <apply>
--><math><apply><notprsubset/><ci> A </ci><ci> B </ci></apply></math><!--
Set difference
--><math><apply><setdiff/><ci> A </ci><ci> B </ci></apply></math><!--
A -> B (reln)
--><math><reln><implies/><ci> A </ci><ci> B </ci></reln></math><!--
A -> B (apply)
--><math><apply><implies/><ci> A </ci><ci> B </ci></apply></math><!--
set: {b, a, c}
--><math><set><ci> b </ci><ci> a </ci><ci> c </ci></set></math><!--
set with condition
--><math><set><bvar><ci> x </ci></bvar><condition><reln><lt/><ci> x </ci><cn> 5 </cn></reln></condition></set></math><!--
set of sets
--><math><set><set><ci>a</ci><ci>d</ci></set><set><ci>x</ci><ci>y</ci><ci>z</ci></set><set><cn>0</cn><cn>2</cn><cn>6</cn><cn>8</cn><cn>9</cn></set></set></math><!--
A union empty set eq A
--><math><apply><eq/><apply><union/><ci>A</ci><cn><mchar name="phi"/></cn></apply><ci>A</ci></apply></math><!--
A = B implies that A union C is equal to B union C
--><math><apply><implies/><apply><eq/><ci>A</ci><ci>B</ci></apply><apply><eq/><apply><union/><ci>A</ci><ci>C</ci></apply><apply><union/><ci>B</ci><ci>C</ci></apply></apply></apply></math><!--
multiset
--><math><set type="multiset"><cn type="real"> 4.56 </cn> <cn type="integer"> 4.56 </cn><cn type="rational"> 4 <sep/> 5 </cn><cn type="complex-cartesian"> 4 <sep/> 5 </cn><cn type="complex-polar"> 4.56 <sep/> 4.56 </cn><cn type="constant"> <mchar name="pi"/> </cn><cn> <mchar name="ee"/> </cn><cn> <mchar name="ExponentialE"/> </cn><cn> <mchar name="ImaginaryI"/> </cn><cn> <mchar name="ii"/> </cn><cn> <mchar name="Gamma"/> </cn><cn> <mchar name="infin"/> </cn><cn> <mchar name="infin"/> </cn></set></math><!--
list: {b, a, c}
--><math><list><ci> b </ci><ci> a </ci><ci> c </ci></list></math><!--
list: {x|x < 5}
--><math><list order="numeric"><bvar><ci> x </ci></bvar><condition><reln><lt/><ci> x </ci><cn> 5 </cn></reln></condition></list></math><!--
forall x
--><math><apply><forall/><bvar><ci>x</ci></bvar></apply></math><!--
forall x such that x - x = 0
--><math><apply><forall/><bvar><ci>x</ci></bvar><reln><eq/><apply><minus/><ci>x</ci><ci>x</ci></apply><cn>0</cn></reln></apply></math><!--
forall p and q such that p is an element if Q and q is an element of Q and p < q, p < q2
--><math><apply><forall/><bvar><ci>p</ci></bvar><bvar><ci>q</ci></bvar><condition><apply><and/><reln><in/><ci> p </ci><ci type="set"> Q </ci></reln><reln><in/><ci> q </ci><ci type="set"> Q </ci></reln><reln><lt/><ci> p </ci><ci> q </ci></reln></apply></condition><reln><lt/><ci> p </ci><apply><power/><ci> q </ci><cn> 2 </cn></apply></reln></apply></math><!--
forall n such that n is in Z, there exists x, y, and z where x is in Z, y is in Z, and z is in Z such that x^n + y^n = z^n
--><math><apply><forall/><bvar><ci>n</ci></bvar><condition><apply><and/><reln><in/><ci>n</ci><ci type="set"> Z </ci></reln><reln><gt/><ci> n </ci><cn> 0 </cn></reln></apply></condition><apply><exists/><bvar><ci> x </ci></bvar><bvar><ci> y </ci></bvar> <bvar><ci> z </ci></bvar><condition><apply><and/><reln><in/><ci> x </ci><ci type="set"> Z </ci></reln><reln><in/><ci> y </ci><ci type="set"> Z </ci></reln><reln><in/><ci>z</ci><ci type="set">Z</ci></reln></apply></condition><reln><eq/><apply><plus/><apply><power/><ci>x</ci><ci>n</ci></apply><apply><power/><ci>y</ci><ci>n</ci></apply></apply><apply><power/><ci>z</ci><ci>n</ci></apply></reln></apply></apply></math><!--
there exists x such that f(x) = 0
--><math><apply><exists/><bvar><ci>x</ci></bvar><reln><eq/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><cn>0</cn></reln></apply></math><!--
forall n such that n is in Z, there exists x, y, and z where x is in Z, y is in Z, and z is in Z such that x^n + y^n = z^n
--><math><apply><forall/><bvar><ci>n</ci></bvar><condition><apply><and/><reln><in/><ci>n</ci><ci type="set">Z</ci></reln><reln><gt/><ci>n</ci><cn>0</cn></reln></apply></condition><apply><exists/><bvar><ci>x</ci></bvar><bvar><ci>y</ci></bvar><bvar><ci>z</ci></bvar><condition><apply><and/><reln><in/><ci>x</ci><ci type="set">Z</ci></reln><reln><in/><ci>y</ci><ci type="set">Z</ci></reln><reln><in/><ci>z</ci><ci type="set">Z</ci></reln></apply></condition><reln><eq/><apply><plus/><apply><power/><ci>x</ci><ci>n</ci></apply><apply><power/><ci>y</ci><ci>n</ci></apply></apply><apply><power/><ci>z</ci><ci>n</ci></apply></reln></apply></apply></math><!--
not (forall s in S)
--><math><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition></apply></apply></math><!--
not (forall s in S where f(s) is in T)
--><math><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><apply><in/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><ci>T</ci></apply></apply></apply></math><!--
not (forall s in S where f(s) is in T) = (there exists s in S)
--><math><apply><eq/><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><apply><in/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><ci>T</ci></apply></apply></apply><apply><exists/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition></apply></apply></math><!--
not (forall s in S where f(s) is in T) = (there exists s in S such that f(s) is not in T)
--><math><apply><eq/><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><apply><in/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><ci>T</ci></apply></apply></apply><apply><exists/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><apply><notin/><apply><fn><ci>f</ci></fn><ci>s</ci></apply><ci>T</ci></apply></apply></apply></math><!--
not (forall s in S where f(s) is in T) = (there exists s in S such that f(s) is not in T)
--><math><apply><eq/><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><reln><in/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><ci>T</ci></reln></apply></apply><apply><exists/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><reln><notin/><apply><fn><ci>f</ci></fn><ci>s</ci></apply><ci>T</ci></reln></apply></apply></math><!--
END
--><math><mtext>END</mtext></math><!--

======================================================================
Line Algebra Tests
======================================================================

Start Linear Algebra tests
--><math><mtext>Start Linear Algebra tests</mtext></math><!--
inverse matrix
--><math><apply><apply><inverse/><ci type="matrix"> a </ci></apply><ci> A </ci></apply></math><!--
vector
--><math><vector><cn> 1 </cn><cn> 2 </cn><cn> 3 </cn><ci> x </ci></vector></math><!--
matrix
--><math><matrix><matrixrow><cn> 0 </cn> <cn> 1 </cn> <cn> 0 </cn> <cn> 0 </cn></matrixrow><matrixrow><cn> 0 </cn> <cn> 0 </cn> <cn> 1 </cn> <cn> 0 </cn></matrixrow><matrixrow><cn> 1 </cn> <cn> 0 </cn> <cn> 0 </cn> <cn> 0 </cn></matrixrow></matrix></math><!--
determinant
--><math><apply><determinant/><ci type="matrix"> A </ci></apply></math><!--
transpose
--><math><apply><transpose/><ci type="matrix"> A </ci></apply></math><!--
selector
--><math><apply><selector/><matrix><matrixrow><cn> 1 </cn> <cn> 2 </cn></matrixrow><matrixrow><cn> 3 </cn> <cn> 4 </cn></matrixrow></matrix><cn> 1 </cn></apply></math><!--
END
--><math><mtext>END</mtext></math><!--

======================================================================
Misc. Function Tests
======================================================================

max
--><math><apply><max/><bvar><ci> x </ci></bvar><condition><apply><and/><reln><gt/><ci> x </ci><cn> 0 </cn></reln><reln><lt/><ci> x </ci><cn> 1 </cn></reln></apply></condition><apply><minus/><ci> x </ci><apply><sin/><ci> x </ci></apply></apply></apply></math><!--
lambda sin(x + 1)
--><math><lambda><bvar><ci> x </ci></bvar><apply><sin/><apply><plus/><ci> x </ci><cn> 1 </cn></apply></apply></lambda></math><!--
lambda integral f(x)dx
--><math><lambda><bvar><ci> b </ci></bvar><apply><int/><bvar><ci> x </ci></bvar><lowlimit><ci> a </ci></lowlimit><uplimit><ci> b </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></lambda></math><!--
compose f and g
--><math><apply><compose/><fn><ci> f </ci></fn><fn><ci> g </ci></fn></apply></math><!--
compose f and g (x)
--><math><apply><apply><compose/><fn><ci> f </ci></fn><fn><ci> g </ci></fn></apply><ci> x </ci></apply></math><!--
f(g(x))
--><math><apply><fn><ci>f</ci></fn><apply><fn><ci>g</ci></fn><ci>x</ci></apply></apply></math><!--
composition of f and inverse of f eq identity using <reln>
--><math><reln><eq/><apply><compose/><fn><ci> f </ci></fn><apply><inverse/><fn><ci> f </ci></fn></apply></apply><ident/></reln></math><!--
composition of f and inverse of f eq identity using <apply>
--><math><apply><eq/><apply><compose/><fn><ci> f </ci></fn><apply><inverse/><fn><ci> f </ci></fn></apply></apply><ident/></apply></math><!--
min(x, x not in B, x^2) using <reln>
--><math><apply><min/><bvar><ci>x</ci></bvar><condition><reln><notin/><ci> x </ci><ci type="set"> B </ci></reln></condition><apply><power/><ci> x </ci><cn> 2 </cn></apply></apply></math><!--
min(x, x not in B, x^2) using <apply>
--><math><apply><min/><bvar><ci>x</ci></bvar><condition><apply><notin/><ci> x </ci><ci type="set"> B </ci></apply></condition><apply><power/><ci> x </ci><cn> 2 </cn></apply></apply></math><!--
a mod (b)
--><math><apply><rem/><ci> a </ci><ci> b </ci></apply></math><!--
ab
--><math><apply> <times/><ci> a </ci><ci> b </ci></apply></math><!--
gcd(a b, c)
--><math><apply> <gcd/><ci> a </ci><ci> b </ci><ci> c </ci></apply></math><!--
integral
--><math><apply><int/><bvar><ci> x </ci></bvar><lowlimit><cn> 0 </cn></lowlimit><uplimit><ci> a </ci></uplimit><apply><fn><ci> f </ci></fn><ci> x </ci></apply></apply></math><!--
abs(x)
--><math><apply><abs/><ci> x </ci></apply></math><!--
tall abs(x)
--><math><apply><abs/><apply><divide/><ci> H </ci><ci> K </ci></apply></apply></math><!--
abs(x + y + z)
--><math><apply><abs/><apply><plus/><ci> x </ci><ci> y </ci><ci> z </ci></apply></apply></math><!--
mean(X)
--><math><apply><mean/><ci> X </ci></apply></math><!--
root(a + b)
--><math><apply><root/><degree><ci> n </ci></degree><apply><plus/><ci> a </ci><ci> b </ci></apply></apply></math><!--
standard deviation
--><math><apply><sdev/><ci> X </ci></apply></math><!--
variance(X)
--><math><apply><variance/><ci> X </ci></apply></math><!--
median(X)
--><math><apply><median/><ci> X </ci></apply></math><!--
mode(X)
--><math><apply><mode/><ci> X </ci></apply></math><!--
degree
--><math><apply><moment/><degree><cn> 3 </cn></degree><ci> X </ci></apply></math>
</test:test>
