1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %A coll.xml GAP documentation Alexander Hulpke -->
<!-- %% -->
<!-- %% -->
<!-- %Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland -->
<!-- %Y Copyright (C) 2002 The GAP Group -->
<!-- %% -->
<Chapter Label="Collections">
<Heading>Collections</Heading>
<#Include Label="[1]{coll}">
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="sect:IsCollection">
<Heading>IsCollection (Filter)</Heading>
<#Include Label="IsCollection">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Collection Families">
<Heading>Collection Families</Heading>
<#Include Label="CollectionsFamily">
<#Include Label="IsCollectionFamily">
<#Include Label="ElementsFamily">
<#Include Label="CategoryCollections">
<#Include Label="DeclareCategoryCollections">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Lists and Collections">
<Heading>Lists and Collections</Heading>
<Index>Sorted Lists as Collections</Index>
The following functions take a <E>list or collection</E> as argument,
and return a corresponding <E>list</E>.
They differ in whether or not the result is
mutable or immutable (see <Ref Sect="Mutability and Copyability"/>),
guaranteed to be sorted,
or guaranteed to admit list access in constant time
(see <Ref Filt="IsConstantTimeAccessList"/>).
<#Include Label="IsListOrCollection">
<#Include Label="Enumerator">
<#Include Label="EnumeratorSorted">
<#Include Label="EnumeratorByFunctions">
<#Include Label="List:coll">
<#Include Label="SortedList">
<#Include Label="SSortedList">
<#Include Label="AsList">
<#Include Label="AsSortedList">
<#Include Label="AsSSortedList">
<#Include Label="Elements">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Attributes and Properties for Collections">
<Heading>Attributes and Properties for Collections</Heading>
<#Include Label="IsEmpty">
<#Include Label="IsFinite">
<#Include Label="IsTrivial">
<#Include Label="IsNonTrivial">
<#Include Label="IsWholeFamily">
<#Include Label="Size">
<#Include Label="Representative">
<#Include Label="RepresentativeSmallest">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Operations for Collections">
<Heading>Operations for Collections</Heading>
<#Include Label="IsSubset">
<#Include Label="Intersection">
<#Include Label="Union">
<#Include Label="Difference">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Membership Test for Collections">
<Heading>Membership Test for Collections</Heading>
<Index Key="in" Subkey="operation for testing membership">
<C>\in</C></Index>
<Index Key="in" Subkey="operation for"><K>in</K></Index>
<ManSection>
<Oper Name="\in" Arg='obj, C' Label="for a collection"/>
<Description>
returns <K>true</K> if the object <A>obj</A> lies in the collection <A>C</A>,
and <K>false</K> otherwise.
<P/>
The infix version of the command
<P/>
<A>obj</A> <K>in</K> <A>C</A>
<P/>
calls the operation <Ref Oper="\in" Label="for a collection"/>,
for which methods can be installed.
<P/>
<Example><![CDATA[
gap> 13 in Integers; [ 1, 2 ] in Integers;
true
false
gap> g:= Group( (1,2) );; (1,2) in g; (1,2,3) in g;
true
false
]]></Example>
</Description>
</ManSection>
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Random Elements">
<Heading>Random Elements</Heading>
<#Include Label="[2]{coll}">
<#Include Label="Random:coll">
<#Include Label="PseudoRandom">
<#Include Label="RandomList">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Iterators">
<Heading>Iterators</Heading>
<#Include Label="Iterator">
<#Include Label="IteratorSorted">
<#Include Label="IsIterator">
<#Include Label="IsDoneIterator">
<#Include Label="NextIterator">
<#Include Label="IteratorList">
<#Include Label="TrivialIterator">
<#Include Label="IteratorByFunctions">
</Section>
</Chapter>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %E -->
|
