1\begin{patch}{UniversalSegmentXmpPagePatch1} 2\begin{paste}{UniversalSegmentXmpPageFull1}{UniversalSegmentXmpPageEmpty1} 3\pastebutton{UniversalSegmentXmpPageFull1}{\hidepaste} 4\tab{5}\spadcommand{pints := 1..\bound{pints }} 5\indentrel{3}\begin{verbatim} 6 (1) 1.. 7 Type: UniversalSegment(PositiveInteger) 8\end{verbatim} 9\indentrel{-3}\end{paste}\end{patch} 10 11\begin{patch}{UniversalSegmentXmpPageEmpty1} 12\begin{paste}{UniversalSegmentXmpPageEmpty1}{UniversalSegmentXmpPagePatch1} 13\pastebutton{UniversalSegmentXmpPageEmpty1}{\showpaste} 14\tab{5}\spadcommand{pints := 1..\bound{pints }} 15\end{paste}\end{patch} 16 17\begin{patch}{UniversalSegmentXmpPagePatch2} 18\begin{paste}{UniversalSegmentXmpPageFull2}{UniversalSegmentXmpPageEmpty2} 19\pastebutton{UniversalSegmentXmpPageFull2}{\hidepaste} 20\tab{5}\spadcommand{nevens := (0..) by -2\bound{nevens }} 21\indentrel{3}\begin{verbatim} 22 (2) 0.. by - 2 23 Type: UniversalSegment(NonNegativeInteger) 24\end{verbatim} 25\indentrel{-3}\end{paste}\end{patch} 26 27\begin{patch}{UniversalSegmentXmpPageEmpty2} 28\begin{paste}{UniversalSegmentXmpPageEmpty2}{UniversalSegmentXmpPagePatch2} 29\pastebutton{UniversalSegmentXmpPageEmpty2}{\showpaste} 30\tab{5}\spadcommand{nevens := (0..) by -2\bound{nevens }} 31\end{paste}\end{patch} 32 33\begin{patch}{UniversalSegmentXmpPagePatch3} 34\begin{paste}{UniversalSegmentXmpPageFull3}{UniversalSegmentXmpPageEmpty3} 35\pastebutton{UniversalSegmentXmpPageFull3}{\hidepaste} 36\tab{5}\spadcommand{useg: UniversalSegment(Integer) := 3..10\bound{useg }} 37\indentrel{3}\begin{verbatim} 38 (3) 3..10 39 Type: UniversalSegment(Integer) 40\end{verbatim} 41\indentrel{-3}\end{paste}\end{patch} 42 43\begin{patch}{UniversalSegmentXmpPageEmpty3} 44\begin{paste}{UniversalSegmentXmpPageEmpty3}{UniversalSegmentXmpPagePatch3} 45\pastebutton{UniversalSegmentXmpPageEmpty3}{\showpaste} 46\tab{5}\spadcommand{useg: UniversalSegment(Integer) := 3..10\bound{useg }} 47\end{paste}\end{patch} 48 49\begin{patch}{UniversalSegmentXmpPagePatch4} 50\begin{paste}{UniversalSegmentXmpPageFull4}{UniversalSegmentXmpPageEmpty4} 51\pastebutton{UniversalSegmentXmpPageFull4}{\hidepaste} 52\tab{5}\spadcommand{hasHi pints\free{pints }} 53\indentrel{3}\begin{verbatim} 54 (4) false 55 Type: Boolean 56\end{verbatim} 57\indentrel{-3}\end{paste}\end{patch} 58 59\begin{patch}{UniversalSegmentXmpPageEmpty4} 60\begin{paste}{UniversalSegmentXmpPageEmpty4}{UniversalSegmentXmpPagePatch4} 61\pastebutton{UniversalSegmentXmpPageEmpty4}{\showpaste} 62\tab{5}\spadcommand{hasHi pints\free{pints }} 63\end{paste}\end{patch} 64 65\begin{patch}{UniversalSegmentXmpPagePatch5} 66\begin{paste}{UniversalSegmentXmpPageFull5}{UniversalSegmentXmpPageEmpty5} 67\pastebutton{UniversalSegmentXmpPageFull5}{\hidepaste} 68\tab{5}\spadcommand{hasHi nevens\free{nevens }} 69\indentrel{3}\begin{verbatim} 70 (5) false 71 Type: Boolean 72\end{verbatim} 73\indentrel{-3}\end{paste}\end{patch} 74 75\begin{patch}{UniversalSegmentXmpPageEmpty5} 76\begin{paste}{UniversalSegmentXmpPageEmpty5}{UniversalSegmentXmpPagePatch5} 77\pastebutton{UniversalSegmentXmpPageEmpty5}{\showpaste} 78\tab{5}\spadcommand{hasHi nevens\free{nevens }} 79\end{paste}\end{patch} 80 81\begin{patch}{UniversalSegmentXmpPagePatch6} 82\begin{paste}{UniversalSegmentXmpPageFull6}{UniversalSegmentXmpPageEmpty6} 83\pastebutton{UniversalSegmentXmpPageFull6}{\hidepaste} 84\tab{5}\spadcommand{hasHi useg\free{useg }} 85\indentrel{3}\begin{verbatim} 86 (6) true 87 Type: Boolean 88\end{verbatim} 89\indentrel{-3}\end{paste}\end{patch} 90 91\begin{patch}{UniversalSegmentXmpPageEmpty6} 92\begin{paste}{UniversalSegmentXmpPageEmpty6}{UniversalSegmentXmpPagePatch6} 93\pastebutton{UniversalSegmentXmpPageEmpty6}{\showpaste} 94\tab{5}\spadcommand{hasHi useg\free{useg }} 95\end{paste}\end{patch} 96 97\begin{patch}{UniversalSegmentXmpPagePatch7} 98\begin{paste}{UniversalSegmentXmpPageFull7}{UniversalSegmentXmpPageEmpty7} 99\pastebutton{UniversalSegmentXmpPageFull7}{\hidepaste} 100\tab{5}\spadcommand{expand pints\free{pints }} 101\indentrel{3}\begin{verbatim} 102 (7) [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, ...] 103 Type: Stream(Integer) 104\end{verbatim} 105\indentrel{-3}\end{paste}\end{patch} 106 107\begin{patch}{UniversalSegmentXmpPageEmpty7} 108\begin{paste}{UniversalSegmentXmpPageEmpty7}{UniversalSegmentXmpPagePatch7} 109\pastebutton{UniversalSegmentXmpPageEmpty7}{\showpaste} 110\tab{5}\spadcommand{expand pints\free{pints }} 111\end{paste}\end{patch} 112 113\begin{patch}{UniversalSegmentXmpPagePatch8} 114\begin{paste}{UniversalSegmentXmpPageFull8}{UniversalSegmentXmpPageEmpty8} 115\pastebutton{UniversalSegmentXmpPageFull8}{\hidepaste} 116\tab{5}\spadcommand{expand nevens\free{nevens }} 117\indentrel{3}\begin{verbatim} 118 (8) 119 [0, - 2, - 4, - 6, - 8, - 10, - 12, - 14, - 16, - 18, 120 ...] 121 Type: Stream(Integer) 122\end{verbatim} 123\indentrel{-3}\end{paste}\end{patch} 124 125\begin{patch}{UniversalSegmentXmpPageEmpty8} 126\begin{paste}{UniversalSegmentXmpPageEmpty8}{UniversalSegmentXmpPagePatch8} 127\pastebutton{UniversalSegmentXmpPageEmpty8}{\showpaste} 128\tab{5}\spadcommand{expand nevens\free{nevens }} 129\end{paste}\end{patch} 130 131\begin{patch}{UniversalSegmentXmpPagePatch9} 132\begin{paste}{UniversalSegmentXmpPageFull9}{UniversalSegmentXmpPageEmpty9} 133\pastebutton{UniversalSegmentXmpPageFull9}{\hidepaste} 134\tab{5}\spadcommand{expand [1, 3, 10..15, 100..]} 135\indentrel{3}\begin{verbatim} 136 (9) [1, 3, 10, 11, 12, 13, 14, 15, 100, 101, ...] 137 Type: Stream(Integer) 138\end{verbatim} 139\indentrel{-3}\end{paste}\end{patch} 140 141\begin{patch}{UniversalSegmentXmpPageEmpty9} 142\begin{paste}{UniversalSegmentXmpPageEmpty9}{UniversalSegmentXmpPagePatch9} 143\pastebutton{UniversalSegmentXmpPageEmpty9}{\showpaste} 144\tab{5}\spadcommand{expand [1, 3, 10..15, 100..]} 145\end{paste}\end{patch} 146 147