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
|
#
# Tests for functions defined in src/set.c
#
gap> START_TEST("kernel/set.tst");
#
gap> IsSet(1);
false
gap> LIST_SORTED_LIST(1);
Error, Set: <list> must be a small list (not a integer)
#
gap> IS_EQUAL_SET;
function( list1, list2 ) ... end
gap> IS_EQUAL_SET(1,1);
Error, IsEqualSet: <list1> must be a small list (not a integer)
gap> IS_EQUAL_SET([],1);
Error, IsEqualSet: <list2> must be a small list (not a integer)
gap> IS_EQUAL_SET([],[]);
true
#
gap> IS_SUBSET_SET;
function( set1, set2 ) ... end
gap> IS_SUBSET_SET(1,1);
Error, IsSubsetSet: <set1> must be a small list (not a integer)
gap> IS_SUBSET_SET([],1);
Error, IsSubsetSet: <set2> must be a small list (not a integer)
gap> IS_SUBSET_SET([],[]);
true
gap> IS_SUBSET_SET([1,2,3],[1,2]);
true
gap> IS_SUBSET_SET([1,2,3],[2,1]);
true
gap> IS_SUBSET_SET([1,2,3],[,1]);
true
gap> IS_SUBSET_SET([1,2,3],[1,2,4]);
false
gap> IS_SUBSET_SET([1,2,3],[2,1,4]);
false
gap> IS_SUBSET_SET([1,2,3],[,1,4]);
false
#
gap> ADD_SET;
function( set, val ) ... end
gap> ADD_SET(1,1);
Error, AddSet: <set> must be a mutable proper set (not a integer)
#
gap> REM_SET;
function( set, val ) ... end
gap> REM_SET(1,1);
Error, RemoveSet: <set> must be a mutable proper set (not a integer)
#
gap> UNITE_SET;
function( set1, set2 ) ... end
gap> UNITE_SET(1,1);
Error, UniteSet: <set1> must be a mutable proper set (not a integer)
gap> UNITE_SET([],1);
Error, UniteSet: <set2> must be a small list (not a integer)
gap> UNITE_SET([],[]);
#
gap> INTER_SET;
function( set1, set2 ) ... end
gap> INTER_SET(1,1);
Error, IntersectSet: <set1> must be a mutable proper set (not a integer)
gap> INTER_SET([],1);
Error, IntersectSet: <set2> must be a small list (not a integer)
gap> INTER_SET([],[]);
#
gap> SUBTR_SET;
function( set1, set2 ) ... end
gap> SUBTR_SET(1,1);
Error, SubtractSet: <set1> must be a mutable proper set (not a integer)
gap> SUBTR_SET([],1);
Error, SubtractSet: <set2> must be a small list (not a integer)
gap> SUBTR_SET([],[]);
#
gap> STOP_TEST("kernel/set.tst", 1);
|
