diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
commit | ab8cc85adde879fb963c94d15675783f2cf4b183 (patch) | |
tree | c202482327f474583b750b2c45dedfc4e4312b1d /src/hyper/pages/FR2.pht | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/hyper/pages/FR2.pht')
-rw-r--r-- | src/hyper/pages/FR2.pht | 97 |
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} + |