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