knowledge_base.cpp File Reference

#include "foundations.h"
#include "DATA/quartic_curves_q9.cpp"
#include "DATA/quartic_curves_q13.cpp"
#include "DATA/quartic_curves_q17.cpp"
#include "DATA/quartic_curves_q19.cpp"
#include "DATA/quartic_curves_q23.cpp"
#include "DATA/quartic_curves_q25.cpp"
#include "DATA/quartic_curves_q27.cpp"
#include "DATA/quartic_curves_q29.cpp"
#include "DATA/quartic_curves_q31.cpp"
#include "DATA/data_hyperovals.cpp"
#include "DATA/surface_4.cpp"
#include "DATA/surface_7.cpp"
#include "DATA/surface_8.cpp"
#include "DATA/surface_9.cpp"
#include "DATA/surface_11.cpp"
#include "DATA/surface_13.cpp"
#include "DATA/surface_16.cpp"
#include "DATA/surface_17.cpp"
#include "DATA/surface_19.cpp"
#include "DATA/surface_23.cpp"
#include "DATA/surface_25.cpp"
#include "DATA/surface_27.cpp"
#include "DATA/surface_29.cpp"
#include "DATA/surface_31.cpp"
#include "DATA/surface_32.cpp"
#include "DATA/surface_37.cpp"
#include "DATA/surface_41.cpp"
#include "DATA/surface_43.cpp"
#include "DATA/surface_47.cpp"
#include "DATA/surface_49.cpp"
#include "DATA/surface_53.cpp"
#include "DATA/surface_59.cpp"
#include "DATA/surface_61.cpp"
#include "DATA/surface_64.cpp"
#include "DATA/surface_67.cpp"
#include "DATA/surface_71.cpp"
#include "DATA/surface_73.cpp"
#include "DATA/surface_79.cpp"
#include "DATA/surface_81.cpp"
#include "DATA/surface_83.cpp"
#include "DATA/surface_89.cpp"
#include "DATA/surface_97.cpp"
#include "DATA/surface_101.cpp"
#include "DATA/surface_103.cpp"
#include "DATA/surface_107.cpp"
#include "DATA/surface_109.cpp"
#include "DATA/surface_113.cpp"
#include "DATA/surface_121.cpp"
#include "DATA/surface_127.cpp"
#include "DATA/surface_128.cpp"
#include "DATA/data_DH.cpp"
#include "DATA/data_spreads.cpp"
#include "DATA/data_tensor.cpp"
#include "DATA/data_BLT.cpp"
#include "DATA/planes_16.cpp"

Go to the source code of this file.

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects
namespace	orbiter::layer1_foundations
	algebra, combinatorics and graph theory, geometry, linear algebra, number theory, data structures, solvers, graphics; no group actions