Initial population.

1 files changed, 97 insertions, 0 deletions

diff --git a/src/hyper/pages/FR2.pht b/src/hyper/pages/FR2.pht
new file mode 100644
index 00000000..5b26c40f
--- /dev/null
+++ b/src/hyper/pages/FR2.pht
@@ -0,0 +1,97 @@
+\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}
+