Digraphs/gap/digraph.gd at b6712a8ebbd2bf4e665957ff78e6d7ed0fa64f24 · digraphs/Digraphs · GitHub

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
#############################################################################
##
##  digraph.gd
##  Copyright (C) 2014-19                                James D. Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

# Categories
DeclareCategory("IsDigraph", IsObject);
DeclareCategory("IsDigraphWithAdjacencyFunction", IsDigraph);
DeclareCategory("IsCayleyDigraph", IsDigraph);
DeclareCategory("IsImmutableDigraph", IsDigraph);
DeclareSynonym("IsMutableDigraph", IsDigraph and IsMutable);
DeclareCategoryCollections("IsDigraph");

DeclareAttribute("DigraphMutabilityFilter", IsDigraph);

# Family
BindGlobal("DigraphFamily", NewFamily("DigraphFamily", IsDigraph));

# Representations
DeclareRepresentation("IsDigraphByOutNeighboursRep",
                      IsDigraph and IsComponentObjectRep,
                      ["OutNeighbours"]);

# 2.  Digraph no-check constructors . . .
DeclareOperation("ConvertToMutableDigraphNC", [IsRecord]);
DeclareOperation("ConvertToMutableDigraphNC", [IsDenseList]);

DeclareOperation("ConvertToImmutableDigraphNC", [IsRecord]);
DeclareOperation("ConvertToImmutableDigraphNC", [IsList]);

DeclareConstructor("DigraphConsNC", [IsDigraph, IsRecord]);
DeclareConstructor("DigraphConsNC", [IsDigraph, IsDenseList]);

DeclareOperation("DigraphNC", [IsFunction, IsRecord]);
DeclareOperation("DigraphNC", [IsFunction, IsDenseList]);

DeclareOperation("DigraphNC", [IsRecord]);
DeclareOperation("DigraphNC", [IsDenseList]);

# 3.  Digraph copies . . .
DeclareOperation("DigraphMutableCopy", [IsDigraph]);
DeclareOperation("DigraphImmutableCopy", [IsDigraph]);
DeclareOperation("DigraphCopySameMutability", [IsDigraph]);
DeclareSynonym("DigraphCopy", DigraphCopySameMutability);
DeclareOperation("DigraphImmutableCopyIfMutable", [IsDigraph]);
DeclareOperation("DigraphImmutableCopyIfImmutable", [IsDigraph]);
DeclareOperation("DigraphMutableCopyIfImmutable", [IsDigraph]);
DeclareOperation("DigraphMutableCopyIfMutable", [IsDigraph]);

# 5.  Digraph constructors . . .
DeclareConstructor("DigraphCons", [IsDigraph, IsRecord]);
DeclareConstructor("DigraphCons", [IsDigraph, IsDenseList]);
DeclareConstructor("DigraphCons", [IsDigraph, IsList, IsFunction]);
DeclareConstructor("DigraphCons", [IsDigraph, IsInt, IsList, IsList]);
DeclareConstructor("DigraphCons", [IsDigraph, IsList, IsList, IsList]);

DeclareOperation("Digraph", [IsFunction, IsRecord]);
DeclareOperation("Digraph", [IsFunction, IsList]);
DeclareOperation("Digraph", [IsFunction, IsList, IsFunction]);
DeclareOperation("Digraph", [IsFunction, IsInt, IsList, IsList]);
DeclareOperation("Digraph", [IsFunction, IsList, IsList, IsList]);

DeclareOperation("Digraph", [IsRecord]);
DeclareOperation("Digraph", [IsList]);
DeclareOperation("Digraph", [IsList, IsFunction]);
DeclareOperation("Digraph", [IsInt, IsList, IsList]);
DeclareOperation("Digraph", [IsList, IsList, IsList]);

DeclareOperation("ListNamedDigraphs", [IsString]);
DeclareOperation("ListNamedDigraphs", [IsString, IsPosInt]);

# 8.  Digraph by-something constructors . . .
DeclareConstructor("DigraphByAdjacencyMatrixCons",
                  [IsDigraph, IsHomogeneousList]);
DeclareConstructor("DigraphByAdjacencyMatrixConsNC",
                   [IsDigraph, IsHomogeneousList]);

DeclareOperation("DigraphByAdjacencyMatrix", [IsFunction, IsHomogeneousList]);
DeclareOperation("DigraphByAdjacencyMatrix", [IsHomogeneousList]);

