11#ifndef ORBITER_SRC_LIB_TOP_LEVEL_TOP_LEVEL_H_
12#define ORBITER_SRC_LIB_TOP_LEVEL_TOP_LEVEL_H_
26namespace layer5_applications {
33namespace apps_algebra {
36 class algebra_global_with_action;
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;
51namespace apps_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;
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;
76 class object_with_properties;
77 class regular_linear_space_description;
78 class regular_ls_classify;
79 class tactical_decomposition;
85namespace apps_geometry {
88 class arc_generator_description;
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;
99 class search_blocking_set;
101 class tensor_classify;
102 class top_level_geometry_global;
108namespace apps_graph_theory {
111 class cayley_graph_search;
112 class create_graph_description;
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;
126namespace user_interface {
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;
147namespace orthogonal_geometry_applications {
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;
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;
179 class packings_global;
180 class regular_packing;
187namespace projective_geometry {
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;
206namespace semifields {
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;
229 class recoordinatize;
230 class spread_classify;
231 class spread_create_description;
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;
244namespace applications_in_algebraic_geometry {
249 namespace 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;
264 namespace cubic_surfaces_and_arcs {
268 class arc_orbits_on_pairs;
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;
286 namespace cubic_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;
298 namespace cubic_surfaces_in_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;
309 class surface_with_action;
326#include "./graph_theory/graph_theory.h"
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,...
groups and group actions, induced group actions
classification of combinatorial objects
class surfaces_arc_lifting_trace psurfaces_arc_lifting_trace
the orbiter library for the classification of combinatorial objects