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
|
#@local a,b,c,p,setvals,x,i,y,result
gap> START_TEST("objset.tst");
# basic constructor
gap> OBJ_SET([]);
OBJ_SET([ ])
gap> OBJ_SET([1]);
OBJ_SET([ 1 ])
gap> OBJ_SET([1,2]);
OBJ_SET([ 1, 2 ])
gap> a := OBJ_SET([(1,2)]);
OBJ_SET([ (1,2) ])
gap> b := OBJ_SET([(1,2),(1,2),(1,2),(1,2)]);
OBJ_SET([ (1,2), (1,2), (1,2), (1,2) ])
gap> c := OBJ_SET([1,2,1,2,1,2,1]);
OBJ_SET([ 1, 2 ])
#
gap> OBJ_SET_VALUES(a);
[ (1,2) ]
gap> OBJ_SET_VALUES(b);
[ (1,2), (1,2), (1,2), (1,2) ]
gap> OBJ_SET_VALUES(c);
[ 1, 2 ]
#
gap> p := (1,2);;
gap> FIND_OBJ_SET(b, p);
false
gap> ADD_OBJ_SET(b, p);
gap> b;
OBJ_SET([ (1,2), (1,2), (1,2), (1,2), (1,2) ])
gap> FIND_OBJ_SET(b, p);
true
gap> REMOVE_OBJ_SET(b, p);
gap> b;
OBJ_SET([ (1,2), (1,2), (1,2), (1,2) ])
gap> FIND_OBJ_SET(b, p);
false
gap> ADD_OBJ_SET(b, p);
gap> b;
OBJ_SET([ (1,2), (1,2), (1,2), (1,2), (1,2) ])
gap> FIND_OBJ_SET(b, p);
true
gap> CLEAR_OBJ_SET(b);
gap> b;
OBJ_SET([ ])
gap> FIND_OBJ_SET(b, p);
false
#
gap> x := OBJ_SET();
OBJ_SET([ ])
gap> setvals := 5000;;
gap> for i in [1..setvals] do
> ADD_OBJ_SET(x, i);
> if not ForAll([1..i], z -> FIND_OBJ_SET(x, z)) then
> Print("Missing Value");
> fi;
> if ForAny([i+1..setvals], z -> FIND_OBJ_SET(x, z)) then
> Print("Extra value");
> fi;
> if SortedList(OBJ_SET_VALUES(x)) <> [1..i] then
> Print("Invalid OBJ_SET_VALUES");
> fi;
> od;
gap> for i in [1..setvals] do
> REMOVE_OBJ_SET(x, i);
> if ForAny([1..i], z -> FIND_OBJ_SET(x, z)) then
> Print("Extra Value");
> fi;
> if not ForAll([i+1..setvals], z -> FIND_OBJ_SET(x, z)) then
> Print("Missing value");
> fi;
> if SortedList(OBJ_SET_VALUES(x)) <> [i+1..setvals] then
> Print("Invalid OBJ_SET_VALUES");
> fi;
> od;
#
gap> y := OBJ_SET([]);
OBJ_SET([ ])
gap> for i in [1..setvals] do
> ADD_OBJ_SET(y, [i,[i]]);
> od;
gap> GASMAN("collect");
gap> result := List([1..setvals], x -> [x,[x]]);;
gap> SortedList(OBJ_SET_VALUES(y)) = result;
true
#
gap> ADD_OBJ_SET(fail, fail);
Error, ADD_OBJ_SET: <set> must be a mutable object set (not the value 'fail')
gap> REMOVE_OBJ_SET(fail, fail);
Error, REMOVE_OBJ_SET: <set> must be a mutable object set (not the value 'fail\
')
gap> FIND_OBJ_SET(fail, fail);
Error, FIND_OBJ_SET: <set> must be an object set (not the value 'fail')
gap> CLEAR_OBJ_SET(fail);
Error, CLEAR_OBJ_SET: <set> must be a mutable object set (not the value 'fail'\
)
gap> OBJ_SET_VALUES(fail);
Error, OBJ_SET_VALUES: <set> must be an object set (not the value 'fail')
gap> CLEAR_OBJ_SET(fail);
Error, CLEAR_OBJ_SET: <set> must be a mutable object set (not the value 'fail'\
)
#
gap> STOP_TEST("objset.tst");
|
