1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> match exp(sin(x)) + sin(x) with
exp(a) + a : {
print("Winner");
print("a = ", a);
}
default : {
print("Loser");
};
Winner
a = sin(x)
>
> match exp(sin(x)) + sin(3 * x) with
exp(a) + a : {
print("Winner");
print("a = ", a);
}
default : {
print("Loser");
};
Loser
>
> f = exp(x);
> match f with
sin(x) : (1)
cos(x) : (2)
exp(x) : (3)
default : (4);
3
\end{Verbatim}
\end{minipage}\end{center}
|
