1\begin{patch}{CharacterClassXmpPagePatch1}
2\begin{paste}{CharacterClassXmpPageFull1}{CharacterClassXmpPageEmpty1}
3\pastebutton{CharacterClassXmpPageFull1}{\hidepaste}
4\tab{5}\spadcommand{cl1 := charClass [char "a", char "e", char "i", char "o", char "u", char "y"]\bound{cl1 }}
5\indentrel{3}\begin{verbatim}
6   (1)  "aeiouy"
7                                   Type: CharacterClass
8\end{verbatim}
9\indentrel{-3}\end{paste}\end{patch}
10
11\begin{patch}{CharacterClassXmpPageEmpty1}
12\begin{paste}{CharacterClassXmpPageEmpty1}{CharacterClassXmpPagePatch1}
13\pastebutton{CharacterClassXmpPageEmpty1}{\showpaste}
14\tab{5}\spadcommand{cl1 := charClass [char "a", char "e", char "i", char "o", char "u", char "y"]\bound{cl1 }}
15\end{paste}\end{patch}
16
17\begin{patch}{CharacterClassXmpPagePatch2}
18\begin{paste}{CharacterClassXmpPageFull2}{CharacterClassXmpPageEmpty2}
19\pastebutton{CharacterClassXmpPageFull2}{\hidepaste}
20\tab{5}\spadcommand{cl2 := charClass "bcdfghjklmnpqrstvwxyz"\bound{cl2 }}
21\indentrel{3}\begin{verbatim}
22   (2)  "bcdfghjklmnpqrstvwxyz"
23                                   Type: CharacterClass
24\end{verbatim}
25\indentrel{-3}\end{paste}\end{patch}
26
27\begin{patch}{CharacterClassXmpPageEmpty2}
28\begin{paste}{CharacterClassXmpPageEmpty2}{CharacterClassXmpPagePatch2}
29\pastebutton{CharacterClassXmpPageEmpty2}{\showpaste}
30\tab{5}\spadcommand{cl2 := charClass "bcdfghjklmnpqrstvwxyz"\bound{cl2 }}
31\end{paste}\end{patch}
32
33\begin{patch}{CharacterClassXmpPagePatch3}
34\begin{paste}{CharacterClassXmpPageFull3}{CharacterClassXmpPageEmpty3}
35\pastebutton{CharacterClassXmpPageFull3}{\hidepaste}
36\tab{5}\spadcommand{digit()}
37\indentrel{3}\begin{verbatim}
38   (3)  "0123456789"
39                                   Type: CharacterClass
40\end{verbatim}
41\indentrel{-3}\end{paste}\end{patch}
42
43\begin{patch}{CharacterClassXmpPageEmpty3}
44\begin{paste}{CharacterClassXmpPageEmpty3}{CharacterClassXmpPagePatch3}
45\pastebutton{CharacterClassXmpPageEmpty3}{\showpaste}
46\tab{5}\spadcommand{digit()}
47\end{paste}\end{patch}
48
49\begin{patch}{CharacterClassXmpPagePatch4}
50\begin{paste}{CharacterClassXmpPageFull4}{CharacterClassXmpPageEmpty4}
51\pastebutton{CharacterClassXmpPageFull4}{\hidepaste}
52\tab{5}\spadcommand{hexDigit()}
53\indentrel{3}\begin{verbatim}
54   (4)  "0123456789ABCDEFabcdef"
55                                   Type: CharacterClass
56\end{verbatim}
57\indentrel{-3}\end{paste}\end{patch}
58
59\begin{patch}{CharacterClassXmpPageEmpty4}
60\begin{paste}{CharacterClassXmpPageEmpty4}{CharacterClassXmpPagePatch4}
61\pastebutton{CharacterClassXmpPageEmpty4}{\showpaste}
62\tab{5}\spadcommand{hexDigit()}
63\end{paste}\end{patch}
64
65\begin{patch}{CharacterClassXmpPagePatch5}
66\begin{paste}{CharacterClassXmpPageFull5}{CharacterClassXmpPageEmpty5}
67\pastebutton{CharacterClassXmpPageFull5}{\hidepaste}
68\tab{5}\spadcommand{upperCase()}
69\indentrel{3}\begin{verbatim}
70   (5)  "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
71                                   Type: CharacterClass
72\end{verbatim}
73\indentrel{-3}\end{paste}\end{patch}
74
75\begin{patch}{CharacterClassXmpPageEmpty5}
76\begin{paste}{CharacterClassXmpPageEmpty5}{CharacterClassXmpPagePatch5}
77\pastebutton{CharacterClassXmpPageEmpty5}{\showpaste}
78\tab{5}\spadcommand{upperCase()}
79\end{paste}\end{patch}
80
81\begin{patch}{CharacterClassXmpPagePatch6}
82\begin{paste}{CharacterClassXmpPageFull6}{CharacterClassXmpPageEmpty6}
83\pastebutton{CharacterClassXmpPageFull6}{\hidepaste}
84\tab{5}\spadcommand{lowerCase()}
85\indentrel{3}\begin{verbatim}
86   (6)  "abcdefghijklmnopqrstuvwxyz"
87                                   Type: CharacterClass
88\end{verbatim}
89\indentrel{-3}\end{paste}\end{patch}
90
91\begin{patch}{CharacterClassXmpPageEmpty6}
92\begin{paste}{CharacterClassXmpPageEmpty6}{CharacterClassXmpPagePatch6}
93\pastebutton{CharacterClassXmpPageEmpty6}{\showpaste}
94\tab{5}\spadcommand{lowerCase()}
95\end{paste}\end{patch}
96
97\begin{patch}{CharacterClassXmpPagePatch7}
98\begin{paste}{CharacterClassXmpPageFull7}{CharacterClassXmpPageEmpty7}
99\pastebutton{CharacterClassXmpPageFull7}{\hidepaste}
100\tab{5}\spadcommand{alphabetic()}
101\indentrel{3}\begin{verbatim}
102   (7)
103   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
104                                   Type: CharacterClass
105\end{verbatim}
106\indentrel{-3}\end{paste}\end{patch}
107
108\begin{patch}{CharacterClassXmpPageEmpty7}
109\begin{paste}{CharacterClassXmpPageEmpty7}{CharacterClassXmpPagePatch7}
110\pastebutton{CharacterClassXmpPageEmpty7}{\showpaste}
111\tab{5}\spadcommand{alphabetic()}
112\end{paste}\end{patch}
113
114\begin{patch}{CharacterClassXmpPagePatch8}
115\begin{paste}{CharacterClassXmpPageFull8}{CharacterClassXmpPageEmpty8}
116\pastebutton{CharacterClassXmpPageFull8}{\hidepaste}
117\tab{5}\spadcommand{alphanumeric()}
118\indentrel{3}\begin{verbatim}
119   (8)
120  "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqr
121  stuvwxyz"
122                                   Type: CharacterClass
123\end{verbatim}
124\indentrel{-3}\end{paste}\end{patch}
125
126\begin{patch}{CharacterClassXmpPageEmpty8}
127\begin{paste}{CharacterClassXmpPageEmpty8}{CharacterClassXmpPagePatch8}
128\pastebutton{CharacterClassXmpPageEmpty8}{\showpaste}
129\tab{5}\spadcommand{alphanumeric()}
130\end{paste}\end{patch}
131
132\begin{patch}{CharacterClassXmpPagePatch9}
133\begin{paste}{CharacterClassXmpPageFull9}{CharacterClassXmpPageEmpty9}
134\pastebutton{CharacterClassXmpPageFull9}{\hidepaste}
135\tab{5}\spadcommand{member?(char "a", cl1)\free{cl1 }}
136\indentrel{3}\begin{verbatim}
137   (9)  true
138                                          Type: Boolean
139\end{verbatim}
140\indentrel{-3}\end{paste}\end{patch}
141
142\begin{patch}{CharacterClassXmpPageEmpty9}
143\begin{paste}{CharacterClassXmpPageEmpty9}{CharacterClassXmpPagePatch9}
144\pastebutton{CharacterClassXmpPageEmpty9}{\showpaste}
145\tab{5}\spadcommand{member?(char "a", cl1)\free{cl1 }}
146\end{paste}\end{patch}
147
148\begin{patch}{CharacterClassXmpPagePatch10}
149\begin{paste}{CharacterClassXmpPageFull10}{CharacterClassXmpPageEmpty10}
150\pastebutton{CharacterClassXmpPageFull10}{\hidepaste}
151\tab{5}\spadcommand{member?(char "a", cl2)\free{cl2 }}
152\indentrel{3}\begin{verbatim}
153   (10)  false
154                                          Type: Boolean
155\end{verbatim}
156\indentrel{-3}\end{paste}\end{patch}
157
158\begin{patch}{CharacterClassXmpPageEmpty10}
159\begin{paste}{CharacterClassXmpPageEmpty10}{CharacterClassXmpPagePatch10}
160\pastebutton{CharacterClassXmpPageEmpty10}{\showpaste}
161\tab{5}\spadcommand{member?(char "a", cl2)\free{cl2 }}
162\end{paste}\end{patch}
163
164\begin{patch}{CharacterClassXmpPagePatch11}
165\begin{paste}{CharacterClassXmpPageFull11}{CharacterClassXmpPageEmpty11}
166\pastebutton{CharacterClassXmpPageFull11}{\hidepaste}
167\tab{5}\spadcommand{intersect(cl1, cl2)\free{cl1 cl2 }}
168\indentrel{3}\begin{verbatim}
169   (11)  "y"
170                                   Type: CharacterClass
171\end{verbatim}
172\indentrel{-3}\end{paste}\end{patch}
173
174\begin{patch}{CharacterClassXmpPageEmpty11}
175\begin{paste}{CharacterClassXmpPageEmpty11}{CharacterClassXmpPagePatch11}
176\pastebutton{CharacterClassXmpPageEmpty11}{\showpaste}
177\tab{5}\spadcommand{intersect(cl1, cl2)\free{cl1 cl2 }}
178\end{paste}\end{patch}
179
180\begin{patch}{CharacterClassXmpPagePatch12}
181\begin{paste}{CharacterClassXmpPageFull12}{CharacterClassXmpPageEmpty12}
182\pastebutton{CharacterClassXmpPageFull12}{\hidepaste}
183\tab{5}\spadcommand{union(cl1,cl2)\free{cl1 cl2 }}
184\indentrel{3}\begin{verbatim}
185   (12)  "abcdefghijklmnopqrstuvwxyz"
186                                   Type: CharacterClass
187\end{verbatim}
188\indentrel{-3}\end{paste}\end{patch}
189
190\begin{patch}{CharacterClassXmpPageEmpty12}
191\begin{paste}{CharacterClassXmpPageEmpty12}{CharacterClassXmpPagePatch12}
192\pastebutton{CharacterClassXmpPageEmpty12}{\showpaste}
193\tab{5}\spadcommand{union(cl1,cl2)\free{cl1 cl2 }}
194\end{paste}\end{patch}
195
196\begin{patch}{CharacterClassXmpPagePatch13}
197\begin{paste}{CharacterClassXmpPageFull13}{CharacterClassXmpPageEmpty13}
198\pastebutton{CharacterClassXmpPageFull13}{\hidepaste}
199\tab{5}\spadcommand{difference(cl1,cl2)\free{cl1 cl2 }}
200\indentrel{3}\begin{verbatim}
201   (13)  "aeiou"
202                                   Type: CharacterClass
203\end{verbatim}
204\indentrel{-3}\end{paste}\end{patch}
205
206\begin{patch}{CharacterClassXmpPageEmpty13}
207\begin{paste}{CharacterClassXmpPageEmpty13}{CharacterClassXmpPagePatch13}
208\pastebutton{CharacterClassXmpPageEmpty13}{\showpaste}
209\tab{5}\spadcommand{difference(cl1,cl2)\free{cl1 cl2 }}
210\end{paste}\end{patch}
211
212\begin{patch}{CharacterClassXmpPagePatch14}
213\begin{paste}{CharacterClassXmpPageFull14}{CharacterClassXmpPageEmpty14}
214\pastebutton{CharacterClassXmpPageFull14}{\hidepaste}
215\tab{5}\spadcommand{intersect(complement(cl1),cl2)\free{cl1 cl2 }}
216\indentrel{3}\begin{verbatim}
217   (14)  "bcdfghjklmnpqrstvwxz"
218                                   Type: CharacterClass
219\end{verbatim}
220\indentrel{-3}\end{paste}\end{patch}
221
222\begin{patch}{CharacterClassXmpPageEmpty14}
223\begin{paste}{CharacterClassXmpPageEmpty14}{CharacterClassXmpPagePatch14}
224\pastebutton{CharacterClassXmpPageEmpty14}{\showpaste}
225\tab{5}\spadcommand{intersect(complement(cl1),cl2)\free{cl1 cl2 }}
226\end{paste}\end{patch}
227
228\begin{patch}{CharacterClassXmpPagePatch15}
229\begin{paste}{CharacterClassXmpPageFull15}{CharacterClassXmpPageEmpty15}
230\pastebutton{CharacterClassXmpPageFull15}{\hidepaste}
231\tab{5}\spadcommand{insert!(char "a", cl2)\free{cl2 }\bound{cl22 }}
232\indentrel{3}\begin{verbatim}
233   (15)  "abcdfghjklmnpqrstvwxyz"
234                                   Type: CharacterClass
235\end{verbatim}
236\indentrel{-3}\end{paste}\end{patch}
237
238\begin{patch}{CharacterClassXmpPageEmpty15}
239\begin{paste}{CharacterClassXmpPageEmpty15}{CharacterClassXmpPagePatch15}
240\pastebutton{CharacterClassXmpPageEmpty15}{\showpaste}
241\tab{5}\spadcommand{insert!(char "a", cl2)\free{cl2 }\bound{cl22 }}
242\end{paste}\end{patch}
243
244\begin{patch}{CharacterClassXmpPagePatch16}
245\begin{paste}{CharacterClassXmpPageFull16}{CharacterClassXmpPageEmpty16}
246\pastebutton{CharacterClassXmpPageFull16}{\hidepaste}
247\tab{5}\spadcommand{remove!(char "b", cl2)\free{cl22 }\bound{cl23 }}
248\indentrel{3}\begin{verbatim}
249   (16)  "acdfghjklmnpqrstvwxyz"
250                                   Type: CharacterClass
251\end{verbatim}
252\indentrel{-3}\end{paste}\end{patch}
253
254\begin{patch}{CharacterClassXmpPageEmpty16}
255\begin{paste}{CharacterClassXmpPageEmpty16}{CharacterClassXmpPagePatch16}
256\pastebutton{CharacterClassXmpPageEmpty16}{\showpaste}
257\tab{5}\spadcommand{remove!(char "b", cl2)\free{cl22 }\bound{cl23 }}
258\end{paste}\end{patch}
259
260