Orbiter 2022
Combinatorial Objects
top_level.h
Go to the documentation of this file.
1// top_level.h
2//
3// Anton Betten
4//
5// started: September 23 2010
6//
7// based on global.h, which was taken from reader.h: 3/22/09
8
9
10
11#ifndef ORBITER_SRC_LIB_TOP_LEVEL_TOP_LEVEL_H_
12#define ORBITER_SRC_LIB_TOP_LEVEL_TOP_LEVEL_H_
13
14
15
16using namespace orbiter::layer1_foundations;
17using namespace orbiter::layer2_discreta;
18using namespace orbiter::layer3_group_actions;
19using namespace orbiter::layer4_classification;
20
21
22namespace orbiter {
23
25
26namespace layer5_applications {
27
28
29
31
32
33namespace apps_algebra {
34
35 // algebra_and_number_theory
36 class algebra_global_with_action;
37 class any_group;
38 class character_table_burnside;
39 class group_modification_description;
40 class group_theoretic_activity_description;
41 class group_theoretic_activity;
42 class modified_group_create;
43 class orbits_on_polynomials;
44 class orbits_on_subspaces;
45 class young;
46
47}
48
50
51namespace apps_combinatorics {
52
53 // combinatorics
54 class boolean_function_classify;
55 class combinatorial_object_activity_description;
56 class combinatorial_object_activity;
57 class combinatorics_global;
58 class delandtsheer_doyen_description;
59 class delandtsheer_doyen;
60 class design_activity_description;
61 class design_activity;
62 class design_create_description;
63 class design_create;
64 class design_tables;
65 class difference_set_in_heisenberg_group;
66 class flag_orbits_incidence_structure;
67 class hadamard_classify;
68 class hall_system_classify;
69 class large_set_activity_description;
70 class large_set_activity;
71 class large_set_classify;
72 class large_set_was_activity_description;
73 class large_set_was_activity;
74 class large_set_was_description;
75 class large_set_was;
76 class object_with_properties;
77 class regular_linear_space_description;
78 class regular_ls_classify;
79 class tactical_decomposition;
80
81}
82
84
85namespace apps_geometry {
86
87 // geometry
88 class arc_generator_description;
89 class arc_generator;
90 class arc_lifting_simeon;
91 class choose_points_or_lines;
92 class classify_cubic_curves;
93 class cubic_curve_with_action;
94 class hermitian_spread_classify;
95 class linear_set_classify;
96 class ovoid_classify_description;
97 class ovoid_classify;
98 class polar;
99 class search_blocking_set;
100 class singer_cycle;
101 class tensor_classify;
102 class top_level_geometry_global;
103
104}
105
107
108namespace apps_graph_theory {
109
110 // graph_theory.h:
111 class cayley_graph_search;
112 class create_graph_description;
113 class create_graph;
114 class graph_classification_activity_description;
115 class graph_classification_activity;
116 class graph_classify_description;
117 class graph_classify;
118 class graph_modification_description;
119 class graph_theoretic_activity_description;
120 class graph_theoretic_activity;
121
122}
123
125
126namespace user_interface {
127
128 // interfaces
129 class activity_description;
130 class interface_algebra;
131 class interface_coding_theory;
132 class interface_combinatorics;
133 class interface_cryptography;
134 class interface_povray;
135 class interface_projective;
136 class interface_symbol_table;
137 class interface_toolkit;
138 class orbiter_command;
139 class orbiter_top_level_session;
140 class symbol_definition;
141
142}
143
144
146
147namespace orthogonal_geometry_applications {
148
149
150 // orthogonal
151 class blt_set_classify;
152 class BLT_set_create_description;
153 class BLT_set_create;
154 class blt_set_with_action;
155 class orthogonal_space_activity_description;
156 class orthogonal_space_activity;
157 class orthogonal_space_with_action_description;
158 class orthogonal_space_with_action;
159
160}
161
163
164namespace packings {
165
166 // packings:
167 class invariants_packing;
168 class packing_classify;
169 class packing_invariants;
170 class packing_long_orbits_description;
171 class packing_long_orbits;
172 class packing_was_activity_description;
173 class packing_was_activity;
174 class packing_was_description;
175 class packing_was_fixpoints_activity_description;
176 class packing_was_fixpoints_activity;
177 class packing_was_fixpoints;
178 class packing_was;
179 class packings_global;
180 class regular_packing;
181
182}
183
184
186
187namespace projective_geometry {
188
189 // projective_space.h:
190 class canonical_form_classifier_description;
191 class canonical_form_classifier;
192 class canonical_form_nauty;
193 class canonical_form_substructure;
194 class object_in_projective_space_with_action;
195 class projective_space_activity_description;
196 class projective_space_activity;
197 class projective_space_globals;
198 class projective_space_with_action_description;
199 class projective_space_with_action;
200
201}
202
204
205
206namespace semifields {
207
208
209 // semifield
210 class semifield_classify_description;
211 class semifield_classify_with_substructure;
212 class semifield_classify;
213 class semifield_downstep_node;
214 class semifield_flag_orbit_node;
215 class semifield_level_two;
216 class semifield_lifting;
217 class semifield_substructure;
218 class semifield_trace;
219 class trace_record;
220
221}
222
223
225
226namespace spreads {
227
228 // spreads:
229 class recoordinatize;
230 class spread_classify;
231 class spread_create_description;
232 class spread_create;
233 class spread_lifting;
234 class spread_table_activity_description;
235 class spread_table_activity;
236 class spread_table_with_selection;
237 class translation_plane_via_andre_model;
238
239}
240
241
243
244namespace applications_in_algebraic_geometry {
245
246
248
249 namespace quartic_curves {
250
251 // surfaces/quartic curves
252 class quartic_curve_activity_description;
253 class quartic_curve_activity;
254 class quartic_curve_create_description;
255 class quartic_curve_create;
256 class quartic_curve_domain_with_action;
257 class quartic_curve_from_surface;
258 class quartic_curve_object_with_action;
259
260 }
261
263
264 namespace cubic_surfaces_and_arcs {
265
266 // surfaces/surfaces_and_arcs:
267 class arc_lifting;
268 class arc_orbits_on_pairs;
269 class arc_partition;
270 class classify_trihedral_pairs;
271 class six_arcs_not_on_a_conic;
272 class surface_classify_using_arc;
273 class surface_create_by_arc_lifting;
274 class surfaces_arc_lifting_definition_node;
275 class surfaces_arc_lifting_trace;
276 class surfaces_arc_lifting_upstep;
277 class surfaces_arc_lifting;
278 class trihedral_pair_with_action;
279 // pointer types:
281
282 }
283
285
286 namespace cubic_surfaces_and_double_sixes {
287
288 // surfaces/surfaces_and_double_sixes:
289 class classification_of_cubic_surfaces_with_double_sixes_activity_description;
290 class classification_of_cubic_surfaces_with_double_sixes_activity;
291 class classify_double_sixes;
292 class surface_classify_wedge;
293
294 }
295
297
298 namespace cubic_surfaces_in_general {
299
300 // surfaces/surfaces_general:
301 class cubic_surface_activity_description;
302 class cubic_surface_activity;
303 class surface_clebsch_map;
304 class surface_create_description;
305 class surface_create;
306 class surface_domain_high_level;
307 class surface_object_with_action;
308 class surface_study;
309 class surface_with_action;
310
311 }
312
313}
314
315
316
317
318
319
320}}
321
322
326#include "./graph_theory/graph_theory.h"
331#include "./spreads/spreads.h"
332#include "./packings/packings.h"
337
338
339
340#endif /* ORBITER_SRC_LIB_TOP_LEVEL_TOP_LEVEL_H_ */
341
342
343
344
tracing data to be used during the classification of cubic surfaces using lifted 6-arcs
algebra, combinatorics and graph theory, geometry, linear algebra, number theory, data structures,...
Definition: a_domain.cpp:18
typed objects
Definition: base.cpp:16
groups and group actions, induced group actions
Definition: action.cpp:14
classification of combinatorial objects
the orbiter library for the classification of combinatorial objects