1\begin{patch}{MappingPackageOneXmpPagePatch1} 2\begin{paste}{MappingPackageOneXmpPageFull1}{MappingPackageOneXmpPageEmpty1} 3\pastebutton{MappingPackageOneXmpPageFull1}{\hidepaste} 4\tab{5}\spadcommand{power(q: FRAC INT, n: INT): FRAC INT == q^n\bound{power }} 5\indentrel{3}\begin{verbatim} 6 Type: Void 7\end{verbatim} 8\indentrel{-3}\end{paste}\end{patch} 9 10\begin{patch}{MappingPackageOneXmpPageEmpty1} 11\begin{paste}{MappingPackageOneXmpPageEmpty1}{MappingPackageOneXmpPagePatch1} 12\pastebutton{MappingPackageOneXmpPageEmpty1}{\showpaste} 13\tab{5}\spadcommand{power(q: FRAC INT, n: INT): FRAC INT == q^n\bound{power }} 14\end{paste}\end{patch} 15 16\begin{patch}{MappingPackageOneXmpPagePatch2} 17\begin{paste}{MappingPackageOneXmpPageFull2}{MappingPackageOneXmpPageEmpty2} 18\pastebutton{MappingPackageOneXmpPageFull2}{\hidepaste} 19\tab{5}\spadcommand{power(2,3)\free{power }} 20\indentrel{3}\begin{verbatim} 21 (2) 8 22 Type: Fraction(Integer) 23\end{verbatim} 24\indentrel{-3}\end{paste}\end{patch} 25 26\begin{patch}{MappingPackageOneXmpPageEmpty2} 27\begin{paste}{MappingPackageOneXmpPageEmpty2}{MappingPackageOneXmpPagePatch2} 28\pastebutton{MappingPackageOneXmpPageEmpty2}{\showpaste} 29\tab{5}\spadcommand{power(2,3)\free{power }} 30\end{paste}\end{patch} 31 32\begin{patch}{MappingPackageOneXmpPagePatch3} 33\begin{paste}{MappingPackageOneXmpPageFull3}{MappingPackageOneXmpPageEmpty3} 34\pastebutton{MappingPackageOneXmpPageFull3}{\hidepaste} 35\tab{5}\spadcommand{rewop := twist power\free{power }\bound{rewop }} 36\indentrel{3}\begin{verbatim} 37 (3) theMap(MAPPKG3;twist;MM;5!0) 38Type: ((Integer, Fraction(Integer)) -> Fraction(Integer)) 39\end{verbatim} 40\indentrel{-3}\end{paste}\end{patch} 41 42\begin{patch}{MappingPackageOneXmpPageEmpty3} 43\begin{paste}{MappingPackageOneXmpPageEmpty3}{MappingPackageOneXmpPagePatch3} 44\pastebutton{MappingPackageOneXmpPageEmpty3}{\showpaste} 45\tab{5}\spadcommand{rewop := twist power\free{power }\bound{rewop }} 46\end{paste}\end{patch} 47 48\begin{patch}{MappingPackageOneXmpPagePatch4} 49\begin{paste}{MappingPackageOneXmpPageFull4}{MappingPackageOneXmpPageEmpty4} 50\pastebutton{MappingPackageOneXmpPageFull4}{\hidepaste} 51\tab{5}\spadcommand{rewop(3, 2)\free{rewop }} 52\indentrel{3}\begin{verbatim} 53 (4) 8 54 Type: Fraction(Integer) 55\end{verbatim} 56\indentrel{-3}\end{paste}\end{patch} 57 58\begin{patch}{MappingPackageOneXmpPageEmpty4} 59\begin{paste}{MappingPackageOneXmpPageEmpty4}{MappingPackageOneXmpPagePatch4} 60\pastebutton{MappingPackageOneXmpPageEmpty4}{\showpaste} 61\tab{5}\spadcommand{rewop(3, 2)\free{rewop }} 62\end{paste}\end{patch} 63 64\begin{patch}{MappingPackageOneXmpPagePatch5} 65\begin{paste}{MappingPackageOneXmpPageFull5}{MappingPackageOneXmpPageEmpty5} 66\pastebutton{MappingPackageOneXmpPageFull5}{\hidepaste} 67\tab{5}\spadcommand{square: FRAC INT -> FRAC INT\bound{squaredec }} 68\indentrel{3}\begin{verbatim} 69 Type: Void 70\end{verbatim} 71\indentrel{-3}\end{paste}\end{patch} 72 73\begin{patch}{MappingPackageOneXmpPageEmpty5} 74\begin{paste}{MappingPackageOneXmpPageEmpty5}{MappingPackageOneXmpPagePatch5} 75\pastebutton{MappingPackageOneXmpPageEmpty5}{\showpaste} 76\tab{5}\spadcommand{square: FRAC INT -> FRAC INT\bound{squaredec }} 77\end{paste}\end{patch} 78 79\begin{patch}{MappingPackageOneXmpPagePatch6} 80\begin{paste}{MappingPackageOneXmpPageFull6}{MappingPackageOneXmpPageEmpty6} 81\pastebutton{MappingPackageOneXmpPageFull6}{\hidepaste} 82\tab{5}\spadcommand{square:= curryRight(power, 2)\free{squaredec poswer }\bound{square }} 83\indentrel{3}\begin{verbatim} 84 (6) theMap(MAPPKG3;curryRight;MBM;1!0,655) 85 Type: (Fraction(Integer) -> Fraction(Integer)) 86\end{verbatim} 87\indentrel{-3}\end{paste}\end{patch} 88 89\begin{patch}{MappingPackageOneXmpPageEmpty6} 90\begin{paste}{MappingPackageOneXmpPageEmpty6}{MappingPackageOneXmpPagePatch6} 91\pastebutton{MappingPackageOneXmpPageEmpty6}{\showpaste} 92\tab{5}\spadcommand{square:= curryRight(power, 2)\free{squaredec poswer }\bound{square }} 93\end{paste}\end{patch} 94 95\begin{patch}{MappingPackageOneXmpPagePatch7} 96\begin{paste}{MappingPackageOneXmpPageFull7}{MappingPackageOneXmpPageEmpty7} 97\pastebutton{MappingPackageOneXmpPageFull7}{\hidepaste} 98\tab{5}\spadcommand{square 4\free{square }} 99\indentrel{3}\begin{verbatim} 100 (7) 16 101 Type: Fraction(Integer) 102\end{verbatim} 103\indentrel{-3}\end{paste}\end{patch} 104 105\begin{patch}{MappingPackageOneXmpPageEmpty7} 106\begin{paste}{MappingPackageOneXmpPageEmpty7}{MappingPackageOneXmpPagePatch7} 107\pastebutton{MappingPackageOneXmpPageEmpty7}{\showpaste} 108\tab{5}\spadcommand{square 4\free{square }} 109\end{paste}\end{patch} 110 111\begin{patch}{MappingPackageOneXmpPagePatch8} 112\begin{paste}{MappingPackageOneXmpPageFull8}{MappingPackageOneXmpPageEmpty8} 113\pastebutton{MappingPackageOneXmpPageFull8}{\hidepaste} 114\tab{5}\spadcommand{squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)\free{square }\bound{squirrel }} 115\indentrel{3}\begin{verbatim} 116 (8) theMap(MAPPKG3;constantRight;MM;3!0) 117Type: ((Fraction(Integer), Fraction(Integer)) -> Fraction(Integer)) 118\end{verbatim} 119\indentrel{-3}\end{paste}\end{patch} 120 121\begin{patch}{MappingPackageOneXmpPageEmpty8} 122\begin{paste}{MappingPackageOneXmpPageEmpty8}{MappingPackageOneXmpPagePatch8} 123\pastebutton{MappingPackageOneXmpPageEmpty8}{\showpaste} 124\tab{5}\spadcommand{squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)\free{square }\bound{squirrel }} 125\end{paste}\end{patch} 126 127\begin{patch}{MappingPackageOneXmpPagePatch9} 128\begin{paste}{MappingPackageOneXmpPageFull9}{MappingPackageOneXmpPageEmpty9} 129\pastebutton{MappingPackageOneXmpPageFull9}{\hidepaste} 130\tab{5}\spadcommand{squirrel(1/2, 1/3)\free{squirrel }} 131\indentrel{3}\begin{verbatim} 132 1 133 (9) - 134 4 135 Type: Fraction(Integer) 136\end{verbatim} 137\indentrel{-3}\end{paste}\end{patch} 138 139\begin{patch}{MappingPackageOneXmpPageEmpty9} 140\begin{paste}{MappingPackageOneXmpPageEmpty9}{MappingPackageOneXmpPagePatch9} 141\pastebutton{MappingPackageOneXmpPageEmpty9}{\showpaste} 142\tab{5}\spadcommand{squirrel(1/2, 1/3)\free{squirrel }} 143\end{paste}\end{patch} 144 145\begin{patch}{MappingPackageOneXmpPagePatch10} 146\begin{paste}{MappingPackageOneXmpPageFull10}{MappingPackageOneXmpPageEmpty10} 147\pastebutton{MappingPackageOneXmpPageFull10}{\hidepaste} 148\tab{5}\spadcommand{sixteen := curry(square, 4/1)\free{square }\bound{sixteen }} 149\indentrel{3}\begin{verbatim} 150 (10) theMap(MAPPKG2;curry;MAM;2!0,655) 151 Type: (() -> Fraction(Integer)) 152\end{verbatim} 153\indentrel{-3}\end{paste}\end{patch} 154 155\begin{patch}{MappingPackageOneXmpPageEmpty10} 156\begin{paste}{MappingPackageOneXmpPageEmpty10}{MappingPackageOneXmpPagePatch10} 157\pastebutton{MappingPackageOneXmpPageEmpty10}{\showpaste} 158\tab{5}\spadcommand{sixteen := curry(square, 4/1)\free{square }\bound{sixteen }} 159\end{paste}\end{patch} 160 161\begin{patch}{MappingPackageOneXmpPagePatch11} 162\begin{paste}{MappingPackageOneXmpPageFull11}{MappingPackageOneXmpPageEmpty11} 163\pastebutton{MappingPackageOneXmpPageFull11}{\hidepaste} 164\tab{5}\spadcommand{sixteen()\free{sixteen }} 165\indentrel{3}\begin{verbatim} 166 (11) 16 167 Type: Fraction(Integer) 168\end{verbatim} 169\indentrel{-3}\end{paste}\end{patch} 170 171\begin{patch}{MappingPackageOneXmpPageEmpty11} 172\begin{paste}{MappingPackageOneXmpPageEmpty11}{MappingPackageOneXmpPagePatch11} 173\pastebutton{MappingPackageOneXmpPageEmpty11}{\showpaste} 174\tab{5}\spadcommand{sixteen()\free{sixteen }} 175\end{paste}\end{patch} 176 177\begin{patch}{MappingPackageOneXmpPagePatch12} 178\begin{paste}{MappingPackageOneXmpPageFull12}{MappingPackageOneXmpPageEmpty12} 179\pastebutton{MappingPackageOneXmpPageFull12}{\hidepaste} 180\tab{5}\spadcommand{square2:=square*square\free{square }\bound{square2 }} 181\indentrel{3}\begin{verbatim} 182 (12) theMap(MAPPKG3;*;MMM;6!0,655) 183 Type: (Fraction(Integer) -> Fraction(Integer)) 184\end{verbatim} 185\indentrel{-3}\end{paste}\end{patch} 186 187\begin{patch}{MappingPackageOneXmpPageEmpty12} 188\begin{paste}{MappingPackageOneXmpPageEmpty12}{MappingPackageOneXmpPagePatch12} 189\pastebutton{MappingPackageOneXmpPageEmpty12}{\showpaste} 190\tab{5}\spadcommand{square2:=square*square\free{square }\bound{square2 }} 191\end{paste}\end{patch} 192 193\begin{patch}{MappingPackageOneXmpPagePatch13} 194\begin{paste}{MappingPackageOneXmpPageFull13}{MappingPackageOneXmpPageEmpty13} 195\pastebutton{MappingPackageOneXmpPageFull13}{\hidepaste} 196\tab{5}\spadcommand{square2 3\free{square2 }} 197\indentrel{3}\begin{verbatim} 198 (13) 81 199 Type: Fraction(Integer) 200\end{verbatim} 201\indentrel{-3}\end{paste}\end{patch} 202 203\begin{patch}{MappingPackageOneXmpPageEmpty13} 204\begin{paste}{MappingPackageOneXmpPageEmpty13}{MappingPackageOneXmpPagePatch13} 205\pastebutton{MappingPackageOneXmpPageEmpty13}{\showpaste} 206\tab{5}\spadcommand{square2 3\free{square2 }} 207\end{paste}\end{patch} 208 209\begin{patch}{MappingPackageOneXmpPagePatch14} 210\begin{paste}{MappingPackageOneXmpPageFull14}{MappingPackageOneXmpPageEmpty14} 211\pastebutton{MappingPackageOneXmpPageFull14}{\hidepaste} 212\tab{5}\spadcommand{sc(x: FRAC INT): FRAC INT == x + 1\bound{sc }} 213\indentrel{3}\begin{verbatim} 214 Type: Void 215\end{verbatim} 216\indentrel{-3}\end{paste}\end{patch} 217 218\begin{patch}{MappingPackageOneXmpPageEmpty14} 219\begin{paste}{MappingPackageOneXmpPageEmpty14}{MappingPackageOneXmpPagePatch14} 220\pastebutton{MappingPackageOneXmpPageEmpty14}{\showpaste} 221\tab{5}\spadcommand{sc(x: FRAC INT): FRAC INT == x + 1\bound{sc }} 222\end{paste}\end{patch} 223 224\begin{patch}{MappingPackageOneXmpPagePatch15} 225\begin{paste}{MappingPackageOneXmpPageFull15}{MappingPackageOneXmpPageEmpty15} 226\pastebutton{MappingPackageOneXmpPageFull15}{\hidepaste} 227\tab{5}\spadcommand{incfns := [sc^i for i in 0..10]\free{sc }\bound{incfns }} 228\indentrel{3}\begin{verbatim} 229 (15) 230 [theMap(MAPPKG1;^;MNniM;4!0,655), 231 theMap(MAPPKG1;^;MNniM;4!0,655), 232 theMap(MAPPKG1;^;MNniM;4!0,655), 233 theMap(MAPPKG1;^;MNniM;4!0,655), 234 theMap(MAPPKG1;^;MNniM;4!0,655), 235 theMap(MAPPKG1;^;MNniM;4!0,655), 236 theMap(MAPPKG1;^;MNniM;4!0,655), 237 theMap(MAPPKG1;^;MNniM;4!0,655), 238 theMap(MAPPKG1;^;MNniM;4!0,655), 239 theMap(MAPPKG1;^;MNniM;4!0,655), 240 theMap(MAPPKG1;^;MNniM;4!0,655)] 241 Type: List((Fraction(Integer) -> Fraction(Integer))) 242\end{verbatim} 243\indentrel{-3}\end{paste}\end{patch} 244 245\begin{patch}{MappingPackageOneXmpPageEmpty15} 246\begin{paste}{MappingPackageOneXmpPageEmpty15}{MappingPackageOneXmpPagePatch15} 247\pastebutton{MappingPackageOneXmpPageEmpty15}{\showpaste} 248\tab{5}\spadcommand{incfns := [sc^i for i in 0..10]\free{sc }\bound{incfns }} 249\end{paste}\end{patch} 250 251\begin{patch}{MappingPackageOneXmpPagePatch16} 252\begin{paste}{MappingPackageOneXmpPageFull16}{MappingPackageOneXmpPageEmpty16} 253\pastebutton{MappingPackageOneXmpPageFull16}{\hidepaste} 254\tab{5}\spadcommand{[f 4 for f in incfns]\free{incfns }} 255\indentrel{3}\begin{verbatim} 256 (16) [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14] 257 Type: List(Fraction(Integer)) 258\end{verbatim} 259\indentrel{-3}\end{paste}\end{patch} 260 261\begin{patch}{MappingPackageOneXmpPageEmpty16} 262\begin{paste}{MappingPackageOneXmpPageEmpty16}{MappingPackageOneXmpPagePatch16} 263\pastebutton{MappingPackageOneXmpPageEmpty16}{\showpaste} 264\tab{5}\spadcommand{[f 4 for f in incfns]\free{incfns }} 265\end{paste}\end{patch} 266 267\begin{patch}{MappingPackageOneXmpPagePatch17} 268\begin{paste}{MappingPackageOneXmpPageFull17}{MappingPackageOneXmpPageEmpty17} 269\pastebutton{MappingPackageOneXmpPageFull17}{\hidepaste} 270\tab{5}\spadcommand{times(n:NNI, i:INT):INT == n*i\bound{rdec }} 271\indentrel{3}\begin{verbatim} 272 Type: Void 273\end{verbatim} 274\indentrel{-3}\end{paste}\end{patch} 275 276\begin{patch}{MappingPackageOneXmpPageEmpty17} 277\begin{paste}{MappingPackageOneXmpPageEmpty17}{MappingPackageOneXmpPagePatch17} 278\pastebutton{MappingPackageOneXmpPageEmpty17}{\showpaste} 279\tab{5}\spadcommand{times(n:NNI, i:INT):INT == n*i\bound{rdec }} 280\end{paste}\end{patch} 281 282\begin{patch}{MappingPackageOneXmpPagePatch18} 283\begin{paste}{MappingPackageOneXmpPageFull18}{MappingPackageOneXmpPageEmpty18} 284\pastebutton{MappingPackageOneXmpPageFull18}{\hidepaste} 285\tab{5}\spadcommand{r := recur(times)\free{rdec }\bound{r }} 286\indentrel{3}\begin{verbatim} 287 (18) theMap(MAPPKG1;recur;2M;5!0,655) 288 Type: ((NonNegativeInteger, Integer) -> Integer) 289\end{verbatim} 290\indentrel{-3}\end{paste}\end{patch} 291 292\begin{patch}{MappingPackageOneXmpPageEmpty18} 293\begin{paste}{MappingPackageOneXmpPageEmpty18}{MappingPackageOneXmpPagePatch18} 294\pastebutton{MappingPackageOneXmpPageEmpty18}{\showpaste} 295\tab{5}\spadcommand{r := recur(times)\free{rdec }\bound{r }} 296\end{paste}\end{patch} 297 298\begin{patch}{MappingPackageOneXmpPagePatch19} 299\begin{paste}{MappingPackageOneXmpPageFull19}{MappingPackageOneXmpPageEmpty19} 300\pastebutton{MappingPackageOneXmpPageFull19}{\hidepaste} 301\tab{5}\spadcommand{fact := curryRight(r, 1)\free{r }\bound{fact }} 302\indentrel{3}\begin{verbatim} 303 (19) theMap(MAPPKG3;curryRight;MBM;1!0,655) 304 Type: (NonNegativeInteger -> Integer) 305\end{verbatim} 306\indentrel{-3}\end{paste}\end{patch} 307 308\begin{patch}{MappingPackageOneXmpPageEmpty19} 309\begin{paste}{MappingPackageOneXmpPageEmpty19}{MappingPackageOneXmpPagePatch19} 310\pastebutton{MappingPackageOneXmpPageEmpty19}{\showpaste} 311\tab{5}\spadcommand{fact := curryRight(r, 1)\free{r }\bound{fact }} 312\end{paste}\end{patch} 313 314\begin{patch}{MappingPackageOneXmpPagePatch20} 315\begin{paste}{MappingPackageOneXmpPageFull20}{MappingPackageOneXmpPageEmpty20} 316\pastebutton{MappingPackageOneXmpPageFull20}{\hidepaste} 317\tab{5}\spadcommand{fact 4\free{fact }} 318\indentrel{3}\begin{verbatim} 319 (20) 24 320 Type: PositiveInteger 321\end{verbatim} 322\indentrel{-3}\end{paste}\end{patch} 323 324\begin{patch}{MappingPackageOneXmpPageEmpty20} 325\begin{paste}{MappingPackageOneXmpPageEmpty20}{MappingPackageOneXmpPagePatch20} 326\pastebutton{MappingPackageOneXmpPageEmpty20}{\showpaste} 327\tab{5}\spadcommand{fact 4\free{fact }} 328\end{paste}\end{patch} 329 330\begin{patch}{MappingPackageOneXmpPagePatch21} 331\begin{paste}{MappingPackageOneXmpPageFull21}{MappingPackageOneXmpPageEmpty21} 332\pastebutton{MappingPackageOneXmpPageFull21}{\hidepaste} 333\tab{5}\spadcommand{mto2ton(m, n) == 334 raiser := square^n 335 raiser m 336\free{square }\bound{mto2ton }} 337\indentrel{3}\begin{verbatim} 338 Type: Void 339\end{verbatim} 340\indentrel{-3}\end{paste}\end{patch} 341 342\begin{patch}{MappingPackageOneXmpPageEmpty21} 343\begin{paste}{MappingPackageOneXmpPageEmpty21}{MappingPackageOneXmpPagePatch21} 344\pastebutton{MappingPackageOneXmpPageEmpty21}{\showpaste} 345\tab{5}\spadcommand{mto2ton(m, n) == 346 raiser := square^n 347 raiser m 348\free{square }\bound{mto2ton }} 349\end{paste}\end{patch} 350 351\begin{patch}{MappingPackageOneXmpPagePatch22} 352\begin{paste}{MappingPackageOneXmpPageFull22}{MappingPackageOneXmpPageEmpty22} 353\pastebutton{MappingPackageOneXmpPageFull22}{\hidepaste} 354\tab{5}\spadcommand{mto2ton(3, 3)\free{mto2ton }} 355\indentrel{3}\begin{verbatim} 356 (22) 6561 357 Type: Fraction(Integer) 358\end{verbatim} 359\indentrel{-3}\end{paste}\end{patch} 360 361\begin{patch}{MappingPackageOneXmpPageEmpty22} 362\begin{paste}{MappingPackageOneXmpPageEmpty22}{MappingPackageOneXmpPagePatch22} 363\pastebutton{MappingPackageOneXmpPageEmpty22}{\showpaste} 364\tab{5}\spadcommand{mto2ton(3, 3)\free{mto2ton }} 365\end{paste}\end{patch} 366 367\begin{patch}{MappingPackageOneXmpPagePatch23} 368\begin{paste}{MappingPackageOneXmpPageFull23}{MappingPackageOneXmpPageEmpty23} 369\pastebutton{MappingPackageOneXmpPageFull23}{\hidepaste} 370\tab{5}\spadcommand{shiftfib(r: List INT) : INT == 371 t := r.1 372 r.1 := r.2 373 r.2 := r.2 + t 374 t 375\bound{shiftfib }} 376\indentrel{3}\begin{verbatim} 377 Type: Void 378\end{verbatim} 379\indentrel{-3}\end{paste}\end{patch} 380 381\begin{patch}{MappingPackageOneXmpPageEmpty23} 382\begin{paste}{MappingPackageOneXmpPageEmpty23}{MappingPackageOneXmpPagePatch23} 383\pastebutton{MappingPackageOneXmpPageEmpty23}{\showpaste} 384\tab{5}\spadcommand{shiftfib(r: List INT) : INT == 385 t := r.1 386 r.1 := r.2 387 r.2 := r.2 + t 388 t 389\bound{shiftfib }} 390\end{paste}\end{patch} 391 392\begin{patch}{MappingPackageOneXmpPagePatch24} 393\begin{paste}{MappingPackageOneXmpPageFull24}{MappingPackageOneXmpPageEmpty24} 394\pastebutton{MappingPackageOneXmpPageFull24}{\hidepaste} 395\tab{5}\spadcommand{fibinit: List INT := [0, 1]\bound{fibinitdec }} 396\indentrel{3}\begin{verbatim} 397 (24) [0, 1] 398 Type: List(Integer) 399\end{verbatim} 400\indentrel{-3}\end{paste}\end{patch} 401 402\begin{patch}{MappingPackageOneXmpPageEmpty24} 403\begin{paste}{MappingPackageOneXmpPageEmpty24}{MappingPackageOneXmpPagePatch24} 404\pastebutton{MappingPackageOneXmpPageEmpty24}{\showpaste} 405\tab{5}\spadcommand{fibinit: List INT := [0, 1]\bound{fibinitdec }} 406\end{paste}\end{patch} 407 408\begin{patch}{MappingPackageOneXmpPagePatch25} 409\begin{paste}{MappingPackageOneXmpPageFull25}{MappingPackageOneXmpPageEmpty25} 410\pastebutton{MappingPackageOneXmpPageFull25}{\hidepaste} 411\tab{5}\spadcommand{fibs := curry(shiftfib, fibinit)\free{shiftfib fibinit }\bound{fibs }} 412\indentrel{3}\begin{verbatim} 413 (25) theMap(MAPPKG2;curry;MAM;2!0,655) 414 Type: (() -> Integer) 415\end{verbatim} 416\indentrel{-3}\end{paste}\end{patch} 417 418\begin{patch}{MappingPackageOneXmpPageEmpty25} 419\begin{paste}{MappingPackageOneXmpPageEmpty25}{MappingPackageOneXmpPagePatch25} 420\pastebutton{MappingPackageOneXmpPageEmpty25}{\showpaste} 421\tab{5}\spadcommand{fibs := curry(shiftfib, fibinit)\free{shiftfib fibinit }\bound{fibs }} 422\end{paste}\end{patch} 423 424\begin{patch}{MappingPackageOneXmpPagePatch26} 425\begin{paste}{MappingPackageOneXmpPageFull26}{MappingPackageOneXmpPageEmpty26} 426\pastebutton{MappingPackageOneXmpPageFull26}{\hidepaste} 427\tab{5}\spadcommand{[fibs() for i in 0..30]\free{fibs }} 428\indentrel{3}\begin{verbatim} 429 (26) 430 [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 431 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, 432 28657, 46368, 75025, 121393, 196418, 317811, 514229, 433 832040] 434 Type: List(Integer) 435\end{verbatim} 436\indentrel{-3}\end{paste}\end{patch} 437 438\begin{patch}{MappingPackageOneXmpPageEmpty26} 439\begin{paste}{MappingPackageOneXmpPageEmpty26}{MappingPackageOneXmpPagePatch26} 440\pastebutton{MappingPackageOneXmpPageEmpty26}{\showpaste} 441\tab{5}\spadcommand{[fibs() for i in 0..30]\free{fibs }} 442\end{paste}\end{patch} 443 444