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/ARRAY1.pht | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/hyper/pages/ARRAY1.pht')
-rw-r--r-- | src/hyper/pages/ARRAY1.pht | 144 |
1 files changed, 144 insertions, 0 deletions
diff --git a/src/hyper/pages/ARRAY1.pht b/src/hyper/pages/ARRAY1.pht new file mode 100644 index 00000000..1a2079ad --- /dev/null +++ b/src/hyper/pages/ARRAY1.pht @@ -0,0 +1,144 @@ +\begin{patch}{OneDimensionalArrayXmpPagePatch1} +\begin{paste}{OneDimensionalArrayXmpPageFull1}{OneDimensionalArrayXmpPageEmpty1} +\pastebutton{OneDimensionalArrayXmpPageFull1}{\hidepaste} +\tab{5}\spadcommand{oneDimensionalArray [i**2 for i in 1..10]} +\indentrel{3}\begin{verbatim} + (1) [1,4,9,16,25,36,49,64,81,100] + Type: OneDimensionalArray PositiveInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty1} +\begin{paste}{OneDimensionalArrayXmpPageEmpty1}{OneDimensionalArrayXmpPagePatch1} +\pastebutton{OneDimensionalArrayXmpPageEmpty1}{\showpaste} +\tab{5}\spadcommand{oneDimensionalArray [i**2 for i in 1..10]} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch2} +\begin{paste}{OneDimensionalArrayXmpPageFull2}{OneDimensionalArrayXmpPageEmpty2} +\pastebutton{OneDimensionalArrayXmpPageFull2}{\hidepaste} +\tab{5}\spadcommand{a : ARRAY1 INT := new(10,0)\bound{a }} +\indentrel{3}\begin{verbatim} + (2) [0,0,0,0,0,0,0,0,0,0] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty2} +\begin{paste}{OneDimensionalArrayXmpPageEmpty2}{OneDimensionalArrayXmpPagePatch2} +\pastebutton{OneDimensionalArrayXmpPageEmpty2}{\showpaste} +\tab{5}\spadcommand{a : ARRAY1 INT := new(10,0)\bound{a }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch3} +\begin{paste}{OneDimensionalArrayXmpPageFull3}{OneDimensionalArrayXmpPageEmpty3} +\pastebutton{OneDimensionalArrayXmpPageFull3}{\hidepaste} +\tab{5}\spadcommand{for i in 1..10 repeat a.i := i; a\bound{a1 }\free{a }} +\indentrel{3}\begin{verbatim} + (3) [1,2,3,4,5,6,7,8,9,10] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty3} +\begin{paste}{OneDimensionalArrayXmpPageEmpty3}{OneDimensionalArrayXmpPagePatch3} +\pastebutton{OneDimensionalArrayXmpPageEmpty3}{\showpaste} +\tab{5}\spadcommand{for i in 1..10 repeat a.i := i; a\bound{a1 }\free{a }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch4} +\begin{paste}{OneDimensionalArrayXmpPageFull4}{OneDimensionalArrayXmpPageEmpty4} +\pastebutton{OneDimensionalArrayXmpPageFull4}{\hidepaste} +\tab{5}\spadcommand{map!(i +-> i ** 2,a); a\bound{a3 }\free{a2 }} +\indentrel{3}\begin{verbatim} + (4) [1,4,9,16,25,36,49,64,81,100] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty4} +\begin{paste}{OneDimensionalArrayXmpPageEmpty4}{OneDimensionalArrayXmpPagePatch4} +\pastebutton{OneDimensionalArrayXmpPageEmpty4}{\showpaste} +\tab{5}\spadcommand{map!(i +-> i ** 2,a); a\bound{a3 }\free{a2 }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch5} +\begin{paste}{OneDimensionalArrayXmpPageFull5}{OneDimensionalArrayXmpPageEmpty5} +\pastebutton{OneDimensionalArrayXmpPageFull5}{\hidepaste} +\tab{5}\spadcommand{reverse! a\bound{a4 }\free{a3 }} +\indentrel{3}\begin{verbatim} + (5) [100,81,64,49,36,25,16,9,4,1] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty5} +\begin{paste}{OneDimensionalArrayXmpPageEmpty5}{OneDimensionalArrayXmpPagePatch5} +\pastebutton{OneDimensionalArrayXmpPageEmpty5}{\showpaste} +\tab{5}\spadcommand{reverse! a\bound{a4 }\free{a3 }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch6} +\begin{paste}{OneDimensionalArrayXmpPageFull6}{OneDimensionalArrayXmpPageEmpty6} +\pastebutton{OneDimensionalArrayXmpPageFull6}{\hidepaste} +\tab{5}\spadcommand{swap!(a,4,5); a\bound{a5 }\free{a4 }} +\indentrel{3}\begin{verbatim} + (6) [100,81,64,36,49,25,16,9,4,1] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty6} +\begin{paste}{OneDimensionalArrayXmpPageEmpty6}{OneDimensionalArrayXmpPagePatch6} +\pastebutton{OneDimensionalArrayXmpPageEmpty6}{\showpaste} +\tab{5}\spadcommand{swap!(a,4,5); a\bound{a5 }\free{a4 }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch7} +\begin{paste}{OneDimensionalArrayXmpPageFull7}{OneDimensionalArrayXmpPageEmpty7} +\pastebutton{OneDimensionalArrayXmpPageFull7}{\hidepaste} +\tab{5}\spadcommand{sort! a\bound{a6 }\free{a5 }} +\indentrel{3}\begin{verbatim} + (7) [1,4,9,16,25,36,49,64,81,100] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty7} +\begin{paste}{OneDimensionalArrayXmpPageEmpty7}{OneDimensionalArrayXmpPagePatch7} +\pastebutton{OneDimensionalArrayXmpPageEmpty7}{\showpaste} +\tab{5}\spadcommand{sort! a\bound{a6 }\free{a5 }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch8} +\begin{paste}{OneDimensionalArrayXmpPageFull8}{OneDimensionalArrayXmpPageEmpty8} +\pastebutton{OneDimensionalArrayXmpPageFull8}{\hidepaste} +\tab{5}\spadcommand{b := a(6..10)\bound{b }\free{a6 }} +\indentrel{3}\begin{verbatim} + (8) [36,49,64,81,100] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty8} +\begin{paste}{OneDimensionalArrayXmpPageEmpty8}{OneDimensionalArrayXmpPagePatch8} +\pastebutton{OneDimensionalArrayXmpPageEmpty8}{\showpaste} +\tab{5}\spadcommand{b := a(6..10)\bound{b }\free{a6 }} +\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPagePatch9} +\begin{paste}{OneDimensionalArrayXmpPageFull9}{OneDimensionalArrayXmpPageEmpty9} +\pastebutton{OneDimensionalArrayXmpPageFull9}{\hidepaste} +\tab{5}\spadcommand{copyInto!(a,b,1)\free{b }} +\indentrel{3}\begin{verbatim} + (9) [36,49,64,81,100,36,49,64,81,100] + Type: OneDimensionalArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{OneDimensionalArrayXmpPageEmpty9} +\begin{paste}{OneDimensionalArrayXmpPageEmpty9}{OneDimensionalArrayXmpPagePatch9} +\pastebutton{OneDimensionalArrayXmpPageEmpty9}{\showpaste} +\tab{5}\spadcommand{copyInto!(a,b,1)\free{b }} +\end{paste}\end{patch} + |