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