DeclareConstructor("DigraphByEdgesCons", [IsDigraph, IsList]);
DeclareConstructor("DigraphByEdgesCons", [IsDigraph, IsList, IsInt]);

DeclareOperation("DigraphByEdges", [IsFunction, IsList]);
DeclareOperation("DigraphByEdges", [IsFunction, IsList, IsInt]);
DeclareOperation("DigraphByEdges", [IsList]);
DeclareOperation("DigraphByEdges", [IsList, IsInt]);

DeclareConstructor("DigraphByInNeighboursCons", [IsDigraph, IsList]);
DeclareConstructor("DigraphByInNeighboursConsNC", [IsDigraph, IsList]);

DeclareOperation("DigraphByInNeighbours", [IsFunction, IsList]);
DeclareOperation("DigraphByInNeighbours", [IsList]);

DeclareSynonym("DigraphByInNeighbors", DigraphByInNeighbours);

# 9.  Converters to/from other types -> digraph . . .
DeclareConstructor("AsDigraphCons", [IsDigraph, IsBinaryRelation]);
DeclareConstructor("AsDigraphCons", [IsDigraph, IsTransformation]);
DeclareConstructor("AsDigraphCons", [IsDigraph, IsTransformation, IsInt]);
DeclareConstructor("AsDigraphCons", [IsDigraph, IsPartialPerm]);
DeclareConstructor("AsDigraphCons", [IsDigraph, IsPartialPerm, IsInt]);

DeclareOperation("AsDigraph", [IsFunction, IsBinaryRelation]);
DeclareOperation("AsDigraph", [IsFunction, IsTransformation]);
DeclareOperation("AsDigraph", [IsFunction, IsTransformation, IsInt]);
DeclareOperation("AsDigraph", [IsFunction, IsPerm]);
DeclareOperation("AsDigraph", [IsFunction, IsPerm, IsInt]);
DeclareOperation("AsDigraph", [IsFunction, IsPartialPerm]);
DeclareOperation("AsDigraph", [IsFunction, IsPartialPerm, IsInt]);

DeclareOperation("AsDigraph", [IsBinaryRelation]);
DeclareOperation("AsDigraph", [IsTransformation]);
DeclareOperation("AsDigraph", [IsTransformation, IsInt]);
DeclareOperation("AsDigraph", [IsPerm]);
DeclareOperation("AsDigraph", [IsPerm, IsInt]);
DeclareOperation("AsDigraph", [IsPartialPerm]);
DeclareOperation("AsDigraph", [IsPartialPerm, IsInt]);

DeclareOperation("AsBinaryRelation", [IsDigraph]);
DeclareOperation("AsSemigroup", [IsFunction, IsDigraph]);
DeclareOperation("AsMonoid", [IsFunction, IsDigraph]);
DeclareOperation("AsSemigroup",
                 [IsFunction, IsDigraph, IsDenseList, IsDenseList]);

# 10. Random digraphs . . .
DeclareConstructor("RandomDigraphCons", [IsDigraph, IsInt]);
DeclareConstructor("RandomDigraphCons", [IsDigraph, IsInt, IsRat]);
DeclareConstructor("RandomDigraphCons", [IsDigraph, IsInt, IsFloat]);

DeclareOperation("RandomDigraph", [IsInt]);
DeclareOperation("RandomDigraph", [IsInt, IsRat]);
DeclareOperation("RandomDigraph", [IsInt, IsFloat]);
DeclareOperation("RandomDigraph", [IsFunction, IsInt]);
DeclareOperation("RandomDigraph", [IsFunction, IsInt, IsRat]);
DeclareOperation("RandomDigraph", [IsFunction, IsInt, IsFloat]);

DeclareConstructor("RandomTournamentCons", [IsDigraph, IsInt]);
DeclareOperation("RandomTournament", [IsInt]);
DeclareOperation("RandomTournament", [IsFunction, IsInt]);

DeclareConstructor("RandomLatticeCons", [IsDigraph, IsPosInt]);
DeclareOperation("RandomLattice", [IsPosInt]);
DeclareOperation("RandomLattice", [IsFunction, IsPosInt]);

# No mutable analogues of the following because we will withdraw multidigraphs
# in the not-too-distant future!
DeclareOperation("RandomMultiDigraph", [IsPosInt]);
DeclareOperation("RandomMultiDigraph", [IsPosInt, IsPosInt]);

DeclareOperation("DigraphImmutableCopyNoWeights", [IsDigraph]);