\begin{patch}{FactoredFunctionsTwoXmpPagePatch1}
\begin{paste}{FactoredFunctionsTwoXmpPageFull1}{FactoredFunctionsTwoXmpPageEmpty1}
\pastebutton{FactoredFunctionsTwoXmpPageFull1}{\hidepaste}
\tab{5}\spadcommand{double(x) == x + x\bound{double }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty1}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty1}{FactoredFunctionsTwoXmpPagePatch1}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty1}{\showpaste}
\tab{5}\spadcommand{double(x) == x + x\bound{double }}
\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPagePatch2}
\begin{paste}{FactoredFunctionsTwoXmpPageFull2}{FactoredFunctionsTwoXmpPageEmpty2}
\pastebutton{FactoredFunctionsTwoXmpPageFull2}{\hidepaste}
\tab{5}\spadcommand{f := factor(720)\bound{f }}
\indentrel{3}\begin{verbatim}
         4 2
   (2)  2 3 5
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty2}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty2}{FactoredFunctionsTwoXmpPagePatch2}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty2}{\showpaste}
\tab{5}\spadcommand{f := factor(720)\bound{f }}
\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPagePatch3}
\begin{paste}{FactoredFunctionsTwoXmpPageFull3}{FactoredFunctionsTwoXmpPageEmpty3}
\pastebutton{FactoredFunctionsTwoXmpPageFull3}{\hidepaste}
\tab{5}\spadcommand{map(double,f)\free{f }\free{double }}
\indentrel{3}\begin{verbatim}
           4 2
   (3)  2 4 6 10
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty3}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty3}{FactoredFunctionsTwoXmpPagePatch3}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty3}{\showpaste}
\tab{5}\spadcommand{map(double,f)\free{f }\free{double }}
\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPagePatch4}
\begin{paste}{FactoredFunctionsTwoXmpPageFull4}{FactoredFunctionsTwoXmpPageEmpty4}
\pastebutton{FactoredFunctionsTwoXmpPageFull4}{\hidepaste}
\tab{5}\spadcommand{makePoly(b) == x + b\bound{makePoly }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty4}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty4}{FactoredFunctionsTwoXmpPagePatch4}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty4}{\showpaste}
\tab{5}\spadcommand{makePoly(b) == x + b\bound{makePoly }}
\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPagePatch5}
\begin{paste}{FactoredFunctionsTwoXmpPageFull5}{FactoredFunctionsTwoXmpPageEmpty5}
\pastebutton{FactoredFunctionsTwoXmpPageFull5}{\hidepaste}
\tab{5}\spadcommand{g := map(makePoly,f)\free{f }\free{makePoly }\bound{g }}
\indentrel{3}\begin{verbatim}
                      4       2
   (5)  (x + 1)(x + 2) (x + 3) (x + 5)
                      Type: Factored Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty5}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty5}{FactoredFunctionsTwoXmpPagePatch5}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty5}{\showpaste}
\tab{5}\spadcommand{g := map(makePoly,f)\free{f }\free{makePoly }\bound{g }}
\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPagePatch6}
\begin{paste}{FactoredFunctionsTwoXmpPageFull6}{FactoredFunctionsTwoXmpPageEmpty6}
\pastebutton{FactoredFunctionsTwoXmpPageFull6}{\hidepaste}
\tab{5}\spadcommand{nthFlag(g,1)\free{g }}
\indentrel{3}\begin{verbatim}
   (6)  "nil"
                                 Type: Union("nil",...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{FactoredFunctionsTwoXmpPageEmpty6}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty6}{FactoredFunctionsTwoXmpPagePatch6}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty6}{\showpaste}
\tab{5}\spadcommand{nthFlag(g,1)\free{g }}
\end{paste}\end{patch}