From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Aug 2007 05:14:52 +0000 Subject: Initial population. --- src/hyper/pages/FARRAY.pht | 258 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 258 insertions(+) create mode 100644 src/hyper/pages/FARRAY.pht (limited to 'src/hyper/pages/FARRAY.pht') diff --git a/src/hyper/pages/FARRAY.pht b/src/hyper/pages/FARRAY.pht new file mode 100644 index 00000000..5346e3e5 --- /dev/null +++ b/src/hyper/pages/FARRAY.pht @@ -0,0 +1,258 @@ +\begin{patch}{FlexibleArrayXmpPagePatch1} +\begin{paste}{FlexibleArrayXmpPageFull1}{FlexibleArrayXmpPageEmpty1} +\pastebutton{FlexibleArrayXmpPageFull1}{\hidepaste} +\tab{5}\spadcommand{flexibleArray [i for i in 1..6]} +\indentrel{3}\begin{verbatim} + (1) [1,2,3,4,5,6] + Type: FlexibleArray PositiveInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty1} +\begin{paste}{FlexibleArrayXmpPageEmpty1}{FlexibleArrayXmpPagePatch1} +\pastebutton{FlexibleArrayXmpPageEmpty1}{\showpaste} +\tab{5}\spadcommand{flexibleArray [i for i in 1..6]} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch2} +\begin{paste}{FlexibleArrayXmpPageFull2}{FlexibleArrayXmpPageEmpty2} +\pastebutton{FlexibleArrayXmpPageFull2}{\hidepaste} +\tab{5}\spadcommand{f : FARRAY INT := new(6,0)\bound{f }} +\indentrel{3}\begin{verbatim} + (2) [0,0,0,0,0,0] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty2} +\begin{paste}{FlexibleArrayXmpPageEmpty2}{FlexibleArrayXmpPagePatch2} +\pastebutton{FlexibleArrayXmpPageEmpty2}{\showpaste} +\tab{5}\spadcommand{f : FARRAY INT := new(6,0)\bound{f }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch3} +\begin{paste}{FlexibleArrayXmpPageFull3}{FlexibleArrayXmpPageEmpty3} +\pastebutton{FlexibleArrayXmpPageFull3}{\hidepaste} +\tab{5}\spadcommand{for i in 1..6 repeat f.i := i; f\bound{f1 }\free{f }} +\indentrel{3}\begin{verbatim} + (3) [1,2,3,4,5,6] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty3} +\begin{paste}{FlexibleArrayXmpPageEmpty3}{FlexibleArrayXmpPagePatch3} +\pastebutton{FlexibleArrayXmpPageEmpty3}{\showpaste} +\tab{5}\spadcommand{for i in 1..6 repeat f.i := i; f\bound{f1 }\free{f }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch4} +\begin{paste}{FlexibleArrayXmpPageFull4}{FlexibleArrayXmpPageEmpty4} +\pastebutton{FlexibleArrayXmpPageFull4}{\hidepaste} +\tab{5}\spadcommand{physicalLength f\free{f1 }} +\indentrel{3}\begin{verbatim} + (4) 6 + Type: PositiveInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty4} +\begin{paste}{FlexibleArrayXmpPageEmpty4}{FlexibleArrayXmpPagePatch4} +\pastebutton{FlexibleArrayXmpPageEmpty4}{\showpaste} +\tab{5}\spadcommand{physicalLength f\free{f1 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch5} +\begin{paste}{FlexibleArrayXmpPageFull5}{FlexibleArrayXmpPageEmpty5} +\pastebutton{FlexibleArrayXmpPageFull5}{\hidepaste} +\tab{5}\spadcommand{concat!(f,11)\bound{f2 }\free{f1 }} +\indentrel{3}\begin{verbatim} + (5) [1,2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty5} +\begin{paste}{FlexibleArrayXmpPageEmpty5}{FlexibleArrayXmpPagePatch5} +\pastebutton{FlexibleArrayXmpPageEmpty5}{\showpaste} +\tab{5}\spadcommand{concat!(f,11)\bound{f2 }\free{f1 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch6} +\begin{paste}{FlexibleArrayXmpPageFull6}{FlexibleArrayXmpPageEmpty6} +\pastebutton{FlexibleArrayXmpPageFull6}{\hidepaste} +\tab{5}\spadcommand{physicalLength f\free{f2 }} +\indentrel{3}\begin{verbatim} + (6) 10 + Type: PositiveInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty6} +\begin{paste}{FlexibleArrayXmpPageEmpty6}{FlexibleArrayXmpPagePatch6} +\pastebutton{FlexibleArrayXmpPageEmpty6}{\showpaste} +\tab{5}\spadcommand{physicalLength f\free{f2 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch7} +\begin{paste}{FlexibleArrayXmpPageFull7}{FlexibleArrayXmpPageEmpty7} +\pastebutton{FlexibleArrayXmpPageFull7}{\hidepaste} +\tab{5}\spadcommand{physicalLength!(f,15)\bound{f3 }\free{f2 }} +\indentrel{3}\begin{verbatim} + (7) [1,2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty7} +\begin{paste}{FlexibleArrayXmpPageEmpty7}{FlexibleArrayXmpPagePatch7} +\pastebutton{FlexibleArrayXmpPageEmpty7}{\showpaste} +\tab{5}\spadcommand{physicalLength!(f,15)\bound{f3 }\free{f2 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch8} +\begin{paste}{FlexibleArrayXmpPageFull8}{FlexibleArrayXmpPageEmpty8} +\pastebutton{FlexibleArrayXmpPageFull8}{\hidepaste} +\tab{5}\spadcommand{concat!(f,f)\bound{f4 }\free{f3 }} +\indentrel{3}\begin{verbatim} + (8) [1,2,3,4,5,6,11,1,2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty8} +\begin{paste}{FlexibleArrayXmpPageEmpty8}{FlexibleArrayXmpPagePatch8} +\pastebutton{FlexibleArrayXmpPageEmpty8}{\showpaste} +\tab{5}\spadcommand{concat!(f,f)\bound{f4 }\free{f3 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch9} +\begin{paste}{FlexibleArrayXmpPageFull9}{FlexibleArrayXmpPageEmpty9} +\pastebutton{FlexibleArrayXmpPageFull9}{\hidepaste} +\tab{5}\spadcommand{insert!(22,f,1)\bound{f5 }\free{f4 }} +\indentrel{3}\begin{verbatim} + (9) [22,1,2,3,4,5,6,11,1,2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty9} +\begin{paste}{FlexibleArrayXmpPageEmpty9}{FlexibleArrayXmpPagePatch9} +\pastebutton{FlexibleArrayXmpPageEmpty9}{\showpaste} +\tab{5}\spadcommand{insert!(22,f,1)\bound{f5 }\free{f4 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch10} +\begin{paste}{FlexibleArrayXmpPageFull10}{FlexibleArrayXmpPageEmpty10} +\pastebutton{FlexibleArrayXmpPageFull10}{\hidepaste} +\tab{5}\spadcommand{g := f(10..)\bound{g }\free{f5 }} +\indentrel{3}\begin{verbatim} + (10) [2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty10} +\begin{paste}{FlexibleArrayXmpPageEmpty10}{FlexibleArrayXmpPagePatch10} +\pastebutton{FlexibleArrayXmpPageEmpty10}{\showpaste} +\tab{5}\spadcommand{g := f(10..)\bound{g }\free{f5 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch11} +\begin{paste}{FlexibleArrayXmpPageFull11}{FlexibleArrayXmpPageEmpty11} +\pastebutton{FlexibleArrayXmpPageFull11}{\hidepaste} +\tab{5}\spadcommand{insert!(g,f,1)\bound{g1 }\free{g f5 }} +\indentrel{3}\begin{verbatim} + (11) [2,3,4,5,6,11,22,1,2,3,4,5,6,11,1,2,3,4,5,6,11] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty11} +\begin{paste}{FlexibleArrayXmpPageEmpty11}{FlexibleArrayXmpPagePatch11} +\pastebutton{FlexibleArrayXmpPageEmpty11}{\showpaste} +\tab{5}\spadcommand{insert!(g,f,1)\bound{g1 }\free{g f5 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch12} +\begin{paste}{FlexibleArrayXmpPageFull12}{FlexibleArrayXmpPageEmpty12} +\pastebutton{FlexibleArrayXmpPageFull12}{\hidepaste} +\tab{5}\spadcommand{merge!(sort! f, sort! g)\bound{f6 }\free{g f5 }} +\indentrel{3}\begin{verbatim} + (12) + [1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, + 6, 6, 6, 6, 11, 11, 11, 11, 22] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty12} +\begin{paste}{FlexibleArrayXmpPageEmpty12}{FlexibleArrayXmpPagePatch12} +\pastebutton{FlexibleArrayXmpPageEmpty12}{\showpaste} +\tab{5}\spadcommand{merge!(sort! f, sort! g)\bound{f6 }\free{g f5 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch13} +\begin{paste}{FlexibleArrayXmpPageFull13}{FlexibleArrayXmpPageEmpty13} +\pastebutton{FlexibleArrayXmpPageFull13}{\hidepaste} +\tab{5}\spadcommand{removeDuplicates! f\bound{f7 }\free{f6 }} +\indentrel{3}\begin{verbatim} + (13) [1,2,3,4,5,6,11,22] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty13} +\begin{paste}{FlexibleArrayXmpPageEmpty13}{FlexibleArrayXmpPagePatch13} +\pastebutton{FlexibleArrayXmpPageEmpty13}{\showpaste} +\tab{5}\spadcommand{removeDuplicates! f\bound{f7 }\free{f6 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch14} +\begin{paste}{FlexibleArrayXmpPageFull14}{FlexibleArrayXmpPageEmpty14} +\pastebutton{FlexibleArrayXmpPageFull14}{\hidepaste} +\tab{5}\spadcommand{select!(i +-> even? i,f)\bound{f8 }\free{f7 }} +\indentrel{3}\begin{verbatim} + (14) [2,4,6,22] + Type: FlexibleArray Integer +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty14} +\begin{paste}{FlexibleArrayXmpPageEmpty14}{FlexibleArrayXmpPagePatch14} +\pastebutton{FlexibleArrayXmpPageEmpty14}{\showpaste} +\tab{5}\spadcommand{select!(i +-> even? i,f)\bound{f8 }\free{f7 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch15} +\begin{paste}{FlexibleArrayXmpPageFull15}{FlexibleArrayXmpPageEmpty15} +\pastebutton{FlexibleArrayXmpPageFull15}{\hidepaste} +\tab{5}\spadcommand{physicalLength f\free{b8 }} +\indentrel{3}\begin{verbatim} + (15) 8 + Type: PositiveInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty15} +\begin{paste}{FlexibleArrayXmpPageEmpty15}{FlexibleArrayXmpPagePatch15} +\pastebutton{FlexibleArrayXmpPageEmpty15}{\showpaste} +\tab{5}\spadcommand{physicalLength f\free{b8 }} +\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPagePatch16} +\begin{paste}{FlexibleArrayXmpPageFull16}{FlexibleArrayXmpPageEmpty16} +\pastebutton{FlexibleArrayXmpPageFull16}{\hidepaste} +\tab{5}\spadcommand{shrinkable(false)$FlexibleArray(Integer)} +\indentrel{3}\begin{verbatim} + (16) true + Type: Boolean +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{FlexibleArrayXmpPageEmpty16} +\begin{paste}{FlexibleArrayXmpPageEmpty16}{FlexibleArrayXmpPagePatch16} +\pastebutton{FlexibleArrayXmpPageEmpty16}{\showpaste} +\tab{5}\spadcommand{shrinkable(false)$FlexibleArray(Integer)} +\end{paste}\end{patch} + -- cgit v1.2.3