├── src ├── apps │ ├── orbiter │ │ ├── memory_usage.csv │ │ └── makefile │ ├── Jeffrey_Leons_partition_backtrack │ │ ├── cent.h │ │ ├── inter.h │ │ ├── commut.h │ │ ├── fndelt.h │ │ ├── orbdes.h │ │ ├── compgrp.h │ │ ├── desauto.h │ │ ├── generate.h │ │ ├── orblist.h │ │ ├── setstab.h │ │ ├── cjrndper.h │ │ ├── randobj.h │ │ └── wtdist.h │ ├── programmers_guide │ │ ├── GF_2.cpp │ │ └── makefile │ ├── makefile │ ├── mckay │ │ └── makefile │ └── sandbox │ │ └── makefile ├── lib │ ├── layer1_foundations │ │ ├── other │ │ │ ├── BitSet │ │ │ │ ├── .gitignore │ │ │ │ ├── bitset.cpp │ │ │ │ ├── makefile │ │ │ │ └── count.sh │ │ │ ├── Eigen_interface │ │ │ │ ├── Eigen │ │ │ │ │ ├── Eigen │ │ │ │ │ ├── src │ │ │ │ │ │ ├── Core │ │ │ │ │ │ │ ├── util │ │ │ │ │ │ │ │ └── NonMPL2.h │ │ │ │ │ │ │ ├── InternalHeaderCheck.h │ │ │ │ │ │ │ ├── functors │ │ │ │ │ │ │ │ └── TernaryFunctors.h │ │ │ │ │ │ │ └── arch │ │ │ │ │ │ │ │ └── HIP │ │ │ │ │ │ │ │ └── hcc │ │ │ │ │ │ │ │ └── math_constants.h │ │ │ │ │ │ ├── LU │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── QR │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SVD │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── misc │ │ │ │ │ │ │ ├── InternalHeaderCheck.h │ │ │ │ │ │ │ └── lapacke_mangling.h │ │ │ │ │ │ ├── Jacobi │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── plugins │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── Cholesky │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── Geometry │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SparseLU │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SparseQR │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── Eigenvalues │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── Householder │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── KLUSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SPQRSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SparseCore │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── MetisSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── PaStiXSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── CholmodSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── PardisoSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SparseCholesky │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── SuperLUSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── UmfPackSupport │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ ├── OrderingMethods │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ │ └── IterativeLinearSolvers │ │ │ │ │ │ │ └── InternalHeaderCheck.h │ │ │ │ │ ├── Dense │ │ │ │ │ ├── StdList │ │ │ │ │ ├── StdDeque │ │ │ │ │ ├── StdVector │ │ │ │ │ ├── Householder │ │ │ │ │ ├── Jacobi │ │ │ │ │ └── Sparse │ │ │ │ └── makefile │ │ │ ├── Jeffrey_Leon_partition_backtrack │ │ │ │ ├── factoria.h │ │ │ │ ├── fndinvol.h │ │ │ │ ├── bitmanp.h │ │ │ │ ├── field.h │ │ │ │ ├── primes.h │ │ │ │ ├── randpts.h │ │ │ │ ├── oldcopy.h │ │ │ │ ├── cputime.h │ │ │ │ ├── ccommut.h │ │ │ │ ├── copy.h │ │ │ │ ├── orbit.h │ │ │ │ ├── readpts.h │ │ │ │ ├── readpar.h │ │ │ │ ├── cstrbas.h │ │ │ │ ├── code.h │ │ │ │ ├── matrix.h │ │ │ │ ├── util.h │ │ │ │ ├── addsgen.h │ │ │ │ ├── cinter.h │ │ │ │ ├── factor.h │ │ │ │ ├── token.h │ │ │ │ ├── randgrp.h │ │ │ │ ├── groupio.h │ │ │ │ ├── orbrefn.h │ │ │ │ ├── readper.h │ │ │ │ ├── randschr.h │ │ │ │ ├── rprique.h │ │ │ │ ├── optsvec.h │ │ │ │ ├── cputime.c │ │ │ │ ├── inform.h │ │ │ │ └── ptstbref.h │ │ │ ├── CUDA │ │ │ │ ├── Linalg │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── gpuErrchk.cpp │ │ │ │ │ ├── gpuErrchk.h │ │ │ │ │ ├── gpu_table.h │ │ │ │ │ └── Makefile │ │ │ │ └── gpuErrchk.h │ │ │ ├── polish │ │ │ │ └── makefile │ │ │ ├── orbiter_kernel_system │ │ │ │ ├── override_double.cpp │ │ │ │ ├── makefile │ │ │ │ └── chrono.h │ │ │ ├── l1_interfaces │ │ │ │ └── makefile │ │ │ ├── graphics │ │ │ │ ├── scene_element_of_type_edge.cpp │ │ │ │ ├── scene_element_of_type_point.cpp │ │ │ │ └── scene_element_of_type_plane.cpp │ │ │ └── data_structures │ │ │ │ └── makefile │ │ ├── combinatorics │ │ │ ├── graph_theory │ │ │ │ ├── Clique │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── runtime_stats.bin │ │ │ │ │ ├── KClique.cpp │ │ │ │ │ └── makefile │ │ │ │ └── makefile │ │ │ ├── cryptography │ │ │ │ └── makefile │ │ │ ├── knowledge_base │ │ │ │ ├── makefile │ │ │ │ └── DATA │ │ │ │ │ └── quartic_curves │ │ │ │ │ ├── quartic_curves_q11.cpp │ │ │ │ │ └── quartic_curves_q9.cpp │ │ │ ├── other_combinatorics │ │ │ │ └── makefile │ │ │ ├── design_theory │ │ │ │ └── makefile │ │ │ ├── puzzles │ │ │ │ └── makefile │ │ │ ├── solvers │ │ │ │ └── makefile │ │ │ ├── special_functions │ │ │ │ └── makefile │ │ │ ├── geometry_builder │ │ │ │ ├── makefile │ │ │ │ └── gen_geo_conf.cpp │ │ │ ├── tactical_decompositions │ │ │ │ └── makefile │ │ │ ├── coding_theory │ │ │ │ └── makefile │ │ │ ├── graph_theory_nauty │ │ │ │ └── makefile │ │ │ └── canonical_form_classification │ │ │ │ └── makefile │ │ ├── expression_parser_sajeeb │ │ │ ├── compilers.mk │ │ │ ├── test │ │ │ │ └── resources │ │ │ │ │ └── example1.txt │ │ │ ├── images │ │ │ │ └── 1.png │ │ │ ├── Visitors │ │ │ │ ├── LatexVisitors │ │ │ │ │ ├── ir_tree_latex_visitor.cpp │ │ │ │ │ ├── ir_tree_latex_visitor_strategy.cpp │ │ │ │ │ └── makefile │ │ │ │ ├── ReductionVisitors │ │ │ │ │ ├── simplify_visitor.cpp │ │ │ │ │ ├── makefile │ │ │ │ │ └── simplify_visitor.h │ │ │ │ ├── ToStringVisitors │ │ │ │ │ └── makefile │ │ │ │ ├── PrintVisitors │ │ │ │ │ └── makefile │ │ │ │ ├── CopyVisitors │ │ │ │ │ └── makefile │ │ │ │ ├── EvaluateVisitors │ │ │ │ │ └── makefile │ │ │ │ ├── ExpansionVisitors │ │ │ │ │ ├── makefile │ │ │ │ │ └── multiplication_expansion_visitor.h │ │ │ │ ├── makefile │ │ │ │ ├── remove_minus_nodes_visitor.h │ │ │ │ └── remove_minus_nodes_visitor.cpp │ │ │ ├── compiler-flags.mk │ │ │ ├── auto_dependency_generation_variables.mk │ │ │ ├── clean_base_target.mk │ │ │ ├── auto_dependency_generation_target.mk │ │ │ ├── .gitignore │ │ │ ├── addheader.sh │ │ │ ├── IRTree │ │ │ │ ├── node_forward_declaration.h │ │ │ │ └── makefile │ │ │ ├── parser.cpp │ │ │ ├── exception.h │ │ │ ├── parser.h │ │ │ ├── os-detect.mk │ │ │ └── count.sh │ │ ├── algebra │ │ │ ├── number_theory │ │ │ │ └── makefile │ │ │ ├── linear_algebra │ │ │ │ ├── makefile │ │ │ │ └── matrix_block_data.cpp │ │ │ ├── basic_algebra │ │ │ │ └── makefile │ │ │ ├── expression_parser │ │ │ │ └── makefile │ │ │ ├── ring_theory │ │ │ │ └── makefile │ │ │ ├── field_theory │ │ │ │ └── makefile │ │ │ └── makefile │ │ └── geometry │ │ │ ├── finite_geometries │ │ │ └── makefile │ │ │ ├── other_geometry │ │ │ └── makefile │ │ │ ├── projective_geometry │ │ │ └── makefile │ │ │ ├── orthogonal │ │ │ └── makefile │ │ │ └── makefile │ ├── layer3_group_actions │ │ ├── groups │ │ │ ├── linalg.cpp │ │ │ └── makefile │ │ ├── interfaces │ │ │ └── makefile │ │ ├── combinatorics_with_groups │ │ │ └── makefile │ │ ├── data_structures_groups │ │ │ └── makefile │ │ ├── group_constructions │ │ │ └── makefile │ │ └── actions │ │ │ └── makefile │ ├── layer4_classification │ │ ├── solvers_package │ │ │ └── makefile │ │ ├── orbits_schreier │ │ │ └── makefile │ │ ├── invariant_relations │ │ │ └── makefile │ │ ├── set_stabilizer │ │ │ └── makefile │ │ └── isomorph │ │ │ └── makefile │ ├── layer5_top_level │ │ ├── apps_coding_theory │ │ │ └── makefile │ │ ├── projective_geometry │ │ │ └── makefile │ │ ├── orbits │ │ │ └── makefile │ │ ├── applications_in_algebraic_geometry │ │ │ ├── quartic_curves │ │ │ │ └── makefile │ │ │ ├── cubic_surfaces_in_general │ │ │ │ └── makefile │ │ │ ├── cubic_surfaces_and_double_sixes │ │ │ │ └── makefile │ │ │ ├── cubic_surfaces_and_arcs │ │ │ │ └── makefile │ │ │ └── makefile │ │ ├── semifields │ │ │ └── makefile │ │ ├── apps_graph_theory │ │ │ └── makefile │ │ ├── user_interface │ │ │ └── makefile │ │ ├── apps_geometry │ │ │ └── makefile │ │ ├── canonical_form │ │ │ └── makefile │ │ ├── spreads │ │ │ └── makefile │ │ ├── packings │ │ │ └── makefile │ │ ├── orthogonal_geometry_applications │ │ │ └── makefile │ │ └── apps_algebra │ │ │ └── makefile │ └── layer2_discreta │ │ └── makefile └── makefile ├── doc ├── logo_small.png ├── orbiter_text.png ├── tables │ ├── commands │ │ ├── code_modification.csv │ │ ├── spread_activity.csv │ │ ├── text_builder.csv │ │ ├── crc_code_description.csv │ │ ├── blt_set_classify.csv │ │ ├── crc_process_description.csv │ │ ├── interface_povray.csv │ │ ├── combo_activity.csv │ │ ├── group_theoretic_activity_gap.csv │ │ ├── tree_draw_options.csv │ │ ├── translation_plane_activity.csv │ │ ├── packing_was_fixpoints_activity.csv │ │ ├── representation_theory.csv │ │ ├── packing_was_activity.csv │ │ ├── graph_modification.csv │ │ ├── classify_cubic_surfaces.csv │ │ ├── graph_classification_activity.csv │ │ ├── large_set_was_activity.csv │ │ ├── packing_classify.csv │ │ ├── vector_ge_builder.csv │ │ ├── large_set_was.csv │ │ ├── graph_classify.csv │ │ ├── BLT_set_create.csv │ │ ├── blt_set_activity.csv │ │ ├── prepare_frames.csv │ │ ├── spread_classify.csv │ │ ├── blt_set_classify_activity.csv │ │ ├── draw_incidence_structure_description.csv │ │ ├── povray_job_description.csv │ │ ├── clique_finder_control.csv │ │ ├── polynomial_ring.csv │ │ ├── projective_space_with_action.csv │ │ ├── number_theoretic_commands.csv │ │ ├── spread_classify_activity.csv │ │ ├── group_theoretic_activity_magma.csv │ │ ├── finite_field.csv │ │ ├── mapping.csv │ │ ├── coding_theoretic_activity_2.csv │ │ ├── finite_field_activities_2.csv │ │ ├── special_actions.csv │ │ ├── spread_table_activity.csv │ │ ├── draw_bitmap_control.csv │ │ ├── crc_options.csv │ │ ├── finite_field_activities_linear_algebra.csv │ │ ├── orthogonal_space_with_action.csv │ │ ├── nauty_control.csv │ │ ├── draw_mod_n.csv │ │ ├── element_processing.csv │ │ ├── layered_graph_draw_options_2.csv │ │ ├── group_theoretic_activity_5.csv │ │ ├── objects_report_options.csv │ │ ├── symbolic_object_activity.csv │ │ ├── packing_long_orbits_description.csv │ │ ├── classification_of_cubic_surfaces_with_double_sixes_activity.csv │ │ ├── permutation_group.csv │ │ ├── set_builder.csv │ │ ├── variety_activity.csv │ │ ├── finite_field_activities_summary_2.csv │ │ ├── spread_create.csv │ │ ├── arc_generator.csv │ │ └── classification_of_objects.csv │ └── general │ │ ├── spreads_in_PG_3_4.csv │ │ ├── quartic_curve_export.csv │ │ ├── table_quadrics.csv │ │ ├── basic_actions.csv │ │ └── cubic_surface_export_options.csv └── README ├── IDE_setup.md ├── bin └── README ├── examples └── users_guide │ ├── allen_Gates.bmp │ ├── cube_centered.obj │ ├── PAULUS_ROSENFELD │ ├── P26_01.txt │ ├── P26_02.txt │ ├── P26_03.txt │ ├── P26_04.txt │ ├── P26_05.txt │ ├── P26_06.txt │ ├── P26_07.txt │ ├── P26_08.txt │ ├── P26_09.txt │ ├── P26_10.txt │ ├── P25_1.txt │ ├── P25_10.txt │ ├── P25_11.txt │ ├── P25_12.txt │ ├── P25_13.txt │ ├── P25_14.txt │ ├── P25_15.txt │ ├── P25_2.txt │ ├── P25_3.txt │ ├── P25_4.txt │ ├── P25_5.txt │ ├── P25_6.txt │ ├── P25_7.txt │ ├── P25_8.txt │ └── P25_9.txt │ └── coordinate_grid.csv ├── .settings └── org.eclipse.ltk.core.refactoring.prefs ├── .gitmodules ├── rename_extension.sh ├── containers └── singularity │ └── ubuntu2204.def ├── LICENSE ├── makefile ├── Dockerfile ├── lsr.sh ├── using_singularity.md ├── search.sh ├── stats.csv ├── makefile_doxygen ├── find_and_count.sh ├── count.sh └── .gitignore /src/apps/orbiter/memory_usage.csv: -------------------------------------------------------------------------------- 1 | Row,C0 2 | 0,0 3 | END 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/BitSet/.gitignore: -------------------------------------------------------------------------------- 1 | main.exe 2 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/BitSet/bitset.cpp: -------------------------------------------------------------------------------- 1 | #include "bitset.h" 2 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory/Clique/.gitignore: -------------------------------------------------------------------------------- 1 | main 2 | -------------------------------------------------------------------------------- /doc/logo_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abetten/orbiter/HEAD/doc/logo_small.png -------------------------------------------------------------------------------- /IDE_setup.md: -------------------------------------------------------------------------------- 1 | ## CLion 2 | 3 | ### Adding external header files for makefile projects 4 | -------------------------------------------------------------------------------- /doc/orbiter_text.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abetten/orbiter/HEAD/doc/orbiter_text.png -------------------------------------------------------------------------------- /bin/README: -------------------------------------------------------------------------------- 1 | this is where 2 | 3 | make install 4 | 5 | installes the orbiter executables. 6 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/Eigen: -------------------------------------------------------------------------------- 1 | #include "Dense" 2 | #include "Sparse" 3 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/compilers.mk: -------------------------------------------------------------------------------- 1 | CC = g++ 2 | LEX = flex 3 | YACC = bison 4 | -------------------------------------------------------------------------------- /examples/users_guide/allen_Gates.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abetten/orbiter/HEAD/examples/users_guide/allen_Gates.bmp -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/factoria.h: -------------------------------------------------------------------------------- 1 | #ifndef FACTORIA 2 | #define FACTORIA 3 | 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/fndinvol.h: -------------------------------------------------------------------------------- 1 | #ifndef FNDINVOL 2 | #define FNDINVOL 3 | 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/bitmanp.h: -------------------------------------------------------------------------------- 1 | #ifndef BITMANP 2 | #define BITMANP 3 | 4 | #endif 5 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/test/resources/example1.txt: -------------------------------------------------------------------------------- 1 | -(a*b*c - a*b*d - a*c*d + b*c*d + a*d - b*c)*(b - d)*X0^2*X2 -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/cent.h: -------------------------------------------------------------------------------- 1 | #ifndef CENT 2 | #define CENT 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/inter.h: -------------------------------------------------------------------------------- 1 | #ifndef INTER 2 | #define INTER 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /.settings/org.eclipse.ltk.core.refactoring.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false 3 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/commut.h: -------------------------------------------------------------------------------- 1 | #ifndef COMMUT 2 | #define COMMUT 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/fndelt.h: -------------------------------------------------------------------------------- 1 | #ifndef FNDELT 2 | #define FNDELT 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/orbdes.h: -------------------------------------------------------------------------------- 1 | #ifndef ORBDES 2 | #define ORBDES 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/compgrp.h: -------------------------------------------------------------------------------- 1 | #ifndef COMPGRP 2 | #define COMPGRP 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/desauto.h: -------------------------------------------------------------------------------- 1 | #ifndef DESAUTO 2 | #define DESAUTO 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/generate.h: -------------------------------------------------------------------------------- 1 | #ifndef GENERATE 2 | #define GENERATE 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/orblist.h: -------------------------------------------------------------------------------- 1 | #ifndef ORBLIST 2 | #define ORBLIST 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/setstab.h: -------------------------------------------------------------------------------- 1 | #ifndef SETSTAB 2 | #define SETSTAB 3 | 4 | extern int main( int argc, char *argv[]) 5 | ; 6 | 7 | #endif 8 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | [submodule "ORBITER/src/lib/foundations/CUDA/Linalg"] 2 | path = ORBITER/src/lib/foundations/CUDA/Linalg 3 | url = https://github.com/RoySRC/Linalg.git 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory/Clique/runtime_stats.bin: -------------------------------------------------------------------------------- 1 | 0 0 0 0 0 0 0 0 0 0 0 0 2 | 0 0 0 3 | 0 0 0 0 0 0 0 4 | 0 0 0 0 0 0 0 5 | 0 0 0 0 0 0 0 6 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Core/util/NonMPL2.h: -------------------------------------------------------------------------------- 1 | #ifdef EIGEN_MPL2_ONLY 2 | #error Including non-MPL2 code in EIGEN_MPL2_ONLY mode 3 | #endif 4 | -------------------------------------------------------------------------------- /doc/tables/commands/code_modification.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:code:modification",, 3 | 1,"Code Modifications",, 4 | 1,"\verb'-dual'"," ","Create the dual code." 5 | END 6 | 7 | -------------------------------------------------------------------------------- /doc/tables/commands/spread_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spreads:activity",, 3 | 1,"Spread Activities",, 4 | 1,"\verb'-report' "," "," Create a latex report. " 5 | END 6 | 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/images/1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abetten/orbiter/HEAD/src/lib/layer1_foundations/expression_parser_sajeeb/images/1.png -------------------------------------------------------------------------------- /rename_extension.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | for f in $(find . -type f -name '*.C'); 4 | do 5 | NEW_FILE_NAME=$(sed 's/\(.*\)./\1/' <<< "$f")cpp; 6 | mv -v $f $NEW_FILE_NAME; 7 | done 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/field.h: -------------------------------------------------------------------------------- 1 | #ifndef FIELD 2 | #define FIELD 3 | 4 | extern Field *buildField( 5 | Unsigned size) 6 | ; 7 | 8 | #endif 9 | -------------------------------------------------------------------------------- /containers/singularity/ubuntu2204.def: -------------------------------------------------------------------------------- 1 | Bootstrap: library 2 | From: ubuntu:22.04 3 | 4 | %post 5 | apt-get -y update 6 | apt-get -y install g++ python3 python3-dev make git bison flex -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/cjrndper.h: -------------------------------------------------------------------------------- 1 | #ifndef CJRNDPER 2 | #define CJRNDPER 3 | 4 | extern int main( 5 | int argc, 6 | char *argv[]) 7 | ; 8 | 9 | #endif 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/primes.h: -------------------------------------------------------------------------------- 1 | #ifndef PRIMES 2 | #define PRIMES 3 | 4 | extern BOOLEAN isPrime( 5 | const Unsigned n) 6 | ; 7 | 8 | #endif 9 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/groups/linalg.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * linalg.cpp 3 | * 4 | * Created on: May 26, 2019 5 | * Author: sajeeb 6 | */ 7 | 8 | 9 | 10 | #include "linalg.h" 11 | -------------------------------------------------------------------------------- /doc/README: -------------------------------------------------------------------------------- 1 | Please find the most recent version of the user's guide at this address: 2 | 3 | https://www.math.colostate.edu/~betten/orbiter/users_guide.pdf 4 | 5 | Anton Betten, July 18, 2020 6 | 7 | -------------------------------------------------------------------------------- /doc/tables/commands/text_builder.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:text:builder",, 3 | 1,"Text Builder Commands",, 4 | 1,"\verb'-here' "," string "," Creates a text object from the given string. " 5 | END 6 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/LatexVisitors/ir_tree_latex_visitor.cpp: -------------------------------------------------------------------------------- 1 | // 2 | // Created by Sajeeb Roy Chowdhury on 9/30/22. 3 | // 4 | 5 | #include "ir_tree_latex_visitor.h" 6 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/Dense: -------------------------------------------------------------------------------- 1 | #include "Core" 2 | #include "LU" 3 | #include "Cholesky" 4 | #include "QR" 5 | #include "SVD" 6 | #include "Geometry" 7 | #include "Eigenvalues" 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/randpts.h: -------------------------------------------------------------------------------- 1 | #ifndef RANDPTS 2 | #define RANDPTS 3 | 4 | extern int main( 5 | int argc, 6 | char *argv[]) 7 | ; 8 | 9 | #endif 10 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | This project is licensed under Version 3 of the GNU General Public License, or GPLv3 for short. 2 | Please see here: https://www.gnu.org/licenses/gpl-3.0.html 3 | 4 | Anton Betten 5 | July 30, 2020 6 | 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/LU/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_LU_MODULE_H 2 | #error "Please include Eigen/LU instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/QR/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_QR_MODULE_H 2 | #error "Please include Eigen/QR instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SVD/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SVD_MODULE_H 2 | #error "Please include Eigen/SVD instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/LatexVisitors/ir_tree_latex_visitor_strategy.cpp: -------------------------------------------------------------------------------- 1 | // 2 | // Created by Sajeeb Roy Chowdhury on 9/29/22. 3 | // 4 | 5 | #include "ir_tree_latex_visitor_strategy.h" 6 | 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/compiler-flags.mk: -------------------------------------------------------------------------------- 1 | YACCFLAGS = -d 2 | CSTD = -std=c++17 3 | CPPFLAGS = -Wall -Ofast -I ../../ 4 | LDFLAGS = #-L/usr/local/Cellar/flex/2.6.4_2/lib -L/usr/local/Cellar/bison/3.8.2/lib -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Core/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_CORE_MODULE_H 2 | #error "Please include Eigen/Core instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/misc/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_CORE_MODULE_H 2 | #error "Please include Eigen/Core instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Jacobi/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_JACOBI_MODULE_H 2 | #error "Please include Eigen/Jacobi instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/plugins/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_CORE_MODULE_H 2 | #error "Please include Eigen/plugins instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Cholesky/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_CHOLESKY_MODULE_H 2 | #error "Please include Eigen/Cholesky instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Geometry/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_GEOMETRY_MODULE_H 2 | #error "Please include Eigen/Geometry instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SparseLU/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SPARSELU_MODULE_H 2 | #error "Please include Eigen/SparseLU instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SparseQR/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SPARSEQR_MODULE_H 2 | #error "Please include Eigen/SparseQR instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Eigenvalues/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_EIGENVALUES_MODULE_H 2 | #error "Please include Eigen/Eigenvalues instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Householder/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_HOUSEHOLDER_MODULE_H 2 | #error "Please include Eigen/Householder instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/KLUSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_KLUSUPPORT_MODULE_H 2 | #error "Please include Eigen/KLUSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SPQRSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SPQRSUPPORT_MODULE_H 2 | #error "Please include Eigen/SPQRSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SparseCore/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SPARSECORE_MODULE_H 2 | #error "Please include Eigen/SparseCore instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /examples/users_guide/cube_centered.obj: -------------------------------------------------------------------------------- 1 | v -1 -1 -1 2 | v 1 -1 -1 3 | v -1 1 -1 4 | v 1 1 -1 5 | v -1 -1 1 6 | v 1 -1 1 7 | v -1 1 1 8 | v 1 1 1 9 | f 1 2 4 3 10 | f 1 2 6 5 11 | f 1 3 7 5 12 | f 2 4 8 6 13 | f 3 4 8 7 14 | f 5 6 8 7 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/auto_dependency_generation_variables.mk: -------------------------------------------------------------------------------- 1 | SRCS = $(wildcard *.cpp) 2 | DEPDIR := .deps 3 | DEPFLAGS = -MT $@ -MMD -MP -MF $(DEPDIR)/$*.Td 4 | POSTCOMPILE = mv -f $(DEPDIR)/$*.Td $(DEPDIR)/$*.d && touch $@ 5 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/MetisSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_METISSUPPORT_MODULE_H 2 | #error "Please include Eigen/MetisSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/PaStiXSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_PASTIXSUPPORT_MODULE_H 2 | #error "Please include Eigen/PaStiXSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/makefile: -------------------------------------------------------------------------------- 1 | all: 2 | cd lib; $(MAKE) all 3 | cd apps; $(MAKE) all 4 | 5 | clean: 6 | cd lib; $(MAKE) clean 7 | cd apps; $(MAKE) clean 8 | 9 | cleana: 10 | cd lib; $(MAKE) cleana 11 | 12 | install: 13 | cd apps; $(MAKE) install 14 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/CholmodSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_CHOLMODSUPPORT_MODULE_H 2 | #error "Please include Eigen/CholmodSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/PardisoSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_PARDISOSUPPORT_MODULE_H 2 | #error "Please include Eigen/PardisoSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SparseCholesky/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SPARSECHOLESKY_MODULE_H 2 | #error "Please include Eigen/SparseCholesky instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/SuperLUSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_SUPERLUSUPPORT_MODULE_H 2 | #error "Please include Eigen/SuperLUSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/UmfPackSupport/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_UMFPACKSUPPORT_MODULE_H 2 | #error "Please include Eigen/UmfPackSupport instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/oldcopy.h: -------------------------------------------------------------------------------- 1 | #ifndef OLDCOPY 2 | #define OLDCOPY 3 | 4 | extern void copyPermutation( 5 | const Permutation *const fromPerm, 6 | Permutation *const toPerm) 7 | ; 8 | 9 | #endif 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/OrderingMethods/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_ORDERINGMETHODS_MODULE_H 2 | #error "Please include Eigen/OrderingMethods instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/cputime.h: -------------------------------------------------------------------------------- 1 | #ifndef CPUTIME 2 | #define CPUTIME 3 | 4 | #ifdef CLK_TCK 5 | #undef CLK_TCK 6 | #endif 7 | #define CLK_TCK 1000 8 | 9 | extern clock_t cpuTime(void) 10 | ; 11 | 12 | #endif 13 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/clean_base_target.mk: -------------------------------------------------------------------------------- 1 | clean_base_target: 2 | @-rm -rfv .deps 3 | @-rm -rfv *.yy.* \ 4 | *.bak \ 5 | *.o \ 6 | *.out \ 7 | *.hacc \ 8 | *.cacc \ 9 | *.tab.* \ 10 | *.output \ 11 | .gitignore.bak -------------------------------------------------------------------------------- /doc/tables/commands/crc_code_description.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:CRC:description",, 3 | 1,"Defining a CRC-Code",, 4 | 1,"\verb'-type' "," type "," Select the type of CRC-code. " 5 | 1,"\verb'-block_length' "," length "," Select the symbol length of the CRC-code. " 6 | END 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ReductionVisitors/simplify_visitor.cpp: -------------------------------------------------------------------------------- 1 | /** 2 | * Author: Sajeeb Roy Chowdhury 3 | * Created: 10/18/22 4 | * Email: sajeeb.roy.chow@gmail.com 5 | * 6 | **/ 7 | 8 | #include "simplify_visitor.h" 9 | 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/IterativeLinearSolvers/InternalHeaderCheck.h: -------------------------------------------------------------------------------- 1 | #ifndef EIGEN_ITERATIVELINEARSOLVERS_MODULE_H 2 | #error "Please include Eigen/IterativeLinearSolvers instead of including headers inside the src directory directly." 3 | #endif 4 | -------------------------------------------------------------------------------- /doc/tables/commands/blt_set_classify.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:BLT:classify",, 3 | 1,"Classifying BLT-Sets",, 4 | 1,"\verb'-orthogonal_space' "," O "," Specify the orthogonal space. " 5 | 1,"\verb'-starter_size' "," s "," Set the size of partial BLT-sets that is used as subobjects. " 6 | END 7 | -------------------------------------------------------------------------------- /doc/tables/commands/crc_process_description.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:CRC:process",, 3 | 1,"Defining a CRC-process",, 4 | 1,"\verb'-code' "," label "," Set the a label. " 5 | 1,"\verb'-crc_options' "," options "," Specify the CRC-code using commands from Table~\ref{tab:CRC:options}. " 6 | END 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory/Clique/KClique.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * KClique.cpp 3 | * 4 | * Created on: Jun 18, 2020 5 | * Author: sajeeb 6 | */ 7 | 8 | #include "KClique.h" 9 | 10 | std::atomic KClique::current_progress; 11 | size_t KClique::total_progress; 12 | -------------------------------------------------------------------------------- /makefile: -------------------------------------------------------------------------------- 1 | all: ; 2 | cd src; $(MAKE) all 3 | 4 | clean: ; 5 | cd src; $(MAKE) clean 6 | #cd RUN; $(MAKE) clean 7 | - rm bin/*.out 8 | 9 | install: ; 10 | cd src; $(MAKE) install 11 | 12 | 13 | html: 14 | cp makefile_doxygen ~/public_html/orbiter/html/makefile 15 | chmod go+x ~/public_html/orbiter/html -------------------------------------------------------------------------------- /doc/tables/commands/interface_povray.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:interface:povray",, 3 | 1,"Povray Interface",, 4 | 1,"\verb'-povray' "," description "," Povray job description, see Table~\ref{tab:povray:job}. " 5 | 1,"\verb'-prepare_frames' "," n "," Prepare frames description, see Table~\ref{tab:prepareframes}. " 6 | END 7 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/Linalg/.gitignore: -------------------------------------------------------------------------------- 1 | .cproject 2 | *.o 3 | .project 4 | 5 | ./.settings 6 | ./.vscode 7 | ./vgcore* 8 | 9 | _cproject.xml 10 | _gitignore 11 | _project.xml 12 | 13 | main 14 | 15 | 16 | .vs 17 | *.sln 18 | *.vcxproj 19 | *.vcxproj.filters 20 | *.vcxproj.user 21 | *.h.save 22 | -------------------------------------------------------------------------------- /doc/tables/general/spreads_in_PG_3_4.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spreads:3:4",, 3 | 1,"Spreads in the Orbiter Catalogue",, 4 | 1,"X","p{5cm}","X" 5 | 1,"Number","Stab order","Name" 6 | 1,"0 "," 1200 "," Hall spread " 7 | 1,"1 "," 81600 "," Desarguesian spread " 8 | 1,"2 "," 576 "," Semifield spread" 9 | END 10 | 11 | 12 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/randobj.h: -------------------------------------------------------------------------------- 1 | #ifndef RANDOBJ 2 | #define RANDOBJ 3 | 4 | extern int main( 5 | int argc, 6 | char *argv[]) 7 | ; 8 | 9 | extern void checkCompileOptions( 10 | char *localFileName, 11 | CompileOptions *mainOpts, 12 | CompileOptions *localOpts) 13 | ; 14 | 15 | #endif 16 | -------------------------------------------------------------------------------- /src/apps/programmers_guide/GF_2.cpp: -------------------------------------------------------------------------------- 1 | //addition, multiplication, inversion and negation table: 2 | int add_table[] = { 3 | 0, 1, 4 | 1, 0, 5 | }; 6 | 7 | int mult_table[] = { 8 | 0, 0, 9 | 0, 1, 10 | }; 11 | 12 | int inv_table[] = { 13 | -999999999, 1, 14 | }; 15 | 16 | int neg_table[] = { 17 | 0, 1, 18 | }; 19 | 20 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/auto_dependency_generation_target.mk: -------------------------------------------------------------------------------- 1 | %.o : %.cpp 2 | %.o : %.cpp $(DEPDIR)/%.d | $(DEPDIR) 3 | $(CC) $(CSTD) $(DEPFLAGS) $(CPPFLAGS) -c $< 4 | $(POSTCOMPILE) 5 | 6 | $(DEPDIR): ; @mkdir -p $@ 7 | DEPFILES := $(SRCS:%.cpp=$(DEPDIR)/%.d) 8 | $(DEPFILES): 9 | include $(wildcard $(DEPFILES)) -------------------------------------------------------------------------------- /doc/tables/commands/combo_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:combo:activity",, 3 | 1,"Activities for Combinatorial Objects with Group",, 4 | 1,"\verb'-report' "," options "," Produce a report. See Tab.~\ref{tab:combi:reporting} for options." 5 | 1,"\verb'-get_group' "," "," Returns the group of the object as permutation group. " 6 | END 7 | blah 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/Linalg/gpuErrchk.cpp: -------------------------------------------------------------------------------- 1 | #include "gpuErrchk.h" 2 | 3 | 4 | __host__ void gpuAssert(cudaError_t code, const char *file, int line, bool abort) 5 | { 6 | if (code != cudaSuccess) 7 | { 8 | printf("GPUassert: %s %s %d\n", cudaGetErrorString(code), file, line); 9 | exit(-1); 10 | } 11 | } 12 | -------------------------------------------------------------------------------- /doc/tables/commands/group_theoretic_activity_gap.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:grouptasks:GAP",, 3 | 1,"Group Theoretic Activities Based on GAP",, 4 | 1,"\verb'-canonical_image' "," set ","Compute the canonical image of the given set under the group $G$." 5 | 1,"\verb'-export_gap' "," ","Export the group $G$ to GAP~\cite{GAP} / Fining~\cite{fining}." 6 | END 7 | -------------------------------------------------------------------------------- /doc/tables/commands/tree_draw_options.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:tree:draw",, 3 | 1,"Options for Drawing Trees",, 4 | 1,"\verb'-file' "," fname "," File in .tree format " 5 | 1,"\verb'-restrict' "," color "," " 6 | 1,"\verb'-select_path' "," path "," " 7 | 1,"\verb'-draw_options' "," options "," Select the draw options object for drawing options. " 8 | END 9 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- 1 | FROM gcc:10.2 2 | MAINTAINER Anton Betten "Anton.Betten@colostate.edu" 3 | 4 | RUN apt-get update 5 | 6 | RUN cd /opt && \ 7 | git clone https://github.com/abetten/orbiter && \ 8 | cd /opt/orbiter && \ 9 | make -f makefile clean && \ 10 | make -f makefile && \ 11 | make install 12 | 13 | ENV PATH="/opt/orbiter/bin:${PATH}" 14 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/Linalg/gpuErrchk.h: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | #include 4 | 5 | #ifndef gpuErrchk_ 6 | #define gpuErrchk_ 7 | 8 | #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } 9 | __host__ void gpuAssert(cudaError_t code, const char *file, int line, bool abort=true); 10 | 11 | #endif 12 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/ccommut.h: -------------------------------------------------------------------------------- 1 | #ifndef CCOMMUT 2 | #define CCOMMUT 3 | 4 | extern PermGroup *commutatorGroup( 5 | const PermGroup *const G, 6 | const PermGroup *const H) 7 | ; 8 | 9 | extern PermGroup *normalClosure( 10 | const PermGroup *const G, 11 | const PermGroup *const H) 12 | ; 13 | 14 | #endif 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/.gitignore: -------------------------------------------------------------------------------- 1 | *.yy.* 2 | *.bak 3 | *.o 4 | *.out 5 | *.hacc 6 | *.cacc 7 | *.tab.* 8 | *.output 9 | docs/html 10 | *.fm 11 | *.mm 12 | main 13 | .DS_Store 14 | visitor_result 15 | 16 | # Ignore all *.mk files 17 | **/*.mk 18 | # Ignore all *.mk files except the ones in the root directory 19 | !/*.mk 20 | 21 | **/.deps/* -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/addheader.sh: -------------------------------------------------------------------------------- 1 | 2 | 3 | for f in $(find -path ./.git -prune -o -name '*.cpp' -print); 4 | do 5 | cat <(echo " 6 | /** 7 | * Author: Sajeeb Roy Chowdhury 8 | * Created: 09.22.2022 9 | * Email: sajeeb.roy.chow@gmail.com 10 | * 11 | **/ 12 | ") $f > $f.bk; 13 | rm $f; 14 | mv $f.bk $f; 15 | done -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/copy.h: -------------------------------------------------------------------------------- 1 | #ifndef COPY 2 | #define COPY 3 | 4 | extern Permutation *copyOfPermutation( 5 | Permutation *oldPerm) /* The permutation to be copied. */ 6 | ; 7 | 8 | extern PermGroup *copyOfPermGroup( 9 | PermGroup *oldGroup) /* The group being copied. */ 10 | ; 11 | 12 | #endif 13 | -------------------------------------------------------------------------------- /doc/tables/commands/translation_plane_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:translationplane:activity",, 3 | 1,"Activities for Translation Planes",, 4 | 1,"\verb'-export_incma' "," "," Export the incidence matrix to file. " 5 | 1,"\verb'-p_rank' "," p "," Compute the p-rank of the incidence matrix for the given prime $p$. " 6 | 1,"\verb'-report' "," "," Produce a latex report. " 7 | END 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/orbit.h: -------------------------------------------------------------------------------- 1 | #ifndef ORBIT 2 | #define ORBIT 3 | 4 | extern FIXUP1 minimalPointOfOrbit( 5 | PermGroup *G, 6 | Unsigned level, 7 | Unsigned point, 8 | UnsignedS *minPointOfOrbit, 9 | UnsignedS *minPointKnown, 10 | UnsignedS *minPointKnownCount, 11 | UnsignedS *invOmega) 12 | ; 13 | 14 | #endif 15 | -------------------------------------------------------------------------------- /doc/tables/commands/packing_was_fixpoints_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:packings:was:fixpoints:activity",, 3 | 1,"Activities for Packings with Fixpoints",, 4 | 1,"\verb'-report' "," "," Produce a latex report " 5 | 1,"\verb'-print_packing' "," text "," Print the packing." 6 | 1,"\verb'-compare_files_of_packings' "," fname1 fname2 "," Compare packings in the two given files. " 7 | END -------------------------------------------------------------------------------- /doc/tables/commands/representation_theory.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:representation:theory",, 3 | 1,"Representation Theory Activities",, 4 | 1,"\verb'-representation_on_polynomials' "," R "," Computes the representation of the given group on homogeneous polynomials from the ring R. This is a group theoretic activity as described in Section~\ref{sec:group:theoretic:activities}. " 5 | END 6 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/IRTree/node_forward_declaration.h: -------------------------------------------------------------------------------- 1 | class irtree_node; 2 | class non_terminal_node; 3 | class terminal_node; 4 | class plus_node; 5 | class minus_node; 6 | class multiply_node; 7 | class exponent_node; 8 | class unary_negate_node; 9 | class variable_node; 10 | class parameter_node; 11 | class number_node; 12 | class sentinel_node; 13 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/readpts.h: -------------------------------------------------------------------------------- 1 | #ifndef READPTS 2 | #define READPTS 3 | 4 | extern PointSet *readPointSet( 5 | char *libFileName, 6 | char *libName, 7 | Unsigned degree) 8 | ; 9 | 10 | extern void writePointSet( 11 | char *libFileName, 12 | char *libName, 13 | char *comment, 14 | PointSet *P) 15 | ; 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /doc/tables/commands/packing_was_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:packings:was:activity",, 3 | 1,"Activities for Packings",, 4 | 1,"\verb'-report' "," "," Produce a latex report " 5 | 1,"\verb'-export_reduced_spread_orbits' "," fname "," Export reduced spread orbits." 6 | 1,"\verb'-create_graph_on_mixed_orbits' "," L "," Create the graph of orbits whose length is listed in L. " 7 | END 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/readpar.h: -------------------------------------------------------------------------------- 1 | #ifndef READPAR 2 | #define READPAR 3 | 4 | extern Partition *readPartition( 5 | char *libFileName, 6 | char *libName, 7 | Unsigned degree) 8 | ; 9 | 10 | extern void writePartition( 11 | char *libFileName, 12 | char *libName, 13 | char *comment, 14 | Partition *partn) 15 | ; 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /doc/tables/commands/graph_modification.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:graph:modifiers",, 3 | 1,"Graph Modifiers",, 4 | 1,"\verb'-complement' "," "," Complementary graph. " 5 | 1,"\verb'-distance_2' "," "," Distance two graph: Two vertices are adjacent if and only if they have distance two in the original graph. " 6 | 1,"\verb'-reorder' "," perm "," Apply the given permutation to the vertices of the graph. " 7 | END 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/cstrbas.h: -------------------------------------------------------------------------------- 1 | #ifndef CSTRBAS 2 | #define CSTRBAS 3 | 4 | extern RBase *constructRBase( 5 | PermGroup *const G, 6 | RefinementFamily *const RRR[], 7 | ReducChkFn *const isReducible[], 8 | SpecialRefinementDescriptor *const specialRefinement[], 9 | UnsignedS basicCellSize[], 10 | ExtraDomain *extra[] ) 11 | ; 12 | 13 | #endif 14 | -------------------------------------------------------------------------------- /doc/tables/commands/classify_cubic_surfaces.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:classify:cubic:surfaces",, 3 | 1,"Classifying Cubic Surfaces",, 4 | 1,"\verb'-use_double_sixes' ",," Use the method of substructures based on double sixes. " 5 | 1,"\verb'-projective_space' "," P "," Specify the projective space object P. " 6 | 1,"\verb'-poset_classification_control' ", C ," Use the poset classification control object C. " 7 | END 8 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/IRTree/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: clean_base_target 11 | include clean_base_target.mk 12 | 13 | 14 | include auto_dependency_generation_target.mk 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/code.h: -------------------------------------------------------------------------------- 1 | #ifndef CODE 2 | #define CODE 3 | 4 | extern void reduceBasis( 5 | Code *const C) 6 | ; 7 | 8 | extern BOOLEAN codeContainsVector( 9 | Code *const C, 10 | char *const v) 11 | ; 12 | 13 | extern BOOLEAN isCodeIsomorphism( 14 | Code *const C1, 15 | Code *const C2, 16 | const Permutation *const s) 17 | ; 18 | 19 | #endif 20 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/cryptography/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | cryptography_domain.o 10 | 11 | 12 | all : $(MODULES) 13 | 14 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 15 | 16 | clean: 17 | - rm *.o *.a *~ 18 | 19 | -------------------------------------------------------------------------------- /src/lib/layer4_classification/solvers_package/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | exact_cover.o \ 10 | exact_cover_arguments.o 11 | 12 | 13 | all : $(MODULES) 14 | 15 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 16 | 17 | clean: 18 | - rm *.o *.a *~ 19 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ToStringVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: clean_base_target 11 | include clean_base_target.mk 12 | 13 | include auto_dependency_generation_target.mk 14 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/PrintVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: clean_base_target 11 | 12 | include clean_base_target.mk 13 | 14 | include auto_dependency_generation_target.mk 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/LatexVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: clean_base_target 11 | 12 | include clean_base_target.mk 13 | 14 | 15 | include auto_dependency_generation_target.mk 16 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. \ 4 | -I. -I../../ \ 5 | -std=c++17 6 | 7 | # -frename-registers 8 | LIB = 9 | LFLAGS = -lm 10 | 11 | MODULES = \ 12 | eigen_interface.o 13 | 14 | 15 | all : $(MODULES) 16 | 17 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 18 | 19 | clean: 20 | - rm *.o *.a *~ 21 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/knowledge_base/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | finite_field_tables.o \ 10 | knowledge_base.o 11 | 12 | 13 | 14 | all : $(MODULES) 15 | 16 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 17 | 18 | clean: 19 | - rm *.o *.a *~ 20 | 21 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/CopyVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: $(CLEAN_TARGETS) clean_base_target 11 | include clean_base_target.mk 12 | 13 | FORCE: ; 14 | 15 | include auto_dependency_generation_target.mk -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/EvaluateVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: $(CLEAN_TARGETS) clean_base_target 11 | include clean_base_target.mk 12 | 13 | FORCE: ; 14 | 15 | include auto_dependency_generation_target.mk 16 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ExpansionVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: $(CLEAN_TARGETS) clean_base_target 11 | include clean_base_target.mk 12 | 13 | FORCE: ; 14 | 15 | include auto_dependency_generation_target.mk 16 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/polish/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | function_command.o \ 10 | function_polish_description.o \ 11 | function_polish.o 12 | 13 | 14 | all : $(MODULES) 15 | 16 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 17 | 18 | clean: 19 | - rm *.o *.a *~ 20 | 21 | -------------------------------------------------------------------------------- /src/lib/layer4_classification/orbits_schreier/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | orbit_of_equations.o \ 10 | orbit_of_sets.o \ 11 | orbit_of_subspaces.o 12 | 13 | 14 | all : $(MODULES) 15 | 16 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 17 | 18 | clean: 19 | - rm *.o *.a *~ 20 | 21 | -------------------------------------------------------------------------------- /doc/tables/commands/graph_classification_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:graph:classify:activity",, 3 | 1,"Activities after Graph Classification",, 4 | 1,"\verb'-draw_level_graph' "," $k$ "," " 5 | 1,"\verb'-draw_graphs' "," "," " 6 | 1,"\verb'-list_graphs_at_level' "," min max "," " 7 | 1,"\verb'-draw_graphs_at_level' "," $k$ "," " 8 | 1,"\verb'-draw_options' "," "," " 9 | 1,"\verb'-recognize_graphs_from_' \verb'adjacency_matrix_csv' "," "," " 10 | END 11 | -------------------------------------------------------------------------------- /doc/tables/commands/large_set_was_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:largeset:was:activity",, 3 | 1,"Large Set Activity",, 4 | 1,"\verb'-normalizer_on_orbits_of_' \verb'a_given_length' "," l nb\_orbits control "," " 5 | 1,"\verb'-create_graph_on_orbits_of_length' "," fname l "," " 6 | 1,"\verb'-create_graph_on_orbits_' \verb'of_length_based_on_N_orbits' "," fname-mask l nb\_orbits r m "," " 7 | 1,"\verb'-read_solution_file' "," l fname "," " 8 | END 9 | 10 | -------------------------------------------------------------------------------- /doc/tables/commands/packing_classify.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:packing:classify",, 3 | 1,"Classification of Packings",, 4 | 1,"\verb'-report' "," ","Produce a report." 5 | 1,"\verb'-classify' "," control ","Classify packings using poset classification. Use control for arguments." 6 | 1,"\verb'-make_graph_of_disjoint_spreads' "," ","Make the graph of disjoint spreads." 7 | 1,"\verb'-export_group_on_spreads' "," ","Export the group in the action on the spreads." 8 | END 9 | -------------------------------------------------------------------------------- /doc/tables/commands/vector_ge_builder.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:vector:ge:builder",, 3 | 1,"Vector of Group Elements Builder Commands",, 4 | 1,"\verb'-action' "," $A$ "," Set the action type for the group elements. " 5 | 1,"\verb'-read_csv' "," fname column "," Read group elements from the given csv file. The data is taken from the given column. " 6 | 1,"\verb'-vector_data' "," vector "," Construct group elements from the given vector data. " 7 | END 8 | 9 | 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/other_combinatorics/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | combinatorics_domain.o 11 | 12 | 13 | all : $(MODULES) 14 | 15 | 16 | 17 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 18 | 19 | 20 | 21 | clean: 22 | - rm *.o *.a *~ 23 | 24 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ReductionVisitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | all: $(TARGET_OBJECT_FILES) 9 | 10 | clean: $(CLEAN_TARGETS) clean_base_target 11 | 12 | include clean_base_target.mk 13 | 14 | FORCE: ; 15 | 16 | include auto_dependency_generation_target.mk 17 | -------------------------------------------------------------------------------- /src/lib/layer4_classification/invariant_relations/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | classification_step.o \ 10 | flag_orbit_node.o \ 11 | flag_orbits.o \ 12 | orbit_node.o 13 | 14 | 15 | all : $(MODULES) 16 | 17 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 18 | 19 | clean: 20 | - rm *.o *.a *~ 21 | -------------------------------------------------------------------------------- /src/apps/makefile: -------------------------------------------------------------------------------- 1 | all: 2 | cd mckay; $(MAKE) all 3 | cd orbiter; $(MAKE) all 4 | cd programmers_guide; $(MAKE) all 5 | cd sandbox; $(MAKE) all 6 | 7 | 8 | clean: 9 | cd mckay; $(MAKE) clean 10 | cd orbiter; $(MAKE) clean 11 | cd programmers_guide; $(MAKE) clean 12 | cd sandbox; $(MAKE) clean 13 | 14 | install: 15 | cd mckay; $(MAKE) install 16 | cd orbiter; $(MAKE) install 17 | cd programmers_guide; $(MAKE) install 18 | cd sandbox; $(MAKE) install 19 | 20 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/gpuErrchk.h: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | #include 4 | 5 | #ifndef gpuErrchk_ 6 | #define gpuErrchk_ 7 | 8 | #define gpuErrchk(ans) { gpuAssert((ans), __FILE__, __LINE__); } 9 | __host__ void gpuAssert(cudaError_t code, const char *file, int line, bool abort=true) { 10 | if (code != cudaSuccess) { 11 | printf("GPUassert: %s %s %d\n", cudaGetErrorString(code), file, line); 12 | exit(-1); 13 | } 14 | } 15 | 16 | #endif 17 | -------------------------------------------------------------------------------- /doc/tables/commands/large_set_was.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:largeset:was:create",, 3 | 1,"Creating Large Sets with Assumed Symmetry",, 4 | 1,"\verb'-H' "," go gens "," Specify the assumed group $H$. " 5 | 1,"\verb'-N' "," go gens "," Specify the normalizer $N$ of the group $H$. " 6 | 1,"\verb'-report' "," "," Create a latex report. " 7 | 1,"\verb'-prefix' "," prefix "," Set a prefix for output files. " 8 | 1,"\verb'-selected_orbit_length' "," l "," Select orbit length $l$. " 9 | END 10 | 11 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/design_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | design_object.o \ 11 | design_theory_global.o \ 12 | incidence_structure_by_flags.o 13 | 14 | 15 | all : $(MODULES) 16 | 17 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 18 | 19 | clean: 20 | - rm *.o *.a *~ 21 | 22 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/matrix.h: -------------------------------------------------------------------------------- 1 | #ifndef MATRIX 2 | #define MATRIX 3 | 4 | extern BOOLEAN isMatrix01Isomorphism( 5 | const Matrix_01 *const M1, 6 | const Matrix_01 *const M2, 7 | const Permutation *const s, 8 | const Unsigned monomialFlag) /* If TRUE, check that iso */ 9 | /* is monomial. */ 10 | ; 11 | 12 | extern Matrix_01 *augmentedMatrix( 13 | const Matrix_01 *const M) 14 | ; 15 | 16 | #endif 17 | -------------------------------------------------------------------------------- /src/lib/layer4_classification/set_stabilizer/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | compute_stabilizer.o \ 10 | stabilizer_orbits_and_types.o \ 11 | substructure_classifier.o \ 12 | substructure_stats_and_selection.o 13 | 14 | 15 | all : $(MODULES) 16 | 17 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 18 | 19 | clean: 20 | - rm *.o *.a *~ 21 | 22 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/puzzles/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | brick_domain.o \ 11 | domino_assignment.o \ 12 | domino_change.o \ 13 | pentomino_puzzle.o 14 | 15 | 16 | all : $(MODULES) 17 | 18 | 19 | 20 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 21 | 22 | 23 | 24 | clean: 25 | - rm *.o *.a *~ 26 | 27 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/util.h: -------------------------------------------------------------------------------- 1 | #ifndef UTIL 2 | #define UTIL 3 | 4 | extern void parseLibraryName( 5 | const char *const inputString, 6 | const char *const prefix, 7 | const char *const suffix, 8 | char *const libraryFileName, 9 | char *const libraryName) 10 | ; 11 | 12 | extern void showLimits(void) 13 | ; 14 | 15 | extern void checkCompileOptions( 16 | char *localFileName, 17 | CompileOptions *mainOpts, 18 | CompileOptions *localOpts) 19 | ; 20 | 21 | #endif 22 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/number_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | cyclotomic_sets.o \ 10 | elliptic_curve.o \ 11 | number_theoretic_transform.o \ 12 | number_theory_domain.o 13 | 14 | 15 | all : $(MODULES) 16 | 17 | 18 | 19 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 20 | 21 | 22 | 23 | clean: 24 | - rm *.o *.a *~ 25 | 26 | 27 | 28 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/addsgen.h: -------------------------------------------------------------------------------- 1 | #ifndef ADDSGEN 2 | #define ADDSGEN 3 | 4 | extern void addStrongGenerator( 5 | PermGroup *G, /* Group to which strong gen is adjoined. */ 6 | Permutation *newGen, /* The new strong generator. It must move 7 | a base point (not checked). */ 8 | BOOLEAN essentialAtOne) /* Should the new generator be marked as essential 9 | at level 1. */ 10 | ; 11 | 12 | #endif 13 | -------------------------------------------------------------------------------- /doc/tables/commands/graph_classify.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:graphoptions",, 3 | 1,"Classifying Graphs",, 4 | 1,"\verb'-regular' "," $r$ "," Regular of degree $r$ " 5 | 1,"\verb'-n' "," $n$ "," Number of vertices $n$ " 6 | 1,"\verb'-girth' "," $d$ "," Girth at least $d$ " 7 | 1,"\verb'-tournament' "," "," Classify tournaments. " 8 | 1,"\verb'-no_transmitter' "," "," Tournament without transmitter (requires \verb'-tournament') " 9 | 1,"\verb'-test_multi_edge' "," "," " 10 | 1,"\verb'-identify' "," "," " 11 | 1,"\verb'-depth' "," "," " 12 | END 13 | -------------------------------------------------------------------------------- /doc/tables/commands/BLT_set_create.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:BLT:create",, 3 | 1,"Creating BLT-Sets",, 4 | 1,"\verb'-catalogue' "," $i$ "," Create the BLT-set number $i$ from the Orbiter catalogue ($i$ is zero-based). " 5 | 1,"\verb'-family' "," name "," Create a BLT-set from the named family. See Table~\ref{tab:BLT:families} for possibilities for name." 6 | 1,"\verb'-flock' "," flock "," Create a BLT-set from a given flock. " 7 | 1,"\verb'-space' "," space "," Set the space. " 8 | 1,"\verb'-invariants' "," "," Compute isomorphism invariants. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/cinter.h: -------------------------------------------------------------------------------- 1 | #ifndef CINTER 2 | #define CINTER 3 | 4 | extern PermGroup *intersection( 5 | PermGroup *const G, /* The first permutation group. */ 6 | PermGroup *const E, /* The second permutation group. */ 7 | PermGroup *const L) /* A (possibly trivial) known subgroup of the 8 | intersection of G and E. (A null pointer 9 | designates a trivial group.) */ 10 | ; 11 | 12 | #endif 13 | -------------------------------------------------------------------------------- /doc/tables/commands/blt_set_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:BLT:activity",, 3 | 1,"BLT-Set Activity",, 4 | 1,"\verb'-report' "," "," Produce a latex report. " 5 | 1,"\verb'-export_gap' "," index "," Export to GAP/fining based on the indexed point. " 6 | 1,"\verb'-create_flock' "," "," Create a flock. " 7 | 1,"\verb'-BLT_test' "," "," Test of the set has the BLT-property. " 8 | 1,"\verb'-export_set_in_PG' "," "," Export the set in ranks of the underlying projective space. " 9 | 1,"\verb'-plane_invariant' "," "," Compute the plane invariant. " 10 | END 11 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ReductionVisitors/simplify_visitor.h: -------------------------------------------------------------------------------- 1 | /** 2 | * Author: Sajeeb Roy Chowdhury 3 | * Created: 10/18/22 4 | * Email: sajeeb.roy.chow@gmail.com 5 | * 6 | **/ 7 | 8 | #include "../IRTreeVisitor.h" 9 | #include 10 | 11 | #ifndef SIMPLIFY_VISITOR_H 12 | #define SIMPLIFY_VISITOR_H 13 | 14 | 15 | class simplify_visitor : public IRTreeVoidReturnTypeVisitorInterface { 16 | public: 17 | using IRTreeVoidReturnTypeVisitorInterface::visit; 18 | }; 19 | 20 | 21 | #endif // SIMPLIFY_VISITOR_H 22 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/interfaces/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | conjugacy_classes_and_normalizers.o \ 10 | conjugacy_classes_of_subgroups.o \ 11 | l3_interface_gap.o \ 12 | magma_interface.o \ 13 | nauty_interface_for_graphs.o \ 14 | nauty_interface_with_group.o 15 | 16 | 17 | all : $(MODULES) 18 | 19 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 20 | 21 | clean: 22 | - rm *.o *.a *~ 23 | 24 | -------------------------------------------------------------------------------- /doc/tables/commands/prepare_frames.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:prepareframes",, 3 | 1,"Preparing Frames for an Animation",, 4 | 1,"\verb'-i' "," $s$ $l$ mask "," Specify the input file names by running a printf command with the given mask applied to the index $i$ where $i$ loops over all integers from $s$ to $s+l-1.$ This option can be repeated. " 5 | 1,"\verb'-step' "," $s$ "," Increment the index in steps of size $s$. " 6 | 1,"\verb'-o' "," mask "," Create the output file using the given mask." 7 | 1,"\verb'-output_starts_at' "," $i$ "," Start output file indices at $i$ (default is 0)." 8 | END 9 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/parser.cpp: -------------------------------------------------------------------------------- 1 | #include "parser.h" 2 | 3 | #include "parser.tab.hpp" 4 | #include "lexer.yy.h" 5 | 6 | 7 | shared_ptr parser::parse_expression(std::string& exp, managed_variables_index_table managed_variables_table) { 8 | shared_ptr ir_tree_root; 9 | YY_BUFFER_STATE buffer = yy_scan_string( exp.c_str() ); 10 | yy_switch_to_buffer(buffer); 11 | int result = yyparse(ir_tree_root, managed_variables_table); 12 | yy_delete_buffer(buffer); 13 | yylex_destroy(); 14 | return ir_tree_root; 15 | } -------------------------------------------------------------------------------- /src/lib/layer5_top_level/apps_coding_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | code_modification_description.o \ 10 | coding_theoretic_activity_description.o \ 11 | coding_theoretic_activity.o \ 12 | crc_process_description.o \ 13 | crc_process.o \ 14 | create_code_description.o \ 15 | create_code.o 16 | 17 | 18 | all : $(MODULES) 19 | 20 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 21 | 22 | clean: 23 | - rm *.o *.a *~ 24 | 25 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/solvers/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | diophant_activity_description.o \ 10 | diophant_activity.o \ 11 | diophant_create.o \ 12 | diophant_description.o \ 13 | diophant.o \ 14 | dlx_problem_description.o \ 15 | dlx_solver.o \ 16 | mckay.o 17 | 18 | 19 | all : $(MODULES) 20 | 21 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 22 | 23 | clean: 24 | - rm *.o *.a *~ 25 | 26 | 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/exception.h: -------------------------------------------------------------------------------- 1 | /** 2 | * Author: Sajeeb Roy Chowdhury 3 | * Created: 11/10/22 4 | * Email: sajeeb.roy.chow@gmail.com 5 | * 6 | **/ 7 | 8 | #include 9 | #include 10 | 11 | #ifndef EXCEPTION_H 12 | #define EXCEPTION_H 13 | 14 | class not_implemented : public std::exception { 15 | std::string message; 16 | public: 17 | not_implemented(const std::string& message) : message(message) {} 18 | const char* what () const noexcept { 19 | return message.c_str(); 20 | } 21 | }; 22 | 23 | #endif //EXCEPTION_H 24 | -------------------------------------------------------------------------------- /doc/tables/commands/spread_classify.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spreads:classify",, 3 | 1,"Classification of Spreads",, 4 | 1,"\verb'-projective_space' "," P "," Select the projective space object P. " 5 | 1,"\verb'-starter_size' "," k "," Choose starter size $k$. " 6 | 1,"\verb'-k' "," k "," Choose dimension of the spread elements. " 7 | 1,"\verb'-poset_classification_control' "," control "," Select poset classification control. " 8 | 1,"\verb'-output_prefix' "," prefix "," Set output prefix for file i/o. " 9 | 1,"\verb'-recoordinatize' "," "," Turn recoordinatization on (recommended). " 10 | END 11 | 12 | -------------------------------------------------------------------------------- /doc/tables/general/quartic_curve_export.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:quartic:curve:export",, 3 | 1,"Options for Exporting Data: Quartic Curves",, 4 | 1,"X","p{1cm}","X" 5 | 1,"Label"," ","What" 6 | 1,"\verb'points' "," "," The points on the quartic curve. " 7 | 1,"\verb'equation' "," "," The equation of the quartic curves as a coefficient vector of length 15. " 8 | 1,"\verb'bitangents' "," "," The 28 bitangents. " 9 | 1,"\verb'Kovalevski_points' "," "," The Kovalevski points (points off the curve where 4 bitangents meet). " 10 | 1,"\verb'singular_points' "," "," The singular points of the curve. " 11 | END 12 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/combinatorics_with_groups/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | combinatorics_with_action.o \ 10 | fixed_objects_in_PG.o \ 11 | flag_orbits_incidence_structure.o \ 12 | group_action_on_combinatorial_object.o \ 13 | orbit_type_repository.o \ 14 | translation_plane_via_andre_model.o 15 | 16 | 17 | all : $(MODULES) 18 | 19 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 20 | 21 | clean: 22 | - rm *.o *.a *~ 23 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/factor.h: -------------------------------------------------------------------------------- 1 | #ifndef FACTOR 2 | #define FACTOR 3 | 4 | extern unsigned long gcd( 5 | unsigned long a, 6 | unsigned long b) 7 | ; 8 | 9 | extern void factMultiply( 10 | FactoredInt *const a, 11 | FactoredInt *const b) /* a = a * b */ 12 | ; 13 | 14 | extern void factDivide( 15 | FactoredInt *const a, 16 | FactoredInt *const b) /* a = a / b */ 17 | ; 18 | 19 | extern FactoredInt factorize( 20 | Unsigned n) 21 | ; 22 | 23 | extern BOOLEAN factEqual( 24 | FactoredInt *a, 25 | FactoredInt *b) 26 | ; 27 | 28 | #endif 29 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/token.h: -------------------------------------------------------------------------------- 1 | #ifndef TOKEN 2 | #define TOKEN 3 | 4 | extern char *lowerCase( 5 | char *s) 6 | ; 7 | 8 | extern void setInputFile( 9 | FILE *newFile) 10 | ; 11 | 12 | extern void setInputString( 13 | const char *const newString) 14 | ; 15 | 16 | extern Token readToken( void) 17 | ; 18 | 19 | extern Token nkReadToken(void) 20 | ; 21 | 22 | extern Token sReadToken( void) 23 | ; 24 | 25 | extern void unreadToken( 26 | Token tokenToUnread) 27 | ; 28 | 29 | extern void sUnreadToken( 30 | Token tokenToUnread) 31 | ; 32 | 33 | #endif 34 | -------------------------------------------------------------------------------- /doc/tables/commands/blt_set_classify_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:BLT:classify:activity",, 3 | 1,"Activities for the Classification of BLT-sets",, 4 | 1,"\verb'-compute_starter' "," "," Perform classification of partial spreads. " 5 | 1,"\verb'-poset_classification_activity' "," label "," " 6 | 1,"\verb'-create_graphs' "," "," Prepare to lift all cases of partial BLT-sets by creating the associated colored graphs. " 7 | 1,"\verb'-split' "," r m "," Lift only those cases $k$ with $k \equiv r \mod m$. " 8 | 1,"\verb'-isomorph' "," options "," Perform isomorphism testing after lifting is complete. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/BitSet/makefile: -------------------------------------------------------------------------------- 1 | CC=g++ 2 | CSTD_WARN_FLAGS=-Wall #-Wattributes -Wreturn-type -Wshift-count-overflow 3 | CSTD_FLAGS= $(CSTD_WARN_FLAGS) -std=c++11 4 | OPT_FLAGS=-O3 5 | #-march=native 6 | 7 | 8 | 9 | all: bitset.o 10 | $(CC) $(CSTD_FLAGS) $(OPT_FLAGS) bitset.o main.o -o main.out 11 | 12 | # main.o 13 | 14 | main.o: main.cpp bitset.h bitset_not_operator_test.h 15 | $(CC) $(CSTD_FLAGS) $(OPT_FLAGS) -c ./main.cpp -o ./main.o 16 | 17 | bitset.o: bitset.h bitset.cpp 18 | $(CC) $(CSTD_FLAGS) $(OPT_FLAGS) -c ./bitset.cpp -o ./bitset.o 19 | 20 | clean: 21 | rm -rf ./*.o ./main 22 | -------------------------------------------------------------------------------- /src/lib/layer4_classification/isomorph/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | flag_orbit_folding.o \ 10 | isomorph_arguments.o \ 11 | isomorph_context.o \ 12 | isomorph_global.o \ 13 | isomorph_worker.o \ 14 | isomorph.o \ 15 | representatives.o \ 16 | substructure_classification.o \ 17 | substructure_lifting_data.o 18 | 19 | 20 | all : $(MODULES) 21 | 22 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 23 | 24 | clean: 25 | - rm *.o *.a *~ 26 | 27 | 28 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/special_functions/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | apn_functions.o \ 11 | boolean_function_domain.o \ 12 | permutations.o \ 13 | polynomial_function_domain.o \ 14 | special_functions_domain.o 15 | 16 | 17 | all : $(MODULES) 18 | 19 | 20 | 21 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 22 | 23 | 24 | 25 | clean: 26 | - rm *.o *.a *~ 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/misc/lapacke_mangling.h: -------------------------------------------------------------------------------- 1 | #ifndef LAPACK_HEADER_INCLUDED 2 | #define LAPACK_HEADER_INCLUDED 3 | 4 | #ifndef LAPACK_GLOBAL 5 | #if defined(LAPACK_GLOBAL_PATTERN_LC) || defined(ADD_) 6 | #define LAPACK_GLOBAL(lcname,UCNAME) lcname##_ 7 | #elif defined(LAPACK_GLOBAL_PATTERN_UC) || defined(UPPER) 8 | #define LAPACK_GLOBAL(lcname,UCNAME) UCNAME 9 | #elif defined(LAPACK_GLOBAL_PATTERN_MC) || defined(NOCHANGE) 10 | #define LAPACK_GLOBAL(lcname,UCNAME) lcname 11 | #else 12 | #define LAPACK_GLOBAL(lcname,UCNAME) lcname##_ 13 | #endif 14 | #endif 15 | 16 | #endif 17 | 18 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/parser.h: -------------------------------------------------------------------------------- 1 | /** 2 | * Author: Sajeeb Roy Chowdhury 3 | * Created: 12/20/22 4 | * Email: sajeeb.roy.chow@gmail.com 5 | * 6 | **/ 7 | 8 | #include 9 | #include 10 | 11 | #include "IRTree/node_forward_declaration.h" 12 | #include "Visitors/exponent_vector_visitor.h" 13 | 14 | using std::shared_ptr; 15 | 16 | 17 | #ifndef _PARSER_ 18 | #define _PARSER_ 19 | 20 | namespace parser { 21 | 22 | shared_ptr parse_expression(std::string& exp, managed_variables_index_table managed_variables_table); 23 | 24 | } 25 | 26 | #endif /* _PARSER_ */ -------------------------------------------------------------------------------- /src/lib/layer5_top_level/projective_geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | projective_space_activity_description.o \ 10 | projective_space_activity.o \ 11 | projective_space_global.o \ 12 | projective_space_with_action_description.o \ 13 | projective_space_with_action.o \ 14 | ring_with_action.o \ 15 | summary_of_properties_of_objects.o 16 | 17 | all : $(MODULES) 18 | 19 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 20 | 21 | clean: 22 | - rm *.o *.a *~ 23 | -------------------------------------------------------------------------------- /src/apps/mckay/makefile: -------------------------------------------------------------------------------- 1 | SRC=../../../src 2 | DISCRETA_CPP = g++ 3 | DISCRETA_CC = gcc 4 | CPPFLAGS = -Wall -I$(SRC)/lib 5 | LIB = $(SRC)/lib/liborbiter.a -lpthread 6 | LFLAGS = -lm -Wl,-rpath -Wl,/usr/local/gcc-8.2.0/lib64 7 | #LFLAGS = -lm -lpthread -Wl,-rpath -Wl,/projects/abetten@colostate.edu/gcc-install-destdir/usr/local/gcc-8.1/lib64 8 | 9 | 10 | 11 | TARGETS=\ 12 | showg.out 13 | 14 | all: $(TARGETS) 15 | 16 | 17 | showg.out: showg.o ; 18 | $(DISCRETA_CPP) showg.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 19 | 20 | 21 | install: 22 | cp $(TARGETS) ../../../bin 23 | 24 | 25 | 26 | clean: 27 | - rm *.o *.a *.out *~ 28 | 29 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/geometry/finite_geometries/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | andre_construction.o \ 10 | andre_construction_line_element.o \ 11 | andre_construction_point_element.o \ 12 | buekenhout_metz.o \ 13 | desarguesian_spread.o \ 14 | knarr.o \ 15 | spread_domain.o \ 16 | spread_tables.o \ 17 | w3q.o 18 | 19 | 20 | all : $(MODULES) 21 | 22 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 23 | 24 | clean: 25 | - rm *.o *.a *~ 26 | 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/randgrp.h: -------------------------------------------------------------------------------- 1 | #ifndef RANDGRP 2 | #define RANDGRP 3 | 4 | extern void initializeSeed( 5 | unsigned long newSeed) /* The new value for the seed. */ 6 | ; 7 | 8 | extern Unsigned randInteger( 9 | Unsigned lowerBound, /* Lower bound for range of random integer. */ 10 | Unsigned upperBound) /* Upper bound for range of random integer. */ 11 | ; 12 | 13 | extern Word *randGroupWord( 14 | PermGroup *G, 15 | Unsigned atLevel) 16 | ; 17 | 18 | extern Permutation *randGroupPerm( 19 | PermGroup *G, 20 | Unsigned atLevel) 21 | ; 22 | 23 | #endif 24 | -------------------------------------------------------------------------------- /doc/tables/commands/draw_incidence_structure_description.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:draw:incidence:structure",, 3 | 1,"Options for Drawing Incidence Structures",, 4 | 1,"\verb'-width' "," w "," Set the width of one box in units of 0.1mm. " 5 | 1,"\verb'-width_10' "," w "," Set the width of one tenth of a box. Should with the value of width divided by 10. " 6 | 1,"\verb'-outline_thin' "," "," Draw a thin outline. " 7 | 1,"\verb'-unit_length' "," "," Default: 0.065mm. " 8 | 1,"\verb'-thick_lines' "," "," Default: 0.5mm. " 9 | 1,"\verb'-thin_lines' "," "," Default: 0.15mm. " 10 | 1,"\verb'-geo_line_width' "," "," Default: 0.25mm. " 11 | END 12 | 13 | -------------------------------------------------------------------------------- /doc/tables/commands/povray_job_description.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:povray:job",, 3 | 1,"Povray Job Options",, 4 | 1,"\verb'-video_options' "," "," Set options from Tables~\ref{tab:povray1} and~\ref{tab:povray2}. " 5 | 1,"\verb'-round' "," n "," Select round $n$ for rendering only. " 6 | 1,"\verb'-rounds' "," list "," Select a list of rounds for rendering. " 7 | 1,"\verb'-nb_frames_default' "," f "," Select the number of frames per round. " 8 | 1,"\verb'-output_mask' "," fname-mask "," Set mask for output file name generation. " 9 | 1,"\verb'-scene_objects' "," options "," Define Scene objects according to Table~\ref{tab:3doutput}. " 10 | END 11 | -------------------------------------------------------------------------------- /lsr.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # Terminal ANSI Color codes 4 | NONE='\033[00m' 5 | RED='\033[00;31m' 6 | GREEN='\033[00;32m' 7 | YELLOW='\033[00;33m' 8 | PURPLE='\033[00;35m' 9 | CYAN='\033[00;36m' 10 | WHITE='\033[00;37m' 11 | BOLD='\033[1m' 12 | UNDERLINE='\033[4m' 13 | 14 | LINE="--------------------------------------------------------------------------" 15 | 16 | COUNT=0; 17 | echo $LINE 18 | echo "[# LINES] => [FILE]" 19 | echo $LINE 20 | for f in $(find . -type f ! -name '*~' ! -name '.DS_Store'); do 21 | echo "$f"; 22 | COUNT=$[COUNT+1]; 23 | done 24 | echo $LINE 25 | echo -e "${GREEN}Total number of files is $COUNT${NONE}" 26 | echo $LINE 27 | -------------------------------------------------------------------------------- /src/apps/orbiter/makefile: -------------------------------------------------------------------------------- 1 | SRC=../../../src 2 | DISCRETA_CPP = g++ 3 | DISCRETA_CC = gcc 4 | CPPFLAGS = -Wall -I$(SRC)/lib -std=c++17 5 | LIB = $(SRC)/lib/liborbiter.a -lpthread 6 | LFLAGS = -lm -Wl,-rpath -Wl,/usr/local/gcc-8.2.0/lib64 7 | #LFLAGS = -lm -lpthread -Wl,-rpath -Wl,/projects/abetten@colostate.edu/gcc-install-destdir/usr/local/gcc-8.1/lib64 8 | 9 | 10 | 11 | TARGETS=\ 12 | orbiter.out 13 | 14 | all: $(TARGETS) 15 | 16 | 17 | orbiter.out: orbiter.o ; 18 | $(DISCRETA_CPP) orbiter.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 19 | 20 | 21 | install: 22 | cp $(TARGETS) ../../../bin 23 | 24 | 25 | 26 | clean: 27 | - rm *.o *.a *.out *~ 28 | 29 | -------------------------------------------------------------------------------- /src/apps/sandbox/makefile: -------------------------------------------------------------------------------- 1 | SRC=../../../src 2 | DISCRETA_CPP = g++ 3 | DISCRETA_CC = gcc 4 | CPPFLAGS = -Wall -I$(SRC)/lib -std=c++17 5 | LIB = $(SRC)/lib/liborbiter.a -lpthread 6 | LFLAGS = -lm -Wl,-rpath -Wl,/usr/local/gcc-8.2.0/lib64 7 | #LFLAGS = -lm -lpthread -Wl,-rpath -Wl,/projects/abetten@colostate.edu/gcc-install-destdir/usr/local/gcc-8.1/lib64 8 | 9 | 10 | 11 | TARGETS=\ 12 | sandbox.out 13 | 14 | all: $(TARGETS) 15 | 16 | 17 | sandbox.out: sandbox.o ; 18 | $(DISCRETA_CPP) sandbox.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 19 | 20 | 21 | install: 22 | cp $(TARGETS) ../../../bin 23 | 24 | 25 | 26 | clean: 27 | - rm *.o *.a *.out *~ 28 | 29 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/groupio.h: -------------------------------------------------------------------------------- 1 | #ifndef GROUPIO 2 | #define GROUPIO 3 | 4 | #define MAX_TOKEN_LENGTH 32 5 | 6 | typedef enum { 7 | keyword, identifier, integer, floatingPt, leftParen, rightParen, leftBracket, 8 | rightBracket, leftAngle, rightAngle, semicolon, equal, asterisk, caret, 9 | comma, slash, period, colon, other, eof 10 | } TokenType; 11 | 12 | typedef struct { 13 | TokenType type; 14 | union { 15 | char keyValue[MAX_TOKEN_LENGTH+1]; 16 | char identValue[MAX_TOKEN_LENGTH+1]; 17 | Unsigned intValue; 18 | char charValue; 19 | } value; 20 | } Token; 21 | 22 | #endif 23 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/orbits/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | classify_cubic_surfaces_description.o \ 10 | orbit_cascade.o \ 11 | orbits_activity_description.o \ 12 | orbits_activity.o \ 13 | orbits_create_description.o \ 14 | orbits_create.o \ 15 | orbits_global.o \ 16 | orbits_on_pairs.o \ 17 | orbits_on_polynomials.o \ 18 | orbits_on_subspaces.o 19 | 20 | 21 | all : $(MODULES) 22 | 23 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 24 | 25 | clean: 26 | - rm *.o *.a *~ 27 | 28 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/applications_in_algebraic_geometry/quartic_curves/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | quartic_curve_activity_description.o \ 10 | quartic_curve_activity.o \ 11 | quartic_curve_create_description.o \ 12 | quartic_curve_create.o \ 13 | quartic_curve_domain_with_action.o \ 14 | quartic_curve_from_surface.o \ 15 | quartic_curve_object_with_group.o 16 | 17 | 18 | all : $(MODULES) 19 | 20 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 21 | 22 | clean: 23 | - rm *.o *.a *~ 24 | -------------------------------------------------------------------------------- /doc/tables/commands/clique_finder_control.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:graphcliques",, 3 | 1,"Finding Cliques",, 4 | 1,"\verb'-rainbow' "," "," Find all rainbow cliques. The size of the cliques is the number of vertex colors. " 5 | 1,"\verb'-target_size' "," $s$ "," Find all cliques of size $s$. " 6 | 1,"\verb'-weighted' "," $s$ "," Find weighted cliques. " 7 | 1,"\verb'-Sajeeb' "," ","Use the implementation by Sajeeb Chowdhury. " 8 | 1,"\verb'-output_file' "," fname "," Write cliques to the named file. " 9 | 1,"\verb'-restrictions' "," $l$ $r$ $m$ ","Restricted search: At level $l$, restrict to all branches congruent to $r$ modulo $m$. Here, $0 \le r < m.$ " 10 | END 11 | -------------------------------------------------------------------------------- /doc/tables/commands/polynomial_ring.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:polynomial:ring",, 3 | 1,"Creating Multivariate Polynomial Rings",, 4 | 1,"\verb'-field' "," label "," Specify the field of coefficients. " 5 | 1,"\verb'-homogeneous_of_degree' "," $d$ "," Specify the degree $d$ of polynomials. " 6 | 1,"\verb'-number_of_variables' "," $n$ "," Specify the number $n$ of variables. " 7 | 1,"\verb'-monomial_ordering_partition' "," "," Set monomial ordering to partition ordering. " 8 | 1,"\verb'-monomial_ordering_lex' "," "," Set monomial ordering to lexicographic ordering. " 9 | 1,"\verb'-variables' "," label-txt label-tex "," Specify variable labels in ascii and in latex. " 10 | END 11 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/semifields/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | semifield_classify_description.o \ 10 | semifield_classify_with_substructure.o \ 11 | semifield_classify.o \ 12 | semifield_downstep_node.o \ 13 | semifield_flag_orbit_node.o \ 14 | semifield_level_two.o \ 15 | semifield_lifting.o \ 16 | semifield_substructure.o \ 17 | semifield_trace.o \ 18 | trace_record.o 19 | 20 | 21 | all : $(MODULES) 22 | 23 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 24 | 25 | clean: 26 | - rm *.o *.a *~ 27 | 28 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/linear_algebra/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | gl_class_rep.o \ 10 | gl_classes.o \ 11 | linear_algebra_global.o \ 12 | linear_algebra_RREF.o \ 13 | linear_algebra.o \ 14 | linear_algebra2.o \ 15 | linear_algebra3.o \ 16 | matrix_block_data.o \ 17 | representation_theory_domain.o \ 18 | vector_space.o 19 | 20 | 21 | all : $(MODULES) 22 | 23 | 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | 28 | 29 | clean: 30 | - rm *.o *.a *~ 31 | 32 | 33 | 34 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/basic_algebra/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | a_domain.o \ 11 | algebra_global.o \ 12 | generators_symplectic_group.o \ 13 | group_generators_domain.o \ 14 | heisenberg.o \ 15 | matrix_group_element.o \ 16 | matrix_group.o \ 17 | module.o \ 18 | null_polarity_generator.o \ 19 | rank_checker.o 20 | 21 | 22 | all : $(MODULES) 23 | 24 | 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | 29 | 30 | clean: 31 | - rm *.o *.a *~ 32 | 33 | 34 | 35 | -------------------------------------------------------------------------------- /doc/tables/commands/projective_space_with_action.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:PG:create",, 3 | 1,"Options for Creating a Projective Space",, 4 | 1,"\verb'-n' "," $n$ "," Specify the projective dimension $n$. " 5 | 1,"\verb'-q' "," $q$ "," Specify the order $q$ of the underlying finite field $\bbF_q$. A default version of the field $\bbF_q$ will be created. " 6 | 1,"\verb'-field' "," F "," Specify the underlying field $F$. " 7 | 1,"\verb'-use_projectivity_subgroup' "," "," Create the projectivity group instead of the collineation group. " 8 | 1,"\verb'-v' "," $k$ ","Set verbosity to $k$ during creation of the projective space. Higher values of $k$ give more output. $k=0$ is silent mode." 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/orbrefn.h: -------------------------------------------------------------------------------- 1 | #ifndef ORBREFN 2 | #define ORBREFN 3 | 4 | extern void initializeOrbRefine( PermGroup *G) 5 | ; 6 | 7 | extern SplitSize orbRefine( 8 | const RefinementParm familyParm[], 9 | const RefinementParm refnParm[], 10 | PartitionStack *const UpsilonStack) 11 | ; 12 | 13 | extern RefinementPriorityPair isOrbReducible( 14 | const RefinementFamily *family, /* The refinement family mapping 15 | must be orbRefine; family parm[0] 16 | is the group. */ 17 | const PartitionStack *const UpsilonStack) 18 | ; 19 | 20 | #endif 21 | -------------------------------------------------------------------------------- /src/lib/layer2_discreta/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | CPPFLAGS = -Wall -I.. -O3 -funroll-loops 3 | LIB = 4 | LFLAGS = -lm 5 | 6 | MODULES = \ 7 | base.o \ 8 | bt_key.o \ 9 | btree.o \ 10 | database.o \ 11 | design.o \ 12 | design_parameter.o \ 13 | design_parameter_source.o \ 14 | discreta_global.o \ 15 | discreta_matrix.o \ 16 | domain.o \ 17 | global.o \ 18 | hollerith.o \ 19 | integer.o \ 20 | longinteger.o \ 21 | memory.o \ 22 | number_partition.o \ 23 | page_table.o \ 24 | permutation.o \ 25 | unipoly.o \ 26 | vector.o 27 | 28 | 29 | all: $(MODULES) 30 | 31 | clean: 32 | - rm *.o *.a *~ 33 | 34 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 35 | 36 | 37 | -------------------------------------------------------------------------------- /doc/tables/commands/number_theoretic_commands.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:nt",, 3 | 1,"Number Theoretic Commands",, 4 | 1,"\verb'-sift_smooth' "," $a$ $n$ primes "," Computes all smooth numbers in the interval $[a,a+n-1]$. Smooth means that they factor completely over the list of primes given. " 5 | 1,"\verb'-random' "," $n$ fname "," Creates $n$ random numbers and writes them to the csv file \verb'fname' " 6 | 1,"\verb'-random_last' "," $n$ "," Creates $n$ random numbers prints the last one " 7 | 1,"\verb'-affine_sequence' "," $a$ $b$ $p$ "," Splits the interval $[0,p-1]$ into affine sequences of the form $x_{n+1} = a x_n + b \mod p$ " 8 | END 9 | // Section 10.1 10 | // number_theoretic_commands.csv 11 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/geometry_builder/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | cperm.o \ 10 | decomposition_with_fuse.o \ 11 | gen_geo_conf.o \ 12 | gen_geo.o \ 13 | geometric_backtrack_search.o \ 14 | geometry_builder_description.o \ 15 | geometry_builder.o \ 16 | girth_test.o \ 17 | inc_encoding.o \ 18 | incidence.o \ 19 | test_semicanonical.o \ 20 | iso_type.o 21 | 22 | 23 | 24 | all : $(MODULES) 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | clean: 29 | - rm *.o *.a *~ 30 | 31 | -------------------------------------------------------------------------------- /doc/tables/commands/spread_classify_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spreads:classify:activity",, 3 | 1,"Activities for the Classification of Spreads",, 4 | 1,"\verb'-compute_starter' "," "," Perform classification of partial spreads. " 5 | 1,"\verb'-prepare_lifting_single_case' "," k "," Prepare to lift single case $k$. Here (and below) case means isomorphism type in the classification of partial spreads. " 6 | 1,"\verb'-prepare_lifting_all_cases' "," "," Prepare to lift all cases of partial spreads. " 7 | 1,"\verb'-split' "," r m "," Lift only those cases $k$ with $k \equiv r \mod m$. " 8 | 1,"\verb'-isomorph' "," prefix1 prefix2 options "," Perform isomorphism testing after lifting is complete. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/readper.h: -------------------------------------------------------------------------------- 1 | #ifndef READPER 2 | #define READPER 3 | 4 | extern Permutation *readPermutation( 5 | char *libFileName, 6 | char *libName, 7 | const Unsigned requiredDegree, 8 | const BOOLEAN inverseFlag) /* If true, adjoin inverse. */ 9 | ; 10 | 11 | extern void writePermutation( 12 | char *libFileName, 13 | char *libName, 14 | Permutation *perm, 15 | char *format, 16 | char *comment) 17 | ; 18 | 19 | extern void writePermutationRestricted( 20 | char *libFileName, 21 | char *libName, 22 | Permutation *perm, 23 | char *format, 24 | char *comment, 25 | Unsigned restrictedDegree) 26 | ; 27 | 28 | #endif 29 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/data_structures_groups/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | export_group.o \ 10 | group_container.o \ 11 | group_table_and_generators.o \ 12 | hash_table_subgroups.o \ 13 | orbit_rep.o \ 14 | orbit_transversal.o \ 15 | schreier_vector_handler.o \ 16 | schreier_vector.o \ 17 | set_and_stabilizer.o \ 18 | union_find.o \ 19 | union_find_on_k_subsets.o \ 20 | vector_ge_description.o \ 21 | vector_ge.o 22 | 23 | 24 | all : $(MODULES) 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | clean: 29 | - rm *.o *.a *~ 30 | -------------------------------------------------------------------------------- /doc/tables/commands/group_theoretic_activity_magma.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:grouptasks:magma",, 3 | 1,"Group Theoretic Activities Based on Magma",, 4 | 1,"\verb'-classes' "," ","Compute the conjugacy classes of elements in the group." 5 | 1,"\verb'-subgroup_lattice_magma' "," "," Compute the lattice of subgroups by means of conjugacy classes of subgroups." 6 | 1,"\verb'-centralizer_of_element' "," label coding ","Compute the centralizer of the group element, using label to create file names." 7 | 1,"\verb'-normalizer_of_cyclic_subgroup' "," label $s$ ","Compute the normalizer of the cyclic subgroup generated by the element $s$." 8 | 1,"\verb'-normalizer' "," ","Compute the normalizer of a subgroup in the larger group. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/expression_parser/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | formula_vector.o \ 10 | formula.o \ 11 | symbolic_object_activity_description.o \ 12 | symbolic_object_activity.o \ 13 | symbolic_object_builder_description.o \ 14 | symbolic_object_builder.o \ 15 | syntax_tree_latex.o \ 16 | syntax_tree_node_io.o \ 17 | syntax_tree_node_terminal.o \ 18 | syntax_tree_node.o \ 19 | syntax_tree.o 20 | 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | clean: 28 | - rm *.o *.a *~ 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/tactical_decompositions/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | decomposition_scheme.o \ 11 | decomposition.o \ 12 | geo_parameter.o \ 13 | row_and_col_partition.o \ 14 | tactical_decomposition_domain.o \ 15 | tdo_data.o \ 16 | tdo_refinement_description.o \ 17 | tdo_refinement.o \ 18 | tdo_scheme_compute.o \ 19 | tdo_scheme_synthetic.o 20 | 21 | 22 | all : $(MODULES) 23 | 24 | 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | 29 | 30 | clean: 31 | - rm *.o *.a *~ 32 | 33 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/geometry/other_geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | arc_basic.o \ 10 | arc_in_projective_space.o \ 11 | flag.o \ 12 | geometric_object_create.o \ 13 | geometric_object_description.o \ 14 | geometry_global.o \ 15 | hermitian.o \ 16 | hjelmslev.o \ 17 | incidence_structure.o \ 18 | intersection_type.o \ 19 | point_line.o \ 20 | points_and_lines.o \ 21 | three_skew_subspaces.o 22 | 23 | 24 | all : $(MODULES) 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | clean: 29 | - rm *.o *.a *~ 30 | 31 | 32 | 33 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/applications_in_algebraic_geometry/cubic_surfaces_in_general/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | cubic_surface_activity_description.o \ 10 | cubic_surface_activity.o \ 11 | surface_clebsch_map.o \ 12 | surface_create_description.o \ 13 | surface_create.o \ 14 | surface_domain_high_level.o \ 15 | surface_object_with_group.o \ 16 | surface_study.o \ 17 | surface_with_action.o \ 18 | table_of_surfaces.o 19 | 20 | 21 | all : $(MODULES) 22 | 23 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 24 | 25 | clean: 26 | - rm *.o *.a *~ 27 | 28 | -------------------------------------------------------------------------------- /doc/tables/commands/finite_field.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:finitefield:create",, 3 | 1,"Creating Finite Fields",, 4 | 1,"\verb'-q' "," $q$ "," Specify the order of the field. Here, $q=p^k$ for some prime $p$ and some positive integer $k$." 5 | 1,"\verb'-override_polynomial' "," $n$ ","Specify the polynomial used to create the finite field. The polynomial is given as integer, using the base $p$ representation. See Section~\ref{sec:extension:fields}." 6 | 1,"\verb'-without_tables' "," "," Create the field without precomputing the tables." 7 | 1,"\verb'-compute_related_fields' "," "," Compute information about all subfields. " 8 | 1,"\verb'-symbol' "," $s$ "," Use $s$ as a symbol for the primitive element during printing. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/makefile: -------------------------------------------------------------------------------- 1 | include compilers.mk 2 | include compiler-flags.mk 3 | include os-detect.mk 4 | include auto_dependency_generation_variables.mk 5 | 6 | TARGET_OBJECT_FILES = $(SRCS:.cpp=.o) 7 | 8 | VISITOR_DIRECTORIES = $(wildcard *Visitors) 9 | 10 | CLEAN_TARGETS = $(addsuffix Clean, $(VISITOR_DIRECTORIES)) 11 | 12 | all: $(TARGET_OBJECT_FILES) $(VISITOR_DIRECTORIES) 13 | 14 | %Visitors: FORCE 15 | ln -sf $(shell pwd)/*.mk $@ 16 | $(MAKE) -C $@ all 17 | 18 | clean: $(CLEAN_TARGETS) clean_base_target 19 | 20 | include clean_base_target.mk 21 | 22 | %Clean: FORCE 23 | -$(MAKE) -C $(subst Clean,,$@) clean 24 | 25 | FORCE: ; 26 | 27 | include auto_dependency_generation_target.mk 28 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/randschr.h: -------------------------------------------------------------------------------- 1 | #ifndef RANDSCHR 2 | #define RANDSCHR 3 | 4 | extern void removeIdentityGens( 5 | PermGroup *const G) /* The group G mentioned above. */ 6 | ; 7 | 8 | extern void adjoinGenInverses( 9 | PermGroup *const G) /* The group mentioned above. */ 10 | ; 11 | 12 | extern void initializeBase( 13 | PermGroup *const G) /* The group G mentioned above. */ 14 | ; 15 | 16 | extern void replaceByPower( 17 | const PermGroup *const G, 18 | const Unsigned level, 19 | Permutation *const h) 20 | ; 21 | 22 | extern BOOLEAN randomSchreier( 23 | PermGroup *const G, 24 | RandomSchreierOptions rOptions) 25 | ; 26 | 27 | #endif 28 | -------------------------------------------------------------------------------- /using_singularity.md: -------------------------------------------------------------------------------- 1 | ## Using Singularity Container 2 | 3 | ### Singularity container definition file 4 | ```shell 5 | Bootstrap: library 6 | From: ubuntu:22.04 7 | 8 | %post 9 | apt-get -y update 10 | apt-get -y install g++ python3 python3-dev make git 11 | ``` 12 | definition file user guide: https://docs.sylabs.io/guides/3.5/user-guide/definition_files.html 13 | 14 | ### Building a singularity container 15 | Build a container from the above definition file: 16 | ```shell 17 | sudo singularity build --sandbox singularity_ubuntu_2204 singularity_ubuntu_2204.def 18 | ``` 19 | 20 | ### Start the container 21 | ```shell 22 | singularity run singularity_ubuntu_2204 23 | ``` 24 | tells singularity to run `singularity_ubuntu_2204` container. -------------------------------------------------------------------------------- /doc/tables/commands/mapping.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:mapping",, 3 | 1,"Mappings Between Projective Spaces",, 4 | 1,"\verb'-domain' "," D "," Set the domain to D (a projective space). " 5 | 1,"\verb'-codomain' "," C "," Set the codomain to C (a projective space). " 6 | 1,"\verb'-ring' "," R "," Set the coordinate ring for D. " 7 | 1,"\verb'-formula' "," f "," Use the symbolic object f to define the mapping. " 8 | 1,"\verb'-substitute' "," s "," Substitute s into the equation before doing the mapping. " 9 | 1,"\verb'-affine' "," "," Treat the domain as an affine space. " 10 | 1,"\verb'-object_in_codomain_cubic_surface' "," S "," Set the codomain to the cubic surface object S. The map will now output images as indices of points on the surface. " 11 | END 12 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/apps_graph_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | cayley_graph_search.o \ 10 | create_graph_description.o \ 11 | create_graph.o \ 12 | graph_classification_activity_description.o \ 13 | graph_classification_activity.o \ 14 | graph_classify_description.o \ 15 | graph_classify.o \ 16 | graph_modification_description.o \ 17 | graph_theoretic_activity_description.o \ 18 | graph_theoretic_activity.o \ 19 | graph_theory_apps.o 20 | 21 | 22 | all : $(MODULES) 23 | 24 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 25 | 26 | clean: 27 | - rm *.o *.a *~ 28 | 29 | -------------------------------------------------------------------------------- /doc/tables/commands/coding_theoretic_activity_2.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:finitefield:activities:coding2",, 3 | 1,"Coding Theoretic Activities (Part 2)",, 4 | 1,"\verb'-make_diagram' "," "," Creates a diagram of the code in Hamming space. Uses \verb'-embellish' $r$ to emphasize codewords by drawing a circle of radius $r$. If \verb'-metric_balls' $r$ is given, the metric balls around codewords of radius $r$ are indicated. " 5 | 1,"\verb'-boolean_function_of_code' "," ","Computes the boolean function of the code $C$. " 6 | 1,"\verb'-embellish' "," $r$ "," See \verb'-make_diagram'. " 7 | 1,"\verb'-metric_balls' "," $r$ "," See \verb'-make_diagram'. " 8 | 1,"\verb'-Hamming_space_distance_matrix' "," $n$ "," Make the distance matrix of the Hamming graph $H(n,q).$ " 9 | END 10 | -------------------------------------------------------------------------------- /doc/tables/commands/finite_field_activities_2.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:finitefield:activities:more",, 3 | 1,"More Finite Field Activities",, 4 | 1,"\verb'-trace' "," ","Computes the partition of the field elements according to the value of their absolute trace." 5 | 1,"\verb'-norm' "," ","Computes the partition of the field elements according to the value of their absolute norm." 6 | 1,"\verb'-normal_basis' "," $d$ ","Computes a normal basis for $\bbF_{q^d}$ over $\bbF_q.$" 7 | 1,"\verb'-nth_roots' "," $n$ ","Compute the minimum polynomials of all $n$-th roots over $F$." 8 | 1,"\verb'-field_reduction' "," label $q$ $m$ $n$ $v$ ","Compute the field reduction from $F$ to the subfield $\bbF_q$ of the $m \times n$ matrix whose coefficients are given in $v$. " 9 | END 10 | -------------------------------------------------------------------------------- /doc/tables/commands/special_actions.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:specific",, 3 | 1,"Creating Special Actions",, 4 | 1,"\verb'-wedge_detached' "," "," action on the exterior square. Unlike \verb'-wedge', this command does not establish the homomorphism to the original group. Instead, the group is created as subgroup of the larger general linear group." 5 | 1,"\verb'-PGL2OnConic' "," "," induced action of $\PGL(2,q)$ on the conic in the plane $\PG(2,q)$ " 6 | 1,"\verb'-subfield_structure_action' "," $s$ "," action by field reduction to the subfield of index $s$" 7 | 1,"\verb'-on_tensors' "," "," induced action of $\GL(d,q) \wr \Sym(n)$ on the tensor space " 8 | 1,"\verb'-on_rank_one_tensors' "," "," induced action of $\GL(d,q) \wr \Sym(n)$ on the tensor space " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/geometry/projective_geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | grassmann.o \ 10 | grassmann_embedded.o \ 11 | klein_correspondence.o \ 12 | polarity.o \ 13 | projective_space.o \ 14 | projective_space2.o \ 15 | projective_space_basic.o \ 16 | projective_space_implementation.o \ 17 | projective_space_of_dimension_three.o \ 18 | projective_space_plane.o \ 19 | projective_space_reporting.o \ 20 | projective_space_subspaces.o 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | clean: 28 | - rm *.o *.a *~ 29 | 30 | 31 | 32 | 33 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/group_constructions/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | direct_product.o \ 10 | group_constructions_global.o \ 11 | group_modification_description.o \ 12 | linear_group.o \ 13 | linear_group_description.o \ 14 | modified_group_create.o \ 15 | permutation_group_create.o \ 16 | permutation_group_description.o \ 17 | permutation_representation_domain.o \ 18 | permutation_representation.o \ 19 | polarity_extension.o \ 20 | wreath_product.o 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c 26 | $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | clean: 29 | - rm *.o *.a *~ 30 | 31 | -------------------------------------------------------------------------------- /search.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # using grep, searches all makefiles for the phrase given as the command line argument 4 | 5 | # Terminal ANSI Color codes 6 | NONE='\033[00m' 7 | RED='\033[00;31m' 8 | GREEN='\033[00;32m' 9 | YELLOW='\033[00;33m' 10 | PURPLE='\033[00;35m' 11 | CYAN='\033[00;36m' 12 | WHITE='\033[00;37m' 13 | BOLD='\033[1m' 14 | UNDERLINE='\033[4m' 15 | 16 | LINE="--------------------------------------------------------------------------" 17 | 18 | COUNT=0; 19 | echo $LINE 20 | echo "[# LINES] => [FILE]" 21 | echo $LINE 22 | for f in $(find . -name 'makefile' ); do 23 | tmp=$(grep $1 < $f | wc -l ); 24 | echo "$tmp => $f"; 25 | COUNT=$[COUNT+tmp]; 26 | done 27 | echo $LINE 28 | echo -e "${GREEN}Total number of lines of code is $COUNT${NONE}" 29 | echo $LINE 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/rprique.h: -------------------------------------------------------------------------------- 1 | #ifndef RPRIQUE 2 | #define RPRIQUE 3 | 4 | extern void initFromPartnStack( 5 | RPriorityQueue *rpq, /* R-priority queue to initialize. */ 6 | PartitionStack *PiStack, /* The partition stack. */ 7 | Unsigned cellNumber, /* The R-priority queue is initialized to cell 8 | cellNumber of top partition on bfPiStack */ 9 | const RBase *const AAA) /* Only omega and invOmega are needed. */ 10 | ; 11 | 12 | extern Unsigned removeMin( 13 | RPriorityQueue *rpq) /* R-priority queue for remove operation. */ 14 | ; 15 | 16 | extern void makeEmpty( 17 | RPriorityQueue *rpq) /* The priority queue to make empty. */ 18 | ; 19 | 20 | #endif 21 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/orbiter_kernel_system/override_double.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * override_double.cpp 3 | * 4 | * Created on: Sep 16, 2019 5 | * Author: betten 6 | */ 7 | 8 | 9 | #include "foundations.h" 10 | 11 | using namespace std; 12 | 13 | 14 | namespace orbiter { 15 | namespace layer1_foundations { 16 | namespace other { 17 | namespace orbiter_kernel_system { 18 | 19 | 20 | 21 | 22 | 23 | override_double::override_double( 24 | double *p, double value) 25 | { 26 | Record_birth(); 27 | override_double::p = p; 28 | original_value = *p; 29 | new_value = value; 30 | *p = value; 31 | } 32 | 33 | override_double::~override_double() 34 | { 35 | Record_death(); 36 | if (p) { 37 | *p = original_value; 38 | } 39 | } 40 | 41 | 42 | }}}} 43 | 44 | 45 | -------------------------------------------------------------------------------- /stats.csv: -------------------------------------------------------------------------------- 1 | 9249,action 2 | 1195,longinteger_object 3 | 644,colored_graph 4 | 1718,finite_field 5 | 421,longinteger_domain 6 | 523,homogeneous_polynomial_domain 7 | 2012,projective_space 8 | 506,grassmann 9 | 1289,orthogonal 10 | 965,matrix_group 11 | 708,vector_ge 12 | 1962,schreier 13 | 2186,sims 14 | 189,variety_object 15 | 803,surface_object 16 | 169,quartic_curve_object 17 | 1577,poset_classification 18 | 628,linear_algebra 19 | 1021,file_io 20 | 758,geometry_global 21 | 589,combinatorics_domain 22 | 2334,strong_generators 23 | 479,any_group 24 | 497,linear_group 25 | 425,schreier_vector 26 | 459,unipoly_domain 27 | 258,unipoly_object 28 | 223,projective_space_with_action 29 | 527,number_theory_domain 30 | 71,classification_step 31 | 10973,string 32 | 928,sorting 33 | 528,string_tools 34 | -------------------------------------------------------------------------------- /doc/tables/general/table_quadrics.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:quadrics",, 3 | 1,"Types of Quadrics",, 4 | 1,"X","p{6cm}","X" 5 | 1,"Type","Quadratic Form","\# Points" 6 | 1,"\begin{tabular}{c}$Q^+(n,q)$\\ Hyperbolic ($n$ is odd) \end{tabular}"," $\displaystyle \sum_{i=0}^{\frac{n-1}{2} - 1} X_{2i}X_{2i+1}=0$ "," $\displaystyle \frac{(q^{(n+1)/2}-1)(q^{(n-1)/2}+1)}{q-1}$ " 7 | 1,"\begin{tabular}{c}$Q^-(n,q)$ \\ Elliptic ($n$ is odd) \end{tabular}"," $\displaystyle p(X_{n-1}, X_{n}) + \sum_{i=0}^{\frac{n-1}{2} - 1} X_{2i}X_{2i+1}=0$ ","$\displaystyle \frac{(q^{(n+1)/2}+1)(q^{(n-1)/2}-1)}{q-1}$ " 8 | 1,"\begin{tabular}{c} $Q(n,q)$ \\ Parabolic ($n$ is even) \end{tabular}"," $\displaystyle X_0^2 + \sum_{i=0}^{\frac{n}{2} - 1} X_{2i+1}X_{2i+2}=0$ "," $\displaystyle \frac{q^n-1}{q-1}$ " 9 | END 10 | -------------------------------------------------------------------------------- /doc/tables/general/basic_actions.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:actions",, 3 | 1,"Basic actions",, 4 | 1,"X","p{5cm}","X" 5 | 1,"Name","Object","Number of points" 6 | 1,"General linear $\GL(n,q)$ "," all vectors of $V$ "," $q^n$ " 7 | 1,"Affine $\AGL(n,q)$ "," all vectors of $V$ "," $q^n$ " 8 | 1,"Projective $\PGL(n,q)$"," ${\frak Gr}_1(V)$ "," $\frac{q^n-1}{q-1}$ " 9 | 1,"Wreath product $\GL(d,q) \wr \Sym(n)$ "," ${\frak Gr}_1((\bbF_q^d)^{\otimes n})$ extended "," $n+nq^d+ \frac{q^{d^n}-1}{q-1}$" 10 | 1,"Orthogonal $\PGO(n,q)$"," $Q(V)$ "," $\displaystyle \frac{q^{n-1}-1}{q-1}$" 11 | 1,"Orthogonal $\PGO^+(n,q)$"," $Q^+(V)$ "," $\displaystyle \frac{(q^{n/2}-1)(q^{(n-2)/2}+1)}{q-1}$ " 12 | 1,"Orthogonal $\PGO^-(n,q)$"," $Q^-(V)$ "," $\displaystyle \frac{(q^{n/2}+1)(q^{(n-2)/2}-1)}{q-1}$" 13 | END 14 | -------------------------------------------------------------------------------- /doc/tables/commands/spread_table_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spread:table:activity",, 3 | 1,"Activities for Spread Tables",, 4 | 1,"\verb'-find_spread' "," spread "," Find a given spread in the table. " 5 | 1,"\verb'-find_spread_and_dualize' "," spread "," Find a given spread in the table and dualize. " 6 | 1,"\verb'-dualize_packing' "," packing "," Dualize a packing. " 7 | 1,"\verb'-print_spreads' "," spreads "," Print the given spreads. " 8 | 1,"\verb'-export_spreads_to_csv' "," fname index "," Export the spread whose index is given to csv-file. " 9 | 1,"\verb'-find_spreads_containing_one_line' "," index "," Find all spreads which contain the given line. " 10 | 1,"\verb'-isomorphism_type_of_spreads' "," spreads-by-index "," Determine the isomorphism type of each spread in the list. " 11 | END 12 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/Linalg/gpu_table.h: -------------------------------------------------------------------------------- 1 | /* 2 | * gpu_table.h 3 | * 4 | * Created on: Jul 22, 2019 5 | * Author: sajeeb 6 | */ 7 | 8 | #include 9 | //#include 10 | #include "drvapi_error_string.h" 11 | 12 | #ifndef GPU_TABLE_H_ 13 | #define GPU_TABLE_H_ 14 | 15 | 16 | namespace gpu_table { 17 | 18 | size_t nb_devices () { 19 | int deviceCount; 20 | cudaGetDeviceCount(&deviceCount); 21 | return deviceCount; 22 | } 23 | 24 | 25 | size_t free_memory () { 26 | size_t free, total; 27 | cudaMemGetInfo(&free, &total); 28 | return free; 29 | } 30 | 31 | size_t total_memory () { 32 | size_t free, total; 33 | cudaMemGetInfo(&free, &total); 34 | return total; 35 | } 36 | 37 | 38 | } 39 | 40 | 41 | 42 | 43 | #endif /* GPU_TABLE_H_ */ 44 | -------------------------------------------------------------------------------- /doc/tables/commands/draw_bitmap_control.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:bitmap",, 3 | 1,"Creating a Bitmap Graphics",, 4 | 1,"\verb'-input_csv_file' "," csv-file ","Specify the input csv file. " 5 | 1,"\verb'-secondary_input_csv_file' "," csv-file ","Specify a secondary input csv file (optional). " 6 | 1,"\verb'-input_object' "," l ","Specify input to be Orbiter object l. " 7 | 1,"\verb'-partition' "," $w$ $R$ $C$ ","Specify a partition $R$ of rows and $C$ of columns. Use separating lines of with $w$. " 8 | 1,"\verb'-box_width' "," $w$ ","Use $w$ pixels per matrix entry. " 9 | 1,"\verb'-bit_depth' "," $d$ ","Use color bit depth of $d$ bits ($d=8$ or $d=24$). " 10 | 1,"\verb'-invert_colors' "," ","Use an inverted color scheme. " 11 | 1,"\verb'-grayscale' "," ","Use a grayscale color set. " 12 | END 13 | -------------------------------------------------------------------------------- /makefile_doxygen: -------------------------------------------------------------------------------- 1 | all: 2 | chmod -R ugo+r * 3 | chmod o+x search 4 | chmod o+x d0 5 | chmod o+x d1 6 | chmod o+x d2 7 | chmod o+x d3 8 | chmod o+x d4 9 | chmod o+x d5 10 | chmod o+x d6 11 | chmod o+x d7 12 | chmod o+x d8 13 | chmod o+x d9 14 | chmod o+x da 15 | chmod o+x db 16 | chmod o+x dc 17 | chmod o+x dd 18 | chmod o+x de 19 | chmod o+x df 20 | cd d0; chmod go+x * 21 | cd d1; chmod go+x * 22 | cd d2; chmod go+x * 23 | cd d3; chmod go+x * 24 | cd d4; chmod go+x * 25 | cd d5; chmod go+x * 26 | cd d6; chmod go+x * 27 | cd d7; chmod go+x * 28 | cd d8; chmod go+x * 29 | cd d9; chmod go+x * 30 | cd da; chmod go+x * 31 | cd db; chmod go+x * 32 | cd dc; chmod go+x * 33 | cd dd; chmod go+x * 34 | cd de; chmod go+x * 35 | cd df; chmod go+x * 36 | 37 | 38 | 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/coding_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | code_diagram.o \ 11 | coding_theory_domain_crc.o \ 12 | coding_theory_domain.o \ 13 | crc_code_description.o \ 14 | crc_codes_search.o \ 15 | crc_codes.o \ 16 | crc_object.o \ 17 | crc_options_description.o \ 18 | create_BCH_code.o \ 19 | create_RS_code.o \ 20 | cyclic_codes.o \ 21 | error_pattern_generator.o \ 22 | error_repository.o \ 23 | mindist.o \ 24 | ttp_codes.o 25 | 26 | 27 | all : $(MODULES) 28 | 29 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 30 | 31 | clean: 32 | - rm *.o *.a *~ 33 | 34 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory_nauty/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | naugraph.o \ 10 | naurng.o \ 11 | nautil.o \ 12 | nauty.o \ 13 | schreier.o 14 | 15 | 16 | all : $(MODULES) 17 | 18 | #%.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 19 | 20 | naugraph.o : naugraph.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 21 | naurng.o : naurng.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 22 | nautil.o : nautil.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 23 | nauty.o : nauty.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 24 | schreier.o : schreier.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 25 | 26 | 27 | clean: 28 | - rm *.o *.a *~ 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/applications_in_algebraic_geometry/cubic_surfaces_and_double_sixes/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | classification_of_cubic_surfaces_with_double_sixes_activity_description.o \ 10 | classification_of_cubic_surfaces_with_double_sixes_activity.o \ 11 | classify_double_sixes.o \ 12 | classify_five_plus_one.o \ 13 | identify_cubic_surface.o \ 14 | surface_classify_wedge_io.o \ 15 | surface_classify_wedge_recognition.o \ 16 | surface_classify_wedge.o \ 17 | surface_repository.o 18 | 19 | 20 | all : $(MODULES) 21 | 22 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 23 | 24 | clean: 25 | - rm *.o *.a *~ 26 | 27 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/remove_minus_nodes_visitor.h: -------------------------------------------------------------------------------- 1 | // 2 | // Created by Sajeeb Roy Chowdhury on 10/1/22. 3 | // 4 | 5 | #include "IRTreeChildLinkArgumentVisitor.h" 6 | #include "../IRTree/node.h" 7 | #include 8 | 9 | #ifndef REMOVE_MINUS_NODES_VISITOR_H 10 | #define REMOVE_MINUS_NODES_VISITOR_H 11 | 12 | //! a visitor is a class that realizes an activity for processing an abstract syntax tree of Sajeeb type. 13 | 14 | 15 | class remove_minus_nodes_visitor : public IRTreeChildLinkArgumentVisitor { 16 | public: 17 | using IRTreeChildLinkArgumentVisitor::visit; 18 | 19 | bool found_operator_chain = false; 20 | void visit(minus_node* op_node, list>::iterator& link) override; 21 | }; 22 | 23 | #endif // REMOVE_MINUS_NODES_VISITOR_H 24 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. \ 4 | -I./Clique -I../BitSet -I../../ \ 5 | -std=c++17 6 | 7 | # -frename-registers 8 | LIB = 9 | LFLAGS = -lm -lginac -lcln 10 | 11 | MODULES = \ 12 | clique_finder.o \ 13 | clique_finder_control.o \ 14 | colored_graph_cliques.o \ 15 | colored_graph.o \ 16 | graph_layer.o \ 17 | graph_node.o \ 18 | graph_theory_domain.o \ 19 | graph_theory_subgraph_search.o \ 20 | layered_graph.o \ 21 | rainbow_cliques.o 22 | 23 | 24 | 25 | 26 | all : $(MODULES) 27 | cd ./Clique; $(MAKE) KClique.o 28 | 29 | %.o: %.cpp %.c %.h ./Clique/*.h; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< -lpthread 30 | 31 | clean: 32 | - rm *.o *.a *~ 33 | cd ./Clique; $(MAKE) clean 34 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/applications_in_algebraic_geometry/cubic_surfaces_and_arcs/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | arc_lifting.o \ 10 | arc_orbits_on_pairs.o \ 11 | arc_partition.o \ 12 | classify_trihedral_pairs.o \ 13 | six_arcs_not_on_a_conic.o \ 14 | surface_classify_using_arc.o \ 15 | surface_create_by_arc_lifting.o \ 16 | surfaces_arc_lifting_definition_node.o \ 17 | surfaces_arc_lifting_trace.o \ 18 | surfaces_arc_lifting_upstep.o \ 19 | surfaces_arc_lifting.o \ 20 | trihedral_pair_with_action.o 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | clean: 28 | - rm *.o *.a *~ 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/user_interface/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | activity_description.o \ 10 | interface_algebra.o \ 11 | interface_coding_theory.o \ 12 | interface_combinatorics.o \ 13 | interface_cryptography.o \ 14 | interface_povray.o \ 15 | interface_projective.o \ 16 | interface_symbol_table.o \ 17 | interface_toolkit.o \ 18 | orbiter_command.o \ 19 | orbiter_top_level_session.o \ 20 | symbol_definition.o 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | %.out: %.o; 28 | $(DISCRETA_CPP) $< $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 29 | 30 | 31 | clean: 32 | - rm *.o *.a *~ 33 | 34 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/ring_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | finite_ring.o \ 10 | homogeneous_polynomial_domain.o \ 11 | longinteger_domain.o \ 12 | longinteger_object.o \ 13 | partial_derivative.o \ 14 | polynomial_double_domain.o \ 15 | polynomial_double.o \ 16 | polynomial_ring_activity_description.o \ 17 | polynomial_ring_description.o \ 18 | ring_theory_global.o \ 19 | table_of_irreducible_polynomials.o \ 20 | unipoly_domain.o \ 21 | unipoly_domain2.o 22 | 23 | 24 | all : $(MODULES) 25 | 26 | 27 | 28 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 29 | 30 | 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | 36 | 37 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/graph_theory/Clique/makefile: -------------------------------------------------------------------------------- 1 | CC=g++ 2 | CFLAGS=-Wall -pthread 3 | CSTD=-std=c++17 4 | OPTFLAGS=-O3 -mtune=native -funroll-loops 5 | INCLUDES=-I../../../BitSet -I../../../ -I../../../../ -I../../../group_actions/groups/ 6 | 7 | 8 | all: main.out main_k_clique.out 9 | 10 | 11 | main.out: main.cpp Graph.h RainbowClique.h 12 | $(CC) $(CFLAGS) $(CSTD) $(OPTFLAGS) $(INCLUDES) $< -o $@ 13 | 14 | 15 | main_k_clique.out: KClique.o main_k_clique.o 16 | $(CC) $(CFLAGS) $(CSTD) $(OPTFLAGS) $(INCLUDES) $^ -o $@ 17 | 18 | KClique.o: KClique.cpp KClique.h Graph.h 19 | $(CC) $(CFLAGS) $(CSTD) $(OPTFLAGS) $(INCLUDES) -c $< -o $@ 20 | 21 | main_k_clique.o: main_k_clique.cpp Graph.h 22 | $(CC) $(CFLAGS) $(CSTD) $(OPTFLAGS) $(INCLUDES) -c $< -o $@ 23 | 24 | clean: 25 | - rm -rf *.o *.out 26 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/canonical_form_classification/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | any_combinatorial_object.o \ 11 | classification_of_objects_description.o \ 12 | classification_of_objects.o \ 13 | classify_bitvectors.o \ 14 | classify_using_canonical_forms.o \ 15 | data_input_stream_description_element.o \ 16 | data_input_stream_description.o \ 17 | data_input_stream_output.o \ 18 | data_input_stream.o \ 19 | encoded_combinatorial_object.o \ 20 | objects_report_options.o 21 | 22 | 23 | all : $(MODULES) 24 | 25 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 26 | 27 | clean: 28 | - rm *.o *.a *~ 29 | 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/os-detect.mk: -------------------------------------------------------------------------------- 1 | # 2 | # Detect OS and make necessary changes to flags 3 | # 4 | 5 | UNAME_S := $(shell uname -s) 6 | 7 | ifeq ($(UNAME_S),Linux) 8 | OSFLAG += -D LINUX 9 | CPPFLAGS += -march=native -mtune=native 10 | LEXLIB += -lfl 11 | endif 12 | ifeq ($(UNAME_S),Darwin) 13 | OSFLAG += -D OSX 14 | CPPFLAGS += -I/opt/homebrew/opt/flex/include 15 | CPPFLAGS += -mmacosx-version-min=$(word 4, $(shell sw_vers)) 16 | LEXLIB += -ll 17 | LDFLAGS += #-L/usr/local/Cellar/flex/2.6.4_2/lib -L/usr/local/Cellar/bison/3.8.2/lib 18 | endif 19 | 20 | UNAME_P := $(shell uname -p) 21 | ifeq ($(UNAME_P),x86_64) 22 | OSFLAG += -D AMD64 23 | endif 24 | 25 | ifneq ($(filter %86,$(UNAME_P)),) 26 | OSFLAG += -D IA32 27 | endif 28 | ifneq ($(filter arm%,$(UNAME_P)),) 29 | OSFLAG += -D ARM 30 | endif 31 | -------------------------------------------------------------------------------- /find_and_count.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # using grep, searches all *.cpp files for the phrase given as the command line argument 4 | 5 | # Terminal ANSI Color codes 6 | NONE='\033[00m' 7 | RED='\033[00;31m' 8 | GREEN='\033[00;32m' 9 | YELLOW='\033[00;33m' 10 | PURPLE='\033[00;35m' 11 | CYAN='\033[00;36m' 12 | WHITE='\033[00;37m' 13 | BOLD='\033[1m' 14 | UNDERLINE='\033[4m' 15 | 16 | LINE="--------------------------------------------------------------------------" 17 | 18 | COUNT=0; 19 | echo $LINE 20 | echo "[# LINES] => [FILE]" 21 | echo $LINE 22 | for f in $(find . -name '*.cpp' ); do 23 | tmp=$(grep $1 < $f | wc -l ); 24 | echo "$tmp => $f"; 25 | COUNT=$[COUNT+tmp]; 26 | done 27 | echo $LINE 28 | echo -e "${GREEN}Total number of times that we found the phrase is $COUNT${NONE}" 29 | echo $LINE 30 | echo "$COUNT,$1" >>stats.csv 31 | 32 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/geometry/orthogonal/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | blt_set_domain.o \ 10 | blt_set_invariants.o \ 11 | hyperbolic_pair_hyperbolic.o \ 12 | hyperbolic_pair_parabolic.o \ 13 | hyperbolic_pair_rank_unrank.o \ 14 | hyperbolic_pair.o \ 15 | linear_complex.o \ 16 | orthogonal_global.o \ 17 | orthogonal_group.o \ 18 | orthogonal_indexing.o \ 19 | orthogonal_plane_invariant.o \ 20 | orthogonal_io.o \ 21 | orthogonal.o \ 22 | quadratic_form_list_coding.o \ 23 | quadratic_form.o \ 24 | unusual_model.o 25 | 26 | 27 | 28 | all : $(MODULES) 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Core/functors/TernaryFunctors.h: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // Copyright (C) 2016 Eugene Brevdo 5 | // 6 | // This Source Code Form is subject to the terms of the Mozilla 7 | // Public License v. 2.0. If a copy of the MPL was not distributed 8 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 9 | 10 | #ifndef EIGEN_TERNARY_FUNCTORS_H 11 | #define EIGEN_TERNARY_FUNCTORS_H 12 | 13 | #include "../InternalHeaderCheck.h" 14 | 15 | namespace Eigen { 16 | 17 | namespace internal { 18 | 19 | //---------- associative ternary functors ---------- 20 | 21 | 22 | 23 | } // end namespace internal 24 | 25 | } // end namespace Eigen 26 | 27 | #endif // EIGEN_TERNARY_FUNCTORS_H 28 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/apps_geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | arc_generator_description.o \ 10 | arc_generator.o \ 11 | arc_lifting_simeon.o \ 12 | choose_points_or_lines.o \ 13 | classify_cubic_curves.o \ 14 | cubic_curve_with_action.o \ 15 | hermitian_spreads_classify.o \ 16 | linear_set_classify.o \ 17 | mapping_description.o \ 18 | mapping.o \ 19 | ovoid_classify_description.o \ 20 | ovoid_classify.o \ 21 | polar.o \ 22 | search_blocking_set.o \ 23 | singer_cycle.o \ 24 | tensor_classify.o \ 25 | top_level_geometry_global.o 26 | 27 | 28 | all : $(MODULES) 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | -------------------------------------------------------------------------------- /doc/tables/commands/crc_options.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:CRC:options",, 3 | 1,"Options for CRC-Codes",, 4 | 1,"\verb'-input' "," fname "," Input file name. " 5 | 1,"\verb'-output' "," fname "," Output file name. " 6 | 1,"\verb'-crc_type' "," type "," The type of CRC-code. " 7 | 1,"\verb'-block_length' "," $L$ "," Set the block length to $L$ field elements. " 8 | 1,"\verb'-block_based_error_generator' "," "," Apply block-based error generator. " 9 | 1,"\verb'-file_based_error_generator' "," threshold "," Apply file-based error generator. " 10 | 1,"\verb'-nb_repeats' "," $N$ "," Set the number of repeats to $N$. " 11 | 1,"\verb'-threshold' "," $t$ "," Set probability of error per experiment to $t/1000000$. " 12 | 1,"\verb'-error_log' "," fname "," Set file name for error logging. " 13 | 1,"\verb'-selected_block' "," $i$ "," Set block number. " 14 | END 15 | -------------------------------------------------------------------------------- /doc/tables/commands/finite_field_activities_linear_algebra.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:linear:algebra",, 3 | 1,"Finite Field Activities Pertaining to Linear Algebra",, 4 | 1,"\verb'-nullspace' "," $L$ "," Compute a basis for the right nullspace of the matrix $L$ " 5 | 1,"\verb'-RREF' "," $L$ "," Compute the RREF of the matrix $L$ over $\bbF_q$" 6 | 1,"\verb'-RREF_random_matrix' "," $m$ $n$ "," Produce a random $m \times n$ matrix over $\bbF_q$ and perform RREF." 7 | 1,"\verb'-Walsh_matrix' "," $n$ ","Create the Walsh matrix of order $n$." 8 | 1,"\verb'-Vandermonde_matrix' "," ","Create the Vandermonde matrix of order $q$ and compute its inverse. The $(i,j)$ entry is $\gamma_i^j$ ($i,j=0,\ldots,q-1$). Here, $\gamma_0,\ldots,\gamma_{q-1}$ is the list of elements in $\bbF_q$ in Orbiter ordering. The matrix and its inverse are written to file. " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/orbiter_kernel_system/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | action_pointer_stats.o \ 10 | activity_output.o \ 11 | create_file_description.o \ 12 | csv_file_support.o \ 13 | file_io.o \ 14 | file_output.o \ 15 | mem_object_registry_entry.o \ 16 | mem_object_registry.o \ 17 | memory_object.o \ 18 | numerics.o \ 19 | orbiter_data_file.o \ 20 | orbiter_session.o \ 21 | orbiter_symbol_table_entry.o \ 22 | orbiter_symbol_table.o \ 23 | os_interface.o \ 24 | override_double.o \ 25 | prepare_frames.o 26 | 27 | 28 | all : $(MODULES) 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | 36 | 37 | 38 | -------------------------------------------------------------------------------- /doc/tables/commands/orthogonal_space_with_action.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:orthogonal",, 3 | 1,"Creating an Orthogonal Space",, 4 | 1,"\verb'-epsilon' "," $\epsilon$ "," Specify the type $\epsilon$. " 5 | 1,"\verb'-n' "," $n$ "," Specify the projective dimension. " 6 | 1,"\verb'-q' "," $q$ "," Specify the order of the field. " 7 | 1,"\verb'-label_txt' "," L "," Set the ascii-label of the space. The label is used for things like file names etc. A default label will be used if this option is not given. " 8 | 1,"\verb'-label_tex' "," L "," Set the tex-label of the space. The label is used within latex reports. A default label will be used if this option is not given. " 9 | 1,"\verb'-without_group' "," "," Do not create the orthogonal group. " 10 | 1,"\verb'-create_extension_fields' "," "," Whether to create extension fields of degree two and three. " 11 | END 12 | -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_01.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,5,6,11,12,17,18,19,20; 5 | 0,1,5,6,13,14,21,22,23,24; 6 | 0,1,7,8,11,15,17,21,22,25; 7 | 0,2,3,9,15,17,18,23,24,25; 8 | 0,2,3,10,16,19,20,21,22,25; 9 | 0,4,9,10,11,13,18,19,21,23; 10 | 0,4,9,10,12,14,17,20,22,24; 11 | 0,5,7,8,12,13,16,20,23,25; 12 | 0,6,7,8,14,15,16,18,19,24; 13 | 1,2,4,7,16,18,20,22,23,24; 14 | 1,2,8,9,13,14,18,19,22,25; 15 | 1,3,7,9,12,16,17,19,21,24; 16 | 1,3,8,10,12,15,18,20,21,23; 17 | 1,4,5,10,14,16,17,19,23,25; 18 | 1,6,9,10,11,13,15,20,24,25; 19 | 2,4,5,8,13,15,19,20,21,24; 20 | 2,5,7,10,11,12,14,21,24,25; 21 | 2,6,7,10,12,13,15,17,22,23; 22 | 2,6,8,9,11,14,16,17,21,23; 23 | 3,4,6,7,13,14,17,18,20,25; 24 | 3,4,6,8,11,12,19,23,24,25; 25 | 3,5,7,9,11,14,15,19,20,22; 26 | 3,5,8,10,11,13,16,17,18,22; 27 | 4,5,6,9,12,15,16,18,21,22. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_02.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,5,6,11,12,17,18,19,20; 5 | 0,1,5,6,13,14,21,22,23,24; 6 | 0,1,7,8,11,15,17,21,22,25; 7 | 0,2,3,9,15,17,18,23,24,25; 8 | 0,2,3,10,16,19,20,21,22,25; 9 | 0,4,9,10,11,13,18,19,21,23; 10 | 0,4,9,10,12,14,17,20,22,24; 11 | 0,5,7,8,12,13,16,20,23,25; 12 | 0,6,7,8,14,15,16,18,19,24; 13 | 1,2,4,7,16,18,20,22,23,24; 14 | 1,2,8,9,13,14,18,19,22,25; 15 | 1,3,7,9,12,15,19,20,21,24; 16 | 1,3,8,10,12,16,17,18,21,23; 17 | 1,4,5,10,13,16,17,19,24,25; 18 | 1,6,9,10,11,14,15,20,23,25; 19 | 2,4,5,8,14,15,19,20,21,23; 20 | 2,5,7,10,11,12,14,21,24,25; 21 | 2,6,7,10,12,13,15,17,22,23; 22 | 2,6,8,9,11,13,16,17,21,24; 23 | 3,4,6,7,13,14,17,18,20,25; 24 | 3,4,6,8,11,12,19,23,24,25; 25 | 3,5,7,9,11,14,16,17,19,22; 26 | 3,5,8,10,11,13,15,18,20,22; 27 | 4,5,6,9,12,15,16,18,21,22. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_03.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,9,13,15,18,20,24,25; 8 | 0,3,7,10,15,16,19,21,22,24; 9 | 0,4,5,6,14,16,20,21,23,25; 10 | 0,4,9,10,11,14,17,19,24,25; 11 | 0,5,8,10,11,12,15,20,22,23; 12 | 0,6,8,9,12,13,16,17,18,21; 13 | 1,2,8,9,15,16,19,21,23,25; 14 | 1,3,9,10,14,16,18,20,23,24; 15 | 1,4,5,10,15,16,17,18,22,25; 16 | 1,4,7,8,12,15,17,20,21,24; 17 | 1,5,6,9,11,13,14,21,22,24; 18 | 1,6,7,10,11,12,13,19,20,25; 19 | 2,3,8,10,13,14,20,21,22,25; 20 | 2,4,5,10,12,13,19,21,23,24; 21 | 2,4,6,8,11,16,18,20,22,24; 22 | 2,5,7,9,12,14,16,17,19,22; 23 | 2,6,7,10,11,14,15,17,18,23; 24 | 3,4,6,9,13,15,17,19,20,23; 25 | 3,4,7,9,11,12,18,21,22,25; 26 | 3,5,6,8,12,14,15,18,19,25; 27 | 3,5,7,8,11,13,16,17,23,24. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_04.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,9,13,15,18,20,24,25; 8 | 0,3,7,10,14,16,20,21,22,24; 9 | 0,4,5,6,15,16,19,21,23,25; 10 | 0,4,9,10,11,12,19,20,23,24; 11 | 0,5,8,10,11,14,15,17,22,25; 12 | 0,6,8,9,12,13,16,17,18,21; 13 | 1,2,8,9,14,16,20,21,23,25; 14 | 1,3,8,10,13,15,19,21,24,25; 15 | 1,4,5,10,12,16,18,20,22,25; 16 | 1,4,6,9,11,15,18,21,22,24; 17 | 1,5,7,9,12,14,16,17,19,24; 18 | 1,6,7,10,11,13,15,17,20,23; 19 | 2,3,9,10,15,16,18,19,22,23; 20 | 2,4,5,10,13,14,17,21,23,24; 21 | 2,4,7,8,12,15,17,20,21,22; 22 | 2,5,6,8,11,13,16,19,22,24; 23 | 2,6,7,10,11,12,14,18,19,25; 24 | 3,4,6,9,13,14,17,19,20,25; 25 | 3,4,7,8,11,16,17,18,24,25; 26 | 3,5,6,8,12,14,15,18,20,23; 27 | 3,5,7,9,11,12,13,21,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_05.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,8,15,16,20,21,22,24; 8 | 0,3,9,10,13,15,18,20,22,25; 9 | 0,4,5,9,12,13,19,21,24,25; 10 | 0,4,5,10,14,16,17,20,23,25; 11 | 0,6,7,10,11,14,15,17,19,24; 12 | 0,6,8,9,11,12,16,18,21,23; 13 | 1,2,9,10,13,14,20,21,23,24; 14 | 1,3,7,10,15,16,19,21,23,25; 15 | 1,4,6,7,11,16,18,20,24,25; 16 | 1,4,8,9,11,15,17,21,22,25; 17 | 1,5,6,9,12,14,16,19,20,22; 18 | 1,5,8,10,12,13,15,17,18,24; 19 | 2,3,8,9,14,16,18,19,24,25; 20 | 2,4,6,10,13,16,17,19,21,22; 21 | 2,4,7,9,12,15,17,18,20,23; 22 | 2,5,6,8,11,13,15,19,23,25; 23 | 2,5,7,10,11,12,14,18,22,25; 24 | 3,4,5,6,14,15,18,21,23,24; 25 | 3,4,8,10,11,12,19,20,22,24; 26 | 3,5,7,9,11,13,16,17,22,23; 27 | 3,6,7,8,12,13,14,17,20,21. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_06.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,8,13,15,20,21,24,25; 8 | 0,3,9,10,14,15,18,20,22,24; 9 | 0,4,5,9,12,16,18,21,23,24; 10 | 0,4,5,10,15,16,17,19,22,25; 11 | 0,6,7,10,11,12,14,19,21,25; 12 | 0,6,8,9,11,13,16,17,20,23; 13 | 1,2,9,10,13,16,18,21,22,25; 14 | 1,3,7,9,15,16,19,20,23,25; 15 | 1,4,5,10,11,14,20,23,24,25; 16 | 1,4,6,9,13,15,17,19,21,24; 17 | 1,5,6,8,12,14,16,20,21,22; 18 | 1,7,8,10,11,12,15,17,18,24; 19 | 2,3,8,10,14,16,19,21,23,24; 20 | 2,4,6,7,11,16,19,20,22,24; 21 | 2,4,8,9,12,14,17,18,20,25; 22 | 2,5,6,10,12,13,15,18,19,23; 23 | 2,5,7,9,11,14,15,17,22,23; 24 | 3,4,6,8,11,15,18,21,23,25; 25 | 3,4,7,10,12,13,17,20,21,22; 26 | 3,5,6,7,13,14,16,17,18,25; 27 | 3,5,8,9,11,12,13,19,22,24. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_07.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,8,13,15,20,21,24,25; 8 | 0,3,9,10,14,15,18,20,22,24; 9 | 0,4,5,9,12,16,18,21,23,24; 10 | 0,4,5,10,15,16,17,19,22,25; 11 | 0,6,7,10,11,12,14,19,21,25; 12 | 0,6,8,9,11,13,16,17,20,23; 13 | 1,2,9,10,13,16,19,21,22,24; 14 | 1,3,7,9,15,16,19,20,23,25; 15 | 1,4,5,10,11,14,20,23,24,25; 16 | 1,4,6,9,13,15,17,18,21,25; 17 | 1,5,6,8,12,14,16,20,21,22; 18 | 1,7,8,10,11,12,15,17,18,24; 19 | 2,3,8,10,14,16,18,21,23,25; 20 | 2,4,6,7,14,16,17,19,20,24; 21 | 2,4,8,9,11,12,18,20,22,25; 22 | 2,5,6,10,12,13,15,18,19,23; 23 | 2,5,7,9,11,14,15,17,22,23; 24 | 3,4,6,8,11,15,19,21,23,24; 25 | 3,4,7,10,12,13,17,20,21,22; 26 | 3,5,6,7,11,13,16,18,22,25; 27 | 3,5,8,9,12,13,14,17,19,24. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_08.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,9,13,15,18,20,24,25; 8 | 0,3,8,9,14,16,20,21,22,24; 9 | 0,4,5,10,12,14,20,21,23,25; 10 | 0,4,6,10,13,15,17,19,21,24; 11 | 0,5,6,10,11,15,16,18,22,23; 12 | 0,7,8,9,11,12,16,17,19,25; 13 | 1,2,9,10,14,15,19,21,22,25; 14 | 1,3,7,10,15,16,19,20,23,24; 15 | 1,4,5,8,15,16,17,20,22,25; 16 | 1,4,6,7,11,16,18,21,24,25; 17 | 1,5,8,9,11,12,13,21,23,24; 18 | 1,6,9,10,12,13,14,17,18,20; 19 | 2,3,8,10,13,16,18,21,23,25; 20 | 2,4,5,9,14,16,17,19,23,24; 21 | 2,4,8,10,11,12,18,20,22,24; 22 | 2,5,6,7,12,13,16,19,21,22; 23 | 2,6,7,8,11,14,15,17,20,23; 24 | 3,4,6,9,11,13,19,20,23,25; 25 | 3,4,7,9,12,15,17,18,21,22; 26 | 3,5,6,8,12,14,15,18,19,25; 27 | 3,5,7,10,11,13,14,17,22,24. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_09.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,9,13,15,18,20,24,25; 8 | 0,3,8,10,15,16,18,21,22,24; 9 | 0,4,5,9,14,16,17,21,23,24; 10 | 0,4,6,10,11,13,20,21,23,25; 11 | 0,5,7,10,11,12,16,19,22,25; 12 | 0,6,8,9,12,14,15,17,19,20; 13 | 1,2,8,9,14,16,20,21,22,25; 14 | 1,3,9,10,13,16,19,20,23,24; 15 | 1,4,5,8,12,15,19,21,24,25; 16 | 1,4,7,10,11,15,17,20,22,24; 17 | 1,5,6,10,13,14,16,17,18,25; 18 | 1,6,7,9,11,12,15,18,21,23; 19 | 2,3,7,10,14,15,19,21,23,25; 20 | 2,4,5,6,15,16,19,20,22,23; 21 | 2,4,9,10,12,13,17,18,21,22; 22 | 2,5,8,10,11,12,14,18,23,24; 23 | 2,6,7,8,11,13,16,17,19,24; 24 | 3,4,6,9,11,14,18,19,24,25; 25 | 3,4,7,8,12,16,17,18,20,25; 26 | 3,5,6,7,12,13,14,20,21,22; 27 | 3,5,8,9,11,13,15,17,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P26_10.txt: -------------------------------------------------------------------------------- 1 | n26 2 | 1,2,3,4,5,6,7,8,9,10; 3 | 0,2,3,4,11,12,13,14,15,16; 4 | 0,1,3,5,11,17,18,19,20,21; 5 | 0,1,2,6,12,17,22,23,24,25; 6 | 0,1,7,8,13,14,18,19,22,23; 7 | 0,2,7,9,13,15,20,21,22,24; 8 | 0,3,7,10,15,16,18,20,23,25; 9 | 0,4,5,6,14,16,19,21,24,25; 10 | 0,4,9,10,12,15,17,19,21,23; 11 | 0,5,8,10,11,12,13,18,24,25; 12 | 0,6,8,9,11,14,16,17,20,22; 13 | 1,2,9,10,14,16,18,21,23,24; 14 | 1,3,8,9,14,15,19,20,24,25; 15 | 1,4,5,9,15,16,17,18,22,25; 16 | 1,4,7,10,11,12,20,21,22,25; 17 | 1,5,6,8,12,13,16,20,21,23; 18 | 1,6,7,10,11,13,15,17,19,24; 19 | 2,3,8,10,13,16,19,21,22,25; 20 | 2,4,6,9,11,13,19,20,23,25; 21 | 2,4,7,8,12,16,17,18,20,24; 22 | 2,5,6,10,12,14,15,18,19,22; 23 | 2,5,7,8,11,14,15,17,23,25; 24 | 3,4,5,10,13,14,17,20,23,24; 25 | 3,4,6,8,11,15,18,21,22,24; 26 | 3,5,7,9,11,12,16,19,22,23; 27 | 3,6,7,9,12,13,14,17,18,21. -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/l1_interfaces/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I. -I../.. -std=c++17 4 | # -frename-registers 5 | #-march=native 6 | LIB = 7 | LFLAGS = -lm 8 | 9 | MODULES = \ 10 | dirk_kaempfer.o \ 11 | easy_BMP_interface.o \ 12 | EasyBMP.o \ 13 | eigen_interface.o \ 14 | expression_parser_sajeeb.o \ 15 | gnuplot_interface.o \ 16 | interface_gap_low.o \ 17 | interface_magma_low.o \ 18 | latex_interface.o \ 19 | nauty_interface_control.o \ 20 | nauty_interface_for_combo.o \ 21 | nauty_interface.o \ 22 | nauty_output.o \ 23 | povray_interface.o \ 24 | pugixml_interface.o \ 25 | pugixml.o 26 | 27 | 28 | all : $(MODULES) 29 | 30 | 31 | 32 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 33 | 34 | 35 | 36 | clean: 37 | - rm *.o *.a *~ 38 | 39 | 40 | 41 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/canonical_form/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | automorphism_group_of_variety.o \ 10 | canonical_form_classifier_description.o \ 11 | canonical_form_classifier.o \ 12 | canonical_form_global.o \ 13 | classification_of_varieties_nauty.o \ 14 | combinatorial_object_with_properties.o \ 15 | input_objects_of_type_variety.o \ 16 | objects_after_classification.o \ 17 | variety_activity_description.o \ 18 | variety_activity.o \ 19 | variety_compute_canonical_form.o \ 20 | variety_object_with_action.o \ 21 | variety_stabilizer_compute.o 22 | 23 | 24 | all : $(MODULES) 25 | 26 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 27 | 28 | clean: 29 | - rm *.o *.a *~ 30 | 31 | -------------------------------------------------------------------------------- /doc/tables/commands/nauty_control.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:nauty:control",, 3 | 1,"Nauty Control Options",, 4 | 1,"\verb'-save_nauty_input_graphs' "," prefix "," Save nauty input graphs during classification. The graphs will be written in Dimacs format. The file name will be constructed from the given prefix and the name of the combinatorial object. " 5 | 1,"\verb'-save_orbit_of_equations' "," prefix "," Save the orbit of equations (only for objects of type variety). The file name will be constructed from the given prefix and the name of the combinatorial object. " 6 | 1,"\verb'-partition' "," part "," Compute the canonical form with respect to the stabilizer of the partition. " 7 | 1,"\verb'-show_canonical_form' "," "," Show the canonical form during classification. " 8 | 1,"\verb'-reduce_memory_footprint' "," k"," Reduce the memory footprint (for $k=1$). " 9 | END 10 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/field_theory/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | finite_field_activity_description.o \ 10 | finite_field_activity.o \ 11 | finite_field_description.o \ 12 | finite_field_implementation_by_tables.o \ 13 | finite_field_implementation_wo_tables.o \ 14 | finite_field_io.o \ 15 | finite_field_properties.o \ 16 | finite_field.o \ 17 | minimum_polynomial.o \ 18 | norm_tables.o \ 19 | normal_basis.o \ 20 | nth_roots.o \ 21 | related_fields.o \ 22 | square_nonsquare.o \ 23 | subfield_structure.o 24 | 25 | 26 | all : $(MODULES) 27 | 28 | 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | 33 | 34 | clean: 35 | - rm *.o *.a *~ 36 | 37 | 38 | 39 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/src/Core/arch/HIP/hcc/math_constants.h: -------------------------------------------------------------------------------- 1 | /* 2 | * math_constants.h - 3 | * HIP equivalent of the CUDA header of the same name 4 | */ 5 | 6 | #ifndef __MATH_CONSTANTS_H__ 7 | #define __MATH_CONSTANTS_H__ 8 | 9 | /* single precision constants */ 10 | 11 | #define HIPRT_INF_F __int_as_float(0x7f800000) 12 | #define HIPRT_NAN_F __int_as_float(0x7fffffff) 13 | #define HIPRT_MIN_DENORM_F __int_as_float(0x00000001) 14 | #define HIPRT_MAX_NORMAL_F __int_as_float(0x7f7fffff) 15 | #define HIPRT_NEG_ZERO_F __int_as_float(0x80000000) 16 | #define HIPRT_ZERO_F 0.0f 17 | #define HIPRT_ONE_F 1.0f 18 | 19 | /* double precision constants */ 20 | #define HIPRT_INF __hiloint2double(0x7ff00000, 0x00000000) 21 | #define HIPRT_NAN __hiloint2double(0xfff80000, 0x00000000) 22 | 23 | #endif 24 | -------------------------------------------------------------------------------- /doc/tables/commands/draw_mod_n.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:draw:mod:n",, 3 | 1,"Options for Drawing Modulo N Objects",, 4 | 1,"\verb'-n' "," n "," Set the number of dots. " 5 | 1,"\verb'-mod_s' "," s "," " 6 | 1,"\verb'-divide_out_by' "," k "," Divide by k. " 7 | 1,"\verb'-file' "," fname "," Read from file. " 8 | 1,"\verb'-inverse' "," "," Connect $i$ with $i^{-1}$ mod $n$. " 9 | 1,"\verb'-additive_inverse' "," "," Connect $i$ with $-i$ mod $n$. " 10 | 1,"\verb'-power_cycle' "," a "," Draw a cycle connecting the powers of $a$ mod $n$. " 11 | 1,"\verb'-cyclotomic_sets' "," q list "," Draw the $q$-cyclotomic sets of all elements in the list. " 12 | 1,"\verb'-cyclotomic_sets_thickness' "," "," Set the thickness for the drawing of cyclotomic sets. " 13 | 1,"\verb'-draw_option' "," label "," Set the draw options as defined by the given object of type \verb'-draw_options'. " 14 | END 15 | 16 | -------------------------------------------------------------------------------- /doc/tables/commands/element_processing.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:grouptasks:elementprocessing",, 3 | 1,"Element Processing Options",, 4 | 1,"\verb'-input' "," label "," Specify the input source for a sequence of group elements." 5 | 1,"\verb'-print' "," "," Print each group element." 6 | 1,"\verb'-apply_isomorphism_wedge_product_4to6' "," "," Applies a specific isomorphism from $\GL(4,q)$ to $\GL(6,q)$" 7 | 1,"\verb'-with_permutation' "," "," Print with permutation representation." 8 | 1,"\verb'-with_fix_structure' "," "," Print with fix structure on the underlying projective space." 9 | 1,"\verb'-order_of_products_of_pairs' "," "," Make a table of the order of all pairwise products." 10 | 1,"\verb'-conjugate' "," data "," Conjugate each group element by the element in data." 11 | 1,"\verb'-print_action_on_surface' "," surface "," Print the action on a cubic surface object." 12 | END 13 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/optsvec.h: -------------------------------------------------------------------------------- 1 | #ifndef OPTSVEC 2 | #define OPTSVEC 3 | 4 | extern void meanCosetRepLen( 5 | const PermGroup *const G) 6 | ; 7 | 8 | extern FIXUP1 reconstructBasicOrbit( /* Returns word length of longest coset rep. */ 9 | PermGroup *const G, 10 | const Unsigned level) 11 | ; 12 | 13 | extern void expandSGS( 14 | PermGroup *G, 15 | UnsignedS longRepLen[], 16 | UnsignedS basicCellSize[], 17 | Unsigned ell) 18 | ; 19 | 20 | extern void compressGroup( 21 | PermGroup *const G) /* The group to be compressed. */ 22 | ; 23 | 24 | extern void compressAtLevel( 25 | PermGroup *const G, /* The group to be compressed. */ 26 | const Unsigned level) /* The level at which compression occurs. */ 27 | ; 28 | 29 | extern void sortGensByLevel( 30 | PermGroup *const G) 31 | ; 32 | 33 | #endif 34 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/spreads/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | recoordinatize.o \ 10 | spread_activity_description.o \ 11 | spread_activity.o \ 12 | spread_classify_activity_description.o \ 13 | spread_classify_activity.o \ 14 | spread_classify_description.o \ 15 | spread_classify.o \ 16 | spread_classify2.o \ 17 | spread_create_description.o \ 18 | spread_create.o \ 19 | spread_lifting.o \ 20 | spread_table_activity_description.o \ 21 | spread_table_activity.o \ 22 | spread_table_with_selection.o \ 23 | translation_plane_activity_description.o \ 24 | translation_plane_activity.o 25 | 26 | 27 | all : $(MODULES) 28 | 29 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 30 | 31 | clean: 32 | - rm *.o *.a *~ 33 | 34 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/BitSet/count.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # Terminal ANSI Color codes 4 | NONE='\033[00m' 5 | RED='\033[00;31m' 6 | GREEN='\033[00;32m' 7 | YELLOW='\033[00;33m' 8 | PURPLE='\033[00;35m' 9 | CYAN='\033[00;36m' 10 | WHITE='\033[00;37m' 11 | BOLD='\033[1m' 12 | UNDERLINE='\033[4m' 13 | 14 | LINE="--------------------------------------------------------------------------" 15 | 16 | COUNT=0; 17 | echo $LINE 18 | echo "[# LINES] => [FILE]" 19 | echo $LINE 20 | for f in $(find . -type f \ 21 | -name '*.cpp' -o \ 22 | -name '*.CPP' -o \ 23 | -name '*.c' -o \ 24 | -name '*.C' -o \ 25 | -name '*.h' -o \ 26 | -name '*.H' -o \ 27 | -name '*.hpp' -o \ 28 | -name '*.HPP'); do 29 | tmp=$(wc -l < $f); 30 | echo "$tmp => $f"; 31 | COUNT=$[COUNT+tmp]; 32 | done 33 | echo $LINE 34 | echo -e "${GREEN}Total number of lines of code is $COUNT${NONE}" 35 | echo $LINE 36 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/StdList: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // Copyright (C) 2009 Hauke Heibel 5 | // 6 | // This Source Code Form is subject to the terms of the Mozilla 7 | // Public License v. 2.0. If a copy of the MPL was not distributed 8 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 9 | 10 | #ifndef EIGEN_STDLIST_MODULE_H 11 | #define EIGEN_STDLIST_MODULE_H 12 | 13 | #include "Core" 14 | #include 15 | 16 | #if EIGEN_COMP_MSVC && EIGEN_OS_WIN64 && (EIGEN_MAX_STATIC_ALIGN_BYTES<=16) /* MSVC auto aligns up to 16 bytes in 64 bit builds */ 17 | 18 | #define EIGEN_DEFINE_STL_LIST_SPECIALIZATION(...) 19 | 20 | #else 21 | 22 | #include "src/StlSupport/StdList.h" 23 | 24 | #endif 25 | 26 | #endif // EIGEN_STDLIST_MODULE_H 27 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/cputime.c: -------------------------------------------------------------------------------- 1 | /* File cputime.c. Contain Unix function cpuTime returning the CPU 2 | time in milliseconds (user+system) used by the current program. 3 | Works at least on Sun/3 and Sun/4. */ 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | #ifndef TICK 10 | #error TICK must be defined. 11 | #endif 12 | 13 | #if TICK != 1000 14 | #error TICK must have value 1000 15 | #endif 16 | 17 | #undef CLK_TCK 18 | #define CLK_TCK 1000 19 | 20 | clock_t cpuTime(void) 21 | { 22 | struct rusage usage; 23 | 24 | getrusage( RUSAGE_SELF, &usage); 25 | return (clock_t) ( usage.ru_utime.tv_usec / 1000 + 26 | usage.ru_utime.tv_sec * 1000 + 27 | usage.ru_stime.tv_usec / 1000 + 28 | usage.ru_stime.tv_sec * 1000 ); 29 | } 30 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/actions/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | action.o \ 10 | action_global.o \ 11 | action_indexing_cosets.o \ 12 | action_induce.o \ 13 | action_init.o \ 14 | action_io.o \ 15 | action_pointer_table.o \ 16 | backtrack.o \ 17 | group_element.o \ 18 | induced_action.o \ 19 | interface_direct_product.o \ 20 | interface_induced_action.o \ 21 | interface_matrix_group.o \ 22 | interface_perm_group.o \ 23 | interface_permutation_representation.o \ 24 | interface_polarity_extension.o \ 25 | interface_wreath_product.o \ 26 | known_groups.o \ 27 | stabilizer_chain_base_data.o 28 | 29 | 30 | all : $(MODULES) 31 | 32 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 33 | 34 | clean: 35 | - rm *.o *.a *~ 36 | 37 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/packings/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | invariants_packing.o \ 10 | packing_classify_activity_description.o \ 11 | packing_classify_activity.o \ 12 | packing_classify.o \ 13 | packing_classify2.o \ 14 | packing_invariants.o \ 15 | packing_long_orbits_description.o \ 16 | packing_long_orbits.o \ 17 | packing_was_activity_description.o \ 18 | packing_was_activity.o \ 19 | packing_was_description.o \ 20 | packing_was_fixpoints_activity_description.o \ 21 | packing_was_fixpoints_activity.o \ 22 | packing_was_fixpoints.o \ 23 | packing_was.o \ 24 | packings_global.o \ 25 | regular_packing.o 26 | 27 | 28 | all : $(MODULES) 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | -------------------------------------------------------------------------------- /count.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # Terminal ANSI Color codes 4 | NONE='\033[00m' 5 | RED='\033[00;31m' 6 | GREEN='\033[00;32m' 7 | YELLOW='\033[00;33m' 8 | PURPLE='\033[00;35m' 9 | CYAN='\033[00;36m' 10 | WHITE='\033[00;37m' 11 | BOLD='\033[1m' 12 | UNDERLINE='\033[4m' 13 | 14 | LINE="--------------------------------------------------------------------------" 15 | 16 | COUNT=0; 17 | echo $LINE 18 | echo "[# LINES] => [FILE]" 19 | echo $LINE 20 | for f in $(find . -name '*.cpp' -o \ 21 | -name '*.CPP' -o \ 22 | -name '*.c' -o \ 23 | -name '*.C' -o \ 24 | -name '*.h' -o \ 25 | -name '*.H' -o \ 26 | -name '*.hpp' -o \ 27 | -name '*.HPP' -o \ 28 | -path "./src/lib/layer1_foundations/Eigen_interface/Eigen" -prune -false); do 29 | tmp=$(wc -l < $f); 30 | echo "$tmp => $f"; 31 | COUNT=$[COUNT+tmp]; 32 | done 33 | echo $LINE 34 | echo -e "${GREEN}Total number of lines of code is $COUNT${NONE}" 35 | echo $LINE 36 | -------------------------------------------------------------------------------- /examples/users_guide/coordinate_grid.csv: -------------------------------------------------------------------------------- 1 | Row,C0,C1,C2,C3,C4,C5 2 | 0,0,0,0,5,0,0 3 | 1,0,0,0,0,5,0 4 | 2,0,0,0,0,0,5 5 | 3,0,0,0,0,1,0 6 | 4,1,0,0,1,1,0 7 | 5,2,0,0,2,1,0 8 | 6,3,0,0,3,1,0 9 | 7,4,0,0,4,1,0 10 | 8,5,0,0,5,1,0 11 | 9,6,0,0,6,1,0 12 | 10,7,0,0,7,1,0 13 | 11,8,0,0,8,1,0 14 | 12,9,0,0,9,1,0 15 | 13,-1,0,0,-1,1,0 16 | 14,-2,0,0,-2,1,0 17 | 15,-3,0,0,-3,1,0 18 | 16,-4,0,0,-4,1,0 19 | 17,-5,0,0,-5,1,0 20 | 18,-6,0,0,-6,1,0 21 | 19,-7,0,0,-7,1,0 22 | 20,-8,0,0,-8,1,0 23 | 21,-9,0,0,-9,1,0 24 | 22,0,0,0,1,0,0 25 | 23,0,1,0,1,1,0 26 | 24,0,2,0,1,2,0 27 | 25,0,3,0,1,3,0 28 | 26,0,4,0,1,4,0 29 | 27,0,5,0,1,5,0 30 | 28,0,6,0,1,6,0 31 | 29,0,7,0,1,7,0 32 | 30,0,8,0,1,8,0 33 | 31,0,9,0,1,9,0 34 | 32,0,0,0,1,0,0 35 | 33,0,-1,0,1,-1,0 36 | 34,0,-2,0,1,-2,0 37 | 35,0,-3,0,1,-3,0 38 | 36,0,-4,0,1,-4,0 39 | 37,0,-5,0,1,-5,0 40 | 38,0,-6,0,1,-6,0 41 | 39,0,-7,0,1,-7,0 42 | 40,0,-8,0,1,-8,0 43 | 41,0,-9,0,1,-9,0 44 | END 45 | 46 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/applications_in_algebraic_geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -march=native -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | all: \ 9 | arcs \ 10 | double_sixes \ 11 | general \ 12 | curves 13 | 14 | 15 | 16 | 17 | 18 | arcs : ; cd cubic_surfaces_and_arcs; $(MAKE) 19 | double_sixes : ; cd cubic_surfaces_and_double_sixes; $(MAKE) 20 | general : ; cd cubic_surfaces_in_general; $(MAKE) 21 | curves : ; cd quartic_curves; $(MAKE) 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 30 | 31 | 32 | 33 | clean: 34 | cd cubic_surfaces_and_arcs; $(MAKE) clean 35 | cd cubic_surfaces_and_double_sixes; $(MAKE) clean 36 | cd cubic_surfaces_in_general; $(MAKE) clean 37 | cd quartic_curves; $(MAKE) clean 38 | - rm *.o *.a 39 | 40 | 41 | 42 | 43 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/graphics/scene_element_of_type_edge.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * scene_element_of_type_edge.cpp 3 | * 4 | * Created on: Apr 4, 2022 5 | * Author: betten 6 | */ 7 | 8 | 9 | 10 | 11 | #include "foundations.h" 12 | 13 | using namespace std; 14 | 15 | 16 | 17 | 18 | namespace orbiter { 19 | namespace layer1_foundations { 20 | namespace other { 21 | namespace graphics { 22 | 23 | scene_element_of_type_edge::scene_element_of_type_edge() 24 | { 25 | Record_birth(); 26 | } 27 | 28 | scene_element_of_type_edge::~scene_element_of_type_edge() 29 | { 30 | Record_death(); 31 | } 32 | 33 | void scene_element_of_type_edge::init( 34 | std::string &pt1, std::string &pt2) 35 | { 36 | Idx.push_back(pt1); 37 | Idx.push_back(pt2); 38 | } 39 | 40 | void scene_element_of_type_edge::print() 41 | { 42 | cout << "edge from " << Idx[0] << " to " << Idx[1] << endl; 43 | } 44 | 45 | 46 | }}}} 47 | 48 | 49 | 50 | -------------------------------------------------------------------------------- /doc/tables/commands/layered_graph_draw_options_2.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:draw:options:b",, 3 | 1,"Drawing Options for Layered Graph Files (Part 2)",, 4 | 1,"\verb'-scale' "," $s$ "," Use Tikz global scale-factor of $s$. Default value: $s=0.45$." 5 | 1,"\verb'-line_width' "," $s$ "," Set Tikz line width to $s$. Default value: $s=1.5$. " 6 | 1,"\verb'-rotated' "," ","Rotate the output. " 7 | 1,"\verb'-nodes' "," ","Turn on node drawing. " 8 | 1,"\verb'-nodes_empty' "," ","Do not label the nodes. Default value: off." 9 | 1,"\verb'-no_vertices' "," ","Do not draw vertices." 10 | 1,"\verb'-select_layers' "," $S$ ","Draw layers whose index is given in the list $S$ only. " 11 | 1,"\verb'-paths_in_between' "," $l_1$ $i_1$ $l_2$ $i_2$ ","Draw all paths from node $(l_1,i_1)$ to node $(l_2,i_2)$. Here, $(l,i)$ is the $i$-th node at layer $l$ (counting from zero). Delete all other edges between layers $l_1$ and $l_2.$ " 12 | END 13 | -------------------------------------------------------------------------------- /doc/tables/commands/group_theoretic_activity_5.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:grouptasks5",, 3 | 1,"Group theoretic activities (Part 5)",, 4 | 1,"\verb'-subgroup_lattice_magma' "," ","Computes the lattice of subgroups by means of conjugacy classes of subgroups, see Section~\ref{sec:group:magma}." 5 | 1,"\verb'-find_overgroup' "," order subgroup ","Computes the lattice of subgroups by means of conjugacy classes of subgroups, see Section~\ref{sec:group:magma}. Then identified the overgroups of the given subgroup which have the desired size." 6 | 1,"\verb'-identify_subgroups_from_file' "," file col-label grouporder ","Identifies subgroups of a given order in the lattice of subgroups (which is computed using magma just as in the previous command). The subgroups are read from the given column in the given file. Subgroups can have any size. Groups whose size does not match are ignored. A file with the results of the identification is written. " 7 | END 8 | 9 | -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_1.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,15,18,22,23,24; 10 | 0,3,5,7,9,11,14,16,17,21,22,24; 11 | 0,3,6,7,8,12,16,17,18,19,20,23; 12 | 0,4,5,7,11,12,13,14,18,20,21,23; 13 | 0,4,6,8,10,12,14,15,17,19,21,22; 14 | 0,5,6,9,10,11,13,15,16,19,20,24; 15 | 1,3,4,7,10,12,15,16,17,20,21,24; 16 | 1,3,5,8,10,11,15,16,18,19,21,23; 17 | 1,3,6,7,11,12,13,14,18,19,22,24; 18 | 1,4,5,8,9,12,13,14,17,19,23,24; 19 | 1,4,6,8,9,11,13,16,18,20,21,22; 20 | 1,5,6,7,9,10,14,15,17,20,22,23; 21 | 2,3,4,9,11,12,14,15,16,20,22,23; 22 | 2,3,5,9,10,12,13,17,18,19,21,22; 23 | 2,3,6,8,10,11,13,14,17,20,23,24; 24 | 2,4,5,7,8,11,15,17,18,19,20,24; 25 | 2,4,6,7,9,10,14,16,18,19,21,24; 26 | 2,5,6,7,8,12,13,15,16,21,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_10.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,7,13,19,20,21,22,23; 5 | 0,1,2,6,8,9,14,15,19,20,21,24; 6 | 0,1,2,7,10,11,14,16,17,19,22,24; 7 | 0,1,2,8,10,12,15,16,18,20,22,23; 8 | 0,1,3,9,10,12,13,17,18,19,23,24; 9 | 0,2,4,8,11,12,13,14,18,21,23,24; 10 | 0,3,5,7,10,11,15,17,18,20,21,24; 11 | 0,3,6,10,11,12,13,14,16,20,21,22; 12 | 0,4,5,6,8,9,16,17,21,22,23,24; 13 | 0,4,7,8,9,12,13,15,16,17,19,20; 14 | 0,5,6,7,9,11,14,15,18,19,22,23; 15 | 1,2,6,7,9,11,16,17,18,20,21,23; 16 | 1,3,4,7,9,12,15,16,18,21,22,24; 17 | 1,3,5,8,11,12,14,16,17,19,21,23; 18 | 1,4,5,9,10,11,13,14,15,20,23,24; 19 | 1,4,6,8,10,11,13,15,18,19,21,22; 20 | 1,5,6,7,8,12,13,14,17,20,22,24; 21 | 2,3,4,6,11,12,15,17,20,22,23,24; 22 | 2,3,5,8,9,11,13,16,18,19,22,24; 23 | 2,3,7,8,9,10,13,14,15,17,22,23; 24 | 2,4,5,9,10,12,14,17,18,19,20,21; 25 | 2,5,6,7,10,12,13,15,16,19,21,24; 26 | 3,4,6,7,8,10,14,16,18,19,20,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_11.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,12,14,16,17,21,22,23; 10 | 0,3,5,7,9,11,15,16,18,19,22,24; 11 | 0,3,6,7,8,10,13,17,18,20,23,24; 12 | 0,4,5,9,11,12,13,14,17,19,20,24; 13 | 0,4,6,8,10,12,13,15,18,19,21,22; 14 | 0,5,6,7,10,11,14,15,16,20,21,23; 15 | 1,3,4,9,10,11,14,15,18,20,22,23; 16 | 1,3,5,7,10,12,13,15,17,21,22,24; 17 | 1,3,6,8,11,12,13,14,16,19,23,24; 18 | 1,4,5,7,8,12,15,17,18,19,20,23; 19 | 1,4,6,7,9,10,14,16,18,19,21,24; 20 | 1,5,6,8,9,11,13,16,17,20,21,22; 21 | 2,3,4,8,10,11,15,16,17,20,21,24; 22 | 2,3,5,9,10,12,13,16,18,19,21,23; 23 | 2,3,6,7,11,12,14,17,18,19,20,22; 24 | 2,4,5,7,8,11,13,14,18,21,23,24; 25 | 2,4,6,7,9,12,13,15,16,20,22,24; 26 | 2,5,6,8,9,10,14,15,17,19,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_12.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,7,8,13,14,19,20,21,22; 5 | 0,1,2,4,9,10,15,16,19,20,23,24; 6 | 0,1,2,3,11,12,17,18,21,22,23,24; 7 | 0,1,6,7,9,11,13,15,17,19,21,23; 8 | 0,1,5,8,10,12,14,16,18,19,21,23; 9 | 0,2,5,8,9,11,14,15,18,20,21,24; 10 | 0,2,6,7,10,12,13,15,18,19,22,24; 11 | 0,3,5,7,10,11,14,16,17,19,22,24; 12 | 0,3,6,8,9,12,14,15,17,20,22,23; 13 | 0,4,5,7,9,12,13,16,18,20,22,23; 14 | 0,4,6,8,10,11,13,16,17,20,21,24; 15 | 1,2,5,8,11,12,15,16,17,19,20,22; 16 | 1,2,6,7,9,10,16,17,18,20,21,22; 17 | 1,3,5,7,8,10,13,17,18,20,23,24; 18 | 1,3,6,9,11,12,13,14,18,19,20,24; 19 | 1,4,5,9,10,12,13,14,15,21,22,24; 20 | 1,4,6,7,8,11,14,15,16,22,23,24; 21 | 2,3,5,6,8,9,13,16,21,22,23,24; 22 | 2,3,7,10,11,12,13,14,15,16,21,23; 23 | 2,4,5,6,7,12,14,17,19,20,23,24; 24 | 2,4,8,9,10,11,13,14,17,18,19,23; 25 | 3,4,5,6,10,11,15,18,19,20,21,22; 26 | 3,4,7,8,9,12,15,16,17,18,19,21. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_13.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,15,18,22,23,24; 10 | 0,3,5,7,9,12,14,16,17,19,23,24; 11 | 0,3,6,7,8,11,16,17,18,20,21,22; 12 | 0,4,5,7,11,12,13,14,18,20,21,23; 13 | 0,4,6,9,10,12,14,15,16,19,21,22; 14 | 0,5,6,8,10,11,13,15,17,19,20,24; 15 | 1,3,4,7,10,12,15,16,17,20,21,24; 16 | 1,3,5,8,10,11,15,16,18,19,21,23; 17 | 1,3,6,7,11,12,13,14,18,19,22,24; 18 | 1,4,5,8,9,11,13,14,17,21,22,24; 19 | 1,4,6,8,9,12,13,16,18,19,20,23; 20 | 1,5,6,7,9,10,14,15,17,20,22,23; 21 | 2,3,4,8,11,12,14,15,17,20,22,23; 22 | 2,3,5,9,10,12,13,17,18,19,21,22; 23 | 2,3,6,9,10,11,13,14,16,20,23,24; 24 | 2,4,5,7,9,11,15,16,18,19,20,24; 25 | 2,4,6,7,8,10,14,17,18,19,21,24; 26 | 2,5,6,7,8,12,13,15,16,21,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_14.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,16,18,21,23,24; 10 | 0,3,5,7,9,12,15,16,17,20,22,23; 11 | 0,3,6,7,8,11,14,17,18,19,22,24; 12 | 0,4,5,7,11,12,13,15,18,19,20,24; 13 | 0,4,6,9,10,12,14,16,17,19,20,21; 14 | 0,5,6,8,10,11,13,14,15,21,22,23; 15 | 1,3,4,7,10,12,14,15,17,21,22,24; 16 | 1,3,5,9,11,12,13,16,18,19,21,22; 17 | 1,3,6,8,10,12,13,17,18,19,20,23; 18 | 1,4,5,7,8,11,14,17,18,20,21,23; 19 | 1,4,6,8,9,11,13,15,16,20,22,24; 20 | 1,5,6,7,9,10,14,15,16,19,23,24; 21 | 2,3,4,9,10,11,14,15,18,20,22,23; 22 | 2,3,5,8,10,11,15,16,17,19,21,24; 23 | 2,3,6,7,11,12,13,14,16,20,23,24; 24 | 2,4,5,8,9,12,13,14,17,19,23,24; 25 | 2,4,6,7,8,12,15,16,18,19,21,22; 26 | 2,5,6,7,9,10,13,17,18,20,21,22. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_15.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,7,8,13,14,19,20,21,22; 5 | 0,1,2,4,9,10,15,16,19,20,23,24; 6 | 0,1,2,3,11,12,17,18,21,22,23,24; 7 | 0,1,7,8,9,11,13,15,16,17,21,23; 8 | 0,1,7,8,10,12,14,15,16,18,22,24; 9 | 0,2,5,6,9,11,14,15,19,21,22,24; 10 | 0,2,5,6,10,12,13,16,20,21,22,23; 11 | 0,3,5,7,11,12,13,16,18,19,20,24; 12 | 0,3,6,8,11,12,14,15,17,19,20,23; 13 | 0,4,5,7,9,10,14,17,18,20,22,23; 14 | 0,4,6,8,9,10,13,17,18,19,21,24; 15 | 1,2,5,8,9,12,15,17,18,19,20,22; 16 | 1,2,6,7,10,11,16,17,18,19,20,21; 17 | 1,3,5,6,7,10,13,17,19,22,23,24; 18 | 1,3,5,6,8,9,14,18,20,21,23,24; 19 | 1,4,5,10,11,12,13,14,15,20,21,24; 20 | 1,4,6,9,11,12,13,14,16,19,22,23; 21 | 2,3,7,9,10,12,13,14,15,18,21,23; 22 | 2,3,8,9,10,11,13,14,16,17,22,24; 23 | 2,4,5,7,8,12,14,16,17,19,23,24; 24 | 2,4,6,7,8,11,13,15,18,20,23,24; 25 | 3,4,5,8,10,11,15,16,18,19,21,22; 26 | 3,4,6,7,9,12,15,16,17,20,21,22. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_2.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,15,18,22,23,24; 10 | 0,3,5,7,9,12,14,16,17,21,22,23; 11 | 0,3,6,7,8,11,16,17,18,19,20,24; 12 | 0,4,5,7,11,12,13,14,18,19,21,24; 13 | 0,4,6,9,10,12,14,15,16,19,20,23; 14 | 0,5,6,8,10,11,13,15,17,20,21,22; 15 | 1,3,4,7,10,12,15,16,17,20,21,24; 16 | 1,3,5,8,10,11,15,16,18,19,21,23; 17 | 1,3,6,7,11,12,13,14,18,20,22,23; 18 | 1,4,5,8,9,11,13,14,17,20,23,24; 19 | 1,4,6,8,9,12,13,16,18,19,21,22; 20 | 1,5,6,7,9,10,14,15,17,19,22,24; 21 | 2,3,4,9,10,11,14,17,18,20,21,22; 22 | 2,3,5,9,11,12,13,15,16,19,22,24; 23 | 2,3,6,8,10,12,13,14,17,19,23,24; 24 | 2,4,5,7,8,12,15,17,18,19,20,23; 25 | 2,4,6,7,8,11,14,15,16,21,22,24; 26 | 2,5,6,7,9,10,13,16,18,20,21,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_3.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,15,18,22,23,24; 10 | 0,3,5,7,9,11,14,16,17,20,23,24; 11 | 0,3,6,7,8,12,16,17,18,19,21,22; 12 | 0,4,5,7,11,12,13,14,18,19,21,24; 13 | 0,4,6,8,10,12,14,15,17,19,20,23; 14 | 0,5,6,9,10,11,13,15,16,20,21,22; 15 | 1,3,4,7,10,12,15,16,17,20,21,24; 16 | 1,3,5,8,10,11,15,16,18,19,21,23; 17 | 1,3,6,7,11,12,13,14,18,20,22,23; 18 | 1,4,5,8,9,12,13,14,17,21,22,23; 19 | 1,4,6,8,9,11,13,16,18,19,20,24; 20 | 1,5,6,7,9,10,14,15,17,19,22,24; 21 | 2,3,4,9,10,11,14,17,18,20,21,22; 22 | 2,3,5,8,11,12,13,15,17,19,22,24; 23 | 2,3,6,9,10,12,13,14,16,19,23,24; 24 | 2,4,5,7,9,12,15,16,18,19,20,23; 25 | 2,4,6,7,8,11,14,15,16,21,22,24; 26 | 2,5,6,7,8,10,13,17,18,20,21,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_4.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,16,18,21,23,24; 10 | 0,3,5,7,9,12,15,16,17,19,22,24; 11 | 0,3,6,7,8,11,14,17,18,20,22,23; 12 | 0,4,5,7,11,12,13,14,15,20,23,24; 13 | 0,4,6,9,10,12,14,16,17,19,20,21; 14 | 0,5,6,8,10,11,13,15,18,19,21,22; 15 | 1,3,4,7,10,12,15,17,18,20,21,22; 16 | 1,3,5,9,10,11,15,16,18,19,20,23; 17 | 1,3,6,8,10,12,13,14,17,19,23,24; 18 | 1,4,5,7,8,11,14,17,18,19,21,24; 19 | 1,4,6,8,9,11,13,15,16,20,22,24; 20 | 1,5,6,7,9,12,13,14,16,21,22,23; 21 | 2,3,4,8,11,12,14,15,16,21,22,23; 22 | 2,3,5,9,10,11,13,14,17,21,22,24; 23 | 2,3,6,7,11,12,13,16,18,19,20,24; 24 | 2,4,5,8,9,12,13,17,18,19,20,23; 25 | 2,4,6,7,9,10,14,15,18,19,22,24; 26 | 2,5,6,7,8,10,15,16,17,20,21,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_5.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,15,18,22,23,24; 10 | 0,3,5,7,9,12,16,17,18,19,21,22; 11 | 0,3,6,7,8,11,14,16,17,20,23,24; 12 | 0,4,5,7,11,12,14,15,18,19,20,23; 13 | 0,4,6,9,10,12,13,14,17,20,21,22; 14 | 0,5,6,8,10,11,13,15,16,19,21,24; 15 | 1,3,4,7,11,12,14,15,16,21,22,24; 16 | 1,3,5,9,10,11,13,16,18,20,21,23; 17 | 1,3,6,7,10,12,13,17,18,19,20,24; 18 | 1,4,5,8,9,12,13,14,17,19,23,24; 19 | 1,4,6,8,9,11,15,16,18,19,20,22; 20 | 1,5,6,7,8,10,14,15,17,21,22,23; 21 | 2,3,4,8,10,12,15,16,17,20,21,23; 22 | 2,3,5,9,10,11,14,15,17,19,22,24; 23 | 2,3,6,8,11,12,13,14,18,19,22,23; 24 | 2,4,5,7,8,11,13,17,18,20,21,24; 25 | 2,4,6,7,9,10,14,16,18,19,21,24; 26 | 2,5,6,7,9,12,13,15,16,20,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_6.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,7,13,19,20,21,22,23; 5 | 0,1,2,6,8,9,14,15,19,20,21,24; 6 | 0,1,2,7,10,11,14,16,17,19,22,24; 7 | 0,1,2,8,10,12,15,16,18,20,22,23; 8 | 0,1,3,8,10,11,13,17,18,21,23,24; 9 | 0,2,4,9,11,12,13,15,17,20,23,24; 10 | 0,3,5,6,9,12,16,17,19,22,23,24; 11 | 0,3,7,8,11,12,13,14,15,18,19,22; 12 | 0,4,5,6,11,12,14,18,20,21,22,24; 13 | 0,4,6,7,9,10,15,16,18,19,21,23; 14 | 0,5,7,8,9,10,13,14,16,17,20,21; 15 | 1,2,6,7,9,12,14,17,18,21,22,23; 16 | 1,3,4,9,10,12,13,15,16,21,22,24; 17 | 1,3,5,7,9,11,14,16,18,20,23,24; 18 | 1,4,5,8,11,12,14,15,17,19,21,23; 19 | 1,4,6,7,8,12,13,16,18,19,20,24; 20 | 1,5,6,9,10,11,13,15,17,19,20,22; 21 | 2,3,4,8,9,11,16,17,18,20,21,22; 22 | 2,3,5,7,10,12,15,17,18,19,21,24; 23 | 2,3,6,10,11,12,13,14,16,19,20,23; 24 | 2,4,5,8,9,10,13,14,18,19,23,24; 25 | 2,5,6,7,8,11,13,15,16,21,22,24; 26 | 3,4,6,7,8,10,14,15,17,20,22,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_7.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,16,18,21,23,24; 10 | 0,3,5,7,9,12,15,16,17,19,22,24; 11 | 0,3,6,7,8,11,14,17,18,20,22,23; 12 | 0,4,5,7,11,12,13,15,18,20,21,22; 13 | 0,4,6,9,10,12,14,16,17,19,20,21; 14 | 0,5,6,8,10,11,13,14,15,19,23,24; 15 | 1,3,4,7,10,12,14,15,17,20,23,24; 16 | 1,3,5,9,11,12,13,16,18,19,20,23; 17 | 1,3,6,8,10,12,13,17,18,19,21,22; 18 | 1,4,5,7,8,11,14,17,18,19,21,24; 19 | 1,4,6,8,9,11,13,15,16,20,22,24; 20 | 1,5,6,7,9,10,14,15,16,21,22,23; 21 | 2,3,4,8,11,12,14,15,16,21,22,23; 22 | 2,3,5,9,10,11,13,14,17,21,22,24; 23 | 2,3,6,7,10,11,15,16,18,19,20,24; 24 | 2,4,5,8,9,10,15,17,18,19,20,23; 25 | 2,4,6,7,9,12,13,14,18,19,22,24; 26 | 2,5,6,7,8,12,13,16,17,20,21,23. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_8.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,10,13,16,18,21,23,24; 10 | 0,3,5,7,9,12,15,16,17,20,22,23; 11 | 0,3,6,7,8,11,14,17,18,19,22,24; 12 | 0,4,5,7,11,12,13,14,15,21,22,24; 13 | 0,4,6,9,10,12,14,16,17,19,20,21; 14 | 0,5,6,8,10,11,13,15,18,19,20,23; 15 | 1,3,4,7,10,12,15,17,18,19,20,24; 16 | 1,3,5,9,10,11,15,16,18,19,21,22; 17 | 1,3,6,8,10,12,13,14,17,21,22,23; 18 | 1,4,5,7,8,11,14,17,18,20,21,23; 19 | 1,4,6,8,9,11,13,15,16,20,22,24; 20 | 1,5,6,7,9,12,13,14,16,19,23,24; 21 | 2,3,4,9,11,12,13,14,18,20,22,23; 22 | 2,3,5,8,11,12,13,16,17,19,21,24; 23 | 2,3,6,7,10,11,14,15,16,20,23,24; 24 | 2,4,5,8,9,10,14,15,17,19,23,24; 25 | 2,4,6,7,8,12,15,16,18,19,21,22; 26 | 2,5,6,7,9,10,13,17,18,20,21,22. -------------------------------------------------------------------------------- /examples/users_guide/PAULUS_ROSENFELD/P25_9.txt: -------------------------------------------------------------------------------- 1 | n25 2 | 1,2,3,4,5,6,7,8,9,10,11,12; 3 | 0,2,3,4,5,6,13,14,15,16,17,18; 4 | 0,1,3,4,5,6,19,20,21,22,23,24; 5 | 0,1,2,7,8,9,13,14,15,19,20,21; 6 | 0,1,2,7,10,11,13,16,17,19,22,23; 7 | 0,1,2,8,10,12,14,16,18,20,22,24; 8 | 0,1,2,9,11,12,15,17,18,21,23,24; 9 | 0,3,4,8,9,12,13,16,18,19,23,24; 10 | 0,3,5,7,9,11,14,17,18,20,22,23; 11 | 0,3,6,7,8,10,15,16,17,21,22,24; 12 | 0,4,5,9,11,12,13,15,16,20,21,22; 13 | 0,4,6,8,10,12,14,15,17,19,20,23; 14 | 0,5,6,7,10,11,13,14,18,19,21,24; 15 | 1,3,4,7,10,12,14,15,18,21,22,23; 16 | 1,3,5,8,11,12,13,15,17,19,22,24; 17 | 1,3,6,9,10,11,13,14,16,20,23,24; 18 | 1,4,5,7,9,10,15,17,18,19,20,24; 19 | 1,4,6,8,9,11,14,16,18,19,21,22; 20 | 1,5,6,7,8,12,13,16,17,20,21,23; 21 | 2,3,4,7,11,12,14,16,17,20,21,24; 22 | 2,3,5,8,10,11,15,16,18,19,21,23; 23 | 2,3,6,9,10,12,13,17,18,19,20,22; 24 | 2,4,5,8,9,10,13,14,17,21,23,24; 25 | 2,4,6,7,8,11,13,15,18,20,22,24; 26 | 2,5,6,7,9,12,14,15,16,19,22,23. -------------------------------------------------------------------------------- /doc/tables/general/cubic_surface_export_options.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:cubic:surface:export",, 3 | 1,"Options for Exporting Data: Cubic Surfaces",, 4 | 1,"X","p{1cm}","X" 5 | 1,"Label"," ","What" 6 | 1,"\verb'points' ",""," The points on the surface. " 7 | 1,"\verb'points_off' ",""," The points off the surface. " 8 | 1,"\verb'Eckardt_points' ",""," The Eckardt points of the surface. " 9 | 1,"\verb'double_points' ",""," The double points of the surface. " 10 | 1,"\verb'single_points' ",""," The single points of the surface. " 11 | 1,"\verb'zero_points' ",""," The zero points of the surface. A point is a zero point if it does not lie on any line." 12 | 1,"\verb'singular_points' ",""," The singular points of the surface. " 13 | 1,"\verb'lines' ",""," The set of lines of the surface. " 14 | 1,"\verb'tritangent_planes' ",""," The set of tritangent planes of the surface. " 15 | 1,"\verb'Hesse_planes' ",""," The set of Hesse planes of the surface. " 16 | END 17 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/StdDeque: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // Copyright (C) 2009 Gael Guennebaud 5 | // Copyright (C) 2009 Hauke Heibel 6 | // 7 | // This Source Code Form is subject to the terms of the Mozilla 8 | // Public License v. 2.0. If a copy of the MPL was not distributed 9 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 10 | 11 | #ifndef EIGEN_STDDEQUE_MODULE_H 12 | #define EIGEN_STDDEQUE_MODULE_H 13 | 14 | #include "Core" 15 | #include 16 | 17 | #if EIGEN_COMP_MSVC && EIGEN_OS_WIN64 && (EIGEN_MAX_STATIC_ALIGN_BYTES<=16) /* MSVC auto aligns up to 16 bytes in 64 bit builds */ 18 | 19 | #define EIGEN_DEFINE_STL_DEQUE_SPECIALIZATION(...) 20 | 21 | #else 22 | 23 | #include "src/StlSupport/StdDeque.h" 24 | 25 | #endif 26 | 27 | #endif // EIGEN_STDDEQUE_MODULE_H 28 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/count.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | # Terminal ANSI Color codes 4 | NONE='\033[00m' 5 | RED='\033[00;31m' 6 | GREEN='\033[00;32m' 7 | YELLOW='\033[00;33m' 8 | PURPLE='\033[00;35m' 9 | CYAN='\033[00;36m' 10 | WHITE='\033[00;37m' 11 | BOLD='\033[1m' 12 | UNDERLINE='\033[4m' 13 | 14 | LINE="--------------------------------------------------------------------------" 15 | 16 | COUNT=0; 17 | echo $LINE 18 | echo "[# LINES] => [FILE]" 19 | echo $LINE 20 | for f in $(find . -name '*.cpp' -o \ 21 | -name '*.CPP' -o \ 22 | -name '*.c' -o \ 23 | -name '*.C' -o \ 24 | -name '*.h' -o \ 25 | -name '*.H' -o \ 26 | -name '*.hpp' -o \ 27 | -name '*.HPP' -o \ 28 | -path "./src/lib/layer1_foundations/Eigen_interface/Eigen" -prune -false); do 29 | tmp=$(wc -l < $f); 30 | echo "$tmp => $f"; 31 | COUNT=$[COUNT+tmp]; 32 | done 33 | echo $LINE 34 | echo -e "${GREEN}Total number of lines of code is $COUNT${NONE}" 35 | echo $LINE 36 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/StdVector: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // Copyright (C) 2009 Gael Guennebaud 5 | // Copyright (C) 2009 Hauke Heibel 6 | // 7 | // This Source Code Form is subject to the terms of the Mozilla 8 | // Public License v. 2.0. If a copy of the MPL was not distributed 9 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 10 | 11 | #ifndef EIGEN_STDVECTOR_MODULE_H 12 | #define EIGEN_STDVECTOR_MODULE_H 13 | 14 | #include "Core" 15 | #include 16 | 17 | #if EIGEN_COMP_MSVC && EIGEN_OS_WIN64 && (EIGEN_MAX_STATIC_ALIGN_BYTES<=16) /* MSVC auto aligns up to 16 bytes in 64 bit builds */ 18 | 19 | #define EIGEN_DEFINE_STL_VECTOR_SPECIALIZATION(...) 20 | 21 | #else 22 | 23 | #include "src/StlSupport/StdVector.h" 24 | 25 | #endif 26 | 27 | #endif // EIGEN_STDVECTOR_MODULE_H 28 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/orthogonal_geometry_applications/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | blt_set_activity_description.o \ 10 | blt_set_activity.o \ 11 | blt_set_classify_activity_description.o \ 12 | blt_set_classify_activity.o \ 13 | blt_set_classify_description.o \ 14 | blt_set_classify.o \ 15 | BLT_set_create_description.o \ 16 | BLT_set_create.o \ 17 | blt_set_domain_with_action.o \ 18 | blt_set_group_properties.o \ 19 | blt_set_with_action.o \ 20 | flock_from_blt_set.o \ 21 | orthogonal_space_activity_description.o \ 22 | orthogonal_space_activity.o \ 23 | orthogonal_space_with_action_description.o \ 24 | orthogonal_space_with_action.o \ 25 | table_of_blt_sets.o 26 | 27 | 28 | all : $(MODULES) 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | clean: 33 | - rm *.o *.a *~ 34 | 35 | -------------------------------------------------------------------------------- /doc/tables/commands/objects_report_options.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:combi:reporting",, 3 | 1,"Options for Reporting After Classification",, 4 | 1,"\verb'-export_flag_orbits' "," "," Export flag orbits to csv file. " 5 | 1,"\verb'-show_incidence_matrices' "," "," Show incidence matrices in the report. " 6 | 1,"\verb'-show_TDO' "," "," Compute the TDO for the report. " 7 | 1,"\verb'-show_TDA' "," "," Compute the TDA for the report. " 8 | 1,"\verb'-export_labels' "," "," " 9 | 1,"\verb'-export_group_orbiter' "," "," Export the automorphism group in Orbiter format. " 10 | 1,"\verb'-export_group_GAP' "," "," Export the automorphism group in GAP format. " 11 | 1,"\verb'-export_group_magma' "," "," Export the automorphism group in Magma format. " 12 | 1,"\verb'-lex_least' "," geo "," Show lex-least orbit representatives. Here, geo is a geometry builder object. " 13 | 1,"\verb'-canonical_forms' "," "," Report the canonical forms of each input object. " 14 | END 15 | 16 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/geometry_builder/gen_geo_conf.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * gen_geo_conf.cpp 3 | * 4 | * Created on: Aug 14, 2021 5 | * Author: betten 6 | */ 7 | 8 | 9 | 10 | #include "foundations.h" 11 | 12 | using namespace std; 13 | 14 | 15 | 16 | namespace orbiter { 17 | namespace layer1_foundations { 18 | namespace combinatorics { 19 | namespace geometry_builder { 20 | 21 | 22 | gen_geo_conf::gen_geo_conf() 23 | { 24 | Record_birth(); 25 | fuse_idx = -1; 26 | 27 | v = 0; 28 | b = 0; 29 | r = 0; 30 | // int k; 31 | 32 | r0 = 0; 33 | // int k0; 34 | // int k1; 35 | i0 = 0; 36 | j0 = 0; 37 | f_last_non_zero_in_fuse = false; 38 | 39 | } 40 | 41 | gen_geo_conf::~gen_geo_conf() 42 | { 43 | Record_death(); 44 | 45 | } 46 | 47 | void gen_geo_conf::print( 48 | std::ostream &ost) 49 | { 50 | ost << "v=" << v << " b=" << b << " r=" << r 51 | << " r0=" << r0 << " i0=" << i0 << " j0=" << j0 << endl; 52 | } 53 | 54 | }}}} 55 | 56 | 57 | 58 | -------------------------------------------------------------------------------- /doc/tables/commands/symbolic_object_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:symbolic:objects:activity",, 3 | 1,"Activities for Symbolic Objects",, 4 | 1,"\verb'-export' "," "," Export the symbolic object. " 5 | 1,"\verb'-print' "," "," Print the symbolic object. " 6 | 1,"\verb'-as_vector' "," "," Convert the symbolic object to a vector of integers and print this vector. " 7 | 1,"\verb'-latex' "," "," Print the symbolic object in latex format. " 8 | 1,"\verb'-evaluate_affine' "," "," Computes the evaluation vector of the symbolic object. The evaluation vector is indexed by all affine points coordinatized by the variables. The entry is the value of the formula when the coordinates of the affine point are substituted. " 9 | 1,"\verb'-collect_monomials_binary' "," "," Collects the monomials, and records the subscripts of terms which appear. This is made for polynomials over GF(2). A csv file is written. The function assumes that the formula is expanded, i.e., a sum of monomials. " 10 | END 11 | -------------------------------------------------------------------------------- /doc/tables/commands/packing_long_orbits_description.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:packings:long:orbits",, 3 | 1,"Creating Packings from Long Orbits",, 4 | 1,"\verb'-split' "," $r$ $m$ ","Define a subset of cases of fixed point cliques to be worked on. Only those cases whose number is congruent to $r$ modulo $m$ are considered. " 5 | 1,"\verb'-orbit_length' "," $l$ "," Use orbits of length $l$. " 6 | 1,"\verb'-mixed_orbits' "," length "," " 7 | 1,"\verb'-list_of_cases_from_file' "," fname ","Define a subset of cases of fixed point cliques to be worked on. Only the cases listed the given file are considered. " 8 | 1,"\verb'-solution_path' "," $P$ "," Use $P$ as a prefix for all solution files." 9 | 1,"\verb'-create_graphs' "," ","For each case, create the graph that describes whether two orbits of length $l$ are compatible. " 10 | 1,"\verb'-solve' "," ","Perform clique finding and write solutions to file. " 11 | 1,"\verb'-read_solutions' "," ","Read solutions from file. " 12 | END -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/CUDA/Linalg/Makefile: -------------------------------------------------------------------------------- 1 | CC=gcc 2 | CPP=g++ 3 | OPTFLAGS=-O3 -march=native -mtune=native -funroll-loops 4 | 5 | CUDA_LIB=-lcuda -lcudart -lcudadevrt 6 | CUDA_FLAGS= -gencode arch=compute_50,code=sm_50 \ 7 | -gencode arch=compute_60,code=sm_60 \ 8 | -gencode arch=compute_61,code=sm_61 \ 9 | -Xptxas -O3 \ 10 | -Xcompiler -O3 \ 11 | -Xcompiler -march=native \ 12 | -Xcompiler -mtune=native \ 13 | -Xcompiler -funroll-loops \ 14 | -Xcompiler -fgcse-lm \ 15 | -Xcompiler -ftree-vectorize \ 16 | -Xcompiler -mavx \ 17 | -Xcompiler -mfpmath=both 18 | 19 | 20 | all: main.o gpuErrchk.o 21 | nvcc $(CUDA_FLAGS) main.o gpuErrchk.o -o main $(CUDA_LIB) 22 | 23 | 24 | main.o: main.cpp Matrix.h linalg.h gpu_table.h 25 | nvcc -x cu -c $(CUDA_FLAGS) -rdc=true main.cpp -o main.o 26 | 27 | 28 | gpuErrchk.o: gpuErrchk.cpp gpuErrchk.h 29 | nvcc -x cu -c $(CUDA_FLAGS) -rdc=true gpuErrchk.cpp -o gpuErrchk.o 30 | 31 | 32 | clean: 33 | rm -rf ./*.o -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/inform.h: -------------------------------------------------------------------------------- 1 | #ifndef INFORM 2 | #define INFORM 3 | 4 | extern void informStatistics( 5 | Unsigned ell, 6 | unsigned long nodesVisited[], 7 | unsigned long nodesPruned[], 8 | unsigned long nodesEssential[]) 9 | ; 10 | 11 | extern void informOptions(void) 12 | ; 13 | 14 | extern void informGroup( 15 | const PermGroup *const G) 16 | ; 17 | 18 | extern void informRBase( 19 | const PermGroup *const G, 20 | const RBase *const AAA, 21 | const UnsignedS basicCellSize[]) 22 | ; 23 | 24 | extern void informSubgroup( 25 | const PermGroup *const G_pP) 26 | ; 27 | 28 | extern void informCosetRep( 29 | Permutation *y) 30 | ; 31 | 32 | extern void informNewGenerator( 33 | const PermGroup *const G_pP, 34 | const Unsigned newLevel) 35 | ; 36 | 37 | extern void informTime( 38 | clock_t startTime, 39 | clock_t RBaseTime, 40 | clock_t optGroupTime, 41 | clock_t backtrackTime) 42 | ; 43 | 44 | #endif 45 | -------------------------------------------------------------------------------- /src/lib/layer3_group_actions/groups/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | any_group_linear.o \ 10 | any_group.o \ 11 | conjugacy_class_of_elements.o \ 12 | conjugacy_class_of_subgroups.o \ 13 | exceptional_isomorphism_O4.o \ 14 | generators_and_images.o \ 15 | group_theory_global.o \ 16 | orbits_on_something.o \ 17 | schreier.o \ 18 | schreier_io.o \ 19 | schreier_sims.o \ 20 | sims_group_theory.o \ 21 | sims_io.o \ 22 | sims_main.o \ 23 | sims.o \ 24 | sims2.o \ 25 | sims3.o \ 26 | strong_generators.o \ 27 | strong_generators_groups.o \ 28 | subgroup_lattice_layer.o \ 29 | subgroup_lattice.o \ 30 | subgroup.o \ 31 | sylow_structure.o \ 32 | linalg.o \ 33 | shallow_schreier_ai.o 34 | 35 | 36 | all : $(MODULES) 37 | 38 | %.o: %.cpp %.c 39 | $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 40 | 41 | clean: 42 | - rm *.o *.a *~ 43 | 44 | -------------------------------------------------------------------------------- /src/apps/programmers_guide/makefile: -------------------------------------------------------------------------------- 1 | SRC=../../../src 2 | DISCRETA_CPP = g++ 3 | DISCRETA_CC = gcc 4 | CPPFLAGS = -Wall -I$(SRC)/lib -std=c++17 5 | LIB = $(SRC)/lib/liborbiter.a -lpthread 6 | LFLAGS = -lm -Wl,-rpath -Wl,/usr/local/gcc-8.2.0/lib64 7 | #LFLAGS = -lm -lpthread -Wl,-rpath -Wl,/projects/abetten@colostate.edu/gcc-install-destdir/usr/local/gcc-8.1/lib64 8 | 9 | 10 | 11 | TARGETS=\ 12 | ug_3_2_F_2.out \ 13 | ug_3_2_vandermonde.out \ 14 | ug_5_3_quaternion.out 15 | 16 | all: $(TARGETS) 17 | 18 | 19 | ug_3_2_F_2.out: ug_3_2_F_2.o ; 20 | $(DISCRETA_CPP) ug_3_2_F_2.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 21 | 22 | ug_3_2_vandermonde.out: ug_3_2_vandermonde.o ; 23 | $(DISCRETA_CPP) ug_3_2_vandermonde.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 24 | 25 | ug_5_3_quaternion.out: ug_5_3_quaternion.o ; 26 | $(DISCRETA_CPP) ug_5_3_quaternion.o $(CPPFLAGS) $(LIB) $(LFLAGS) -o $@ 27 | 28 | 29 | install: 30 | cp $(TARGETS) ../../../bin 31 | 32 | 33 | 34 | clean: 35 | - rm *.o *.a *.out *~ 36 | 37 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/Householder: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // This Source Code Form is subject to the terms of the Mozilla 5 | // Public License v. 2.0. If a copy of the MPL was not distributed 6 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 7 | 8 | #ifndef EIGEN_HOUSEHOLDER_MODULE_H 9 | #define EIGEN_HOUSEHOLDER_MODULE_H 10 | 11 | #include "Core" 12 | 13 | #include "src/Core/util/DisableStupidWarnings.h" 14 | 15 | /** \defgroup Householder_Module Householder module 16 | * This module provides Householder transformations. 17 | * 18 | * \code 19 | * #include 20 | * \endcode 21 | */ 22 | 23 | #include "src/Householder/Householder.h" 24 | #include "src/Householder/HouseholderSequence.h" 25 | #include "src/Householder/BlockHouseholder.h" 26 | 27 | #include "src/Core/util/ReenableStupidWarnings.h" 28 | 29 | #endif // EIGEN_HOUSEHOLDER_MODULE_H 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/graphics/scene_element_of_type_point.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * scene_element_of_type_point.cpp 3 | * 4 | * Created on: Apr 4, 2022 5 | * Author: betten 6 | */ 7 | 8 | 9 | 10 | 11 | 12 | #include "foundations.h" 13 | 14 | using namespace std; 15 | 16 | 17 | 18 | 19 | namespace orbiter { 20 | namespace layer1_foundations { 21 | namespace other { 22 | namespace graphics { 23 | 24 | scene_element_of_type_point::scene_element_of_type_point() 25 | { 26 | Record_birth(); 27 | } 28 | 29 | scene_element_of_type_point::~scene_element_of_type_point() 30 | { 31 | Record_death(); 32 | } 33 | 34 | void scene_element_of_type_point::init( 35 | double *coord3) 36 | { 37 | Point_coords[0] = coord3[0]; 38 | Point_coords[1] = coord3[1]; 39 | Point_coords[2] = coord3[2]; 40 | } 41 | 42 | void scene_element_of_type_point::print() 43 | { 44 | orbiter_kernel_system::numerics N; 45 | 46 | N.vec_print(Point_coords, 3); 47 | cout << endl; 48 | } 49 | 50 | 51 | }}}} 52 | 53 | 54 | 55 | -------------------------------------------------------------------------------- /doc/tables/commands/classification_of_cubic_surfaces_with_double_sixes_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:cubic:surface:classified:activity",, 3 | 1,"Activity for Cubic Surfaces After Classification",, 4 | 1,"\verb'-report' "," options "," Create a latex report. " 5 | 1,"\verb'-stats' "," prefix "," Report statistics on group operations. " 6 | 1,"\verb'-identify_Eckardt' "," "," " 7 | 1,"\verb'-identify_F13' "," "," " 8 | 1,"\verb'-identify_Bes' "," "," " 9 | 1,"\verb'-identify_general_abcd' "," "," " 10 | 1,"\verb'-isomorphism_testing' "," surf1 surf2 "," Compute an isomorphism from surface 1 to surface 2. surf1 and surf2 must be surface objects. " 11 | 1,"\verb'-recognize' "," surf "," Recognizes the isomorphism type of the given surface object in the Orbiter Catalogue of cubic surfaces. " 12 | 1,"\verb'-create_source_code' "," "," Create C++ source code for the cubic surfaces of the given order. " 13 | 1,"\verb'-sweep_Cayley' "," "," Identify the isomorphism type of all surfaces of Cayley type. " 14 | END 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/geometry/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -march=native -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | all: \ 9 | algebraic_geometry1 \ 10 | finite_geometries1 \ 11 | orthogonal1 \ 12 | other_geometry1 \ 13 | projective_geometry1 14 | 15 | 16 | 17 | 18 | 19 | algebraic_geometry1 : ; cd algebraic_geometry; $(MAKE) 20 | finite_geometries1 : ; cd finite_geometries; $(MAKE) 21 | orthogonal1 : ; cd orthogonal; $(MAKE) 22 | other_geometry1 : ; cd other_geometry; $(MAKE) 23 | projective_geometry1 : ; cd projective_geometry; $(MAKE) 24 | 25 | 26 | 27 | 28 | 29 | 30 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 31 | 32 | 33 | 34 | clean: 35 | cd algebraic_geometry; $(MAKE) clean 36 | cd finite_geometries; $(MAKE) clean 37 | cd orthogonal; $(MAKE) clean 38 | cd other_geometry; $(MAKE) clean 39 | cd projective_geometry; $(MAKE) clean 40 | - rm *.o *.a 41 | 42 | 43 | 44 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Jeffrey_Leon_partition_backtrack/ptstbref.h: -------------------------------------------------------------------------------- 1 | #ifndef PTSTBREF 2 | #define PTSTBREF 3 | 4 | extern SplitSize pointStabRefine( 5 | const RefinementParm familyParm[], /* No family parms. */ 6 | const RefinementParm refnParm[], /* parm[0] = alpha, parm[1] = i. */ 7 | PartitionStack *const UpsilonStack) /* The partition stack, as above. */ 8 | ; 9 | 10 | extern RefinementPriorityPair isPointStabReducible( 11 | const RefinementFamily *family, /* The refinement family (mapping 12 | must be pointStabRefn; there 13 | are no genuine parms. */ 14 | const PartitionStack *const UpsilonStack, /* The partition stack above. */ 15 | PermGroup *G, /* For optimization. */ 16 | RBase *AAA, /* For optimization. */ 17 | Unsigned level) /* For optimization. */ 18 | ; 19 | 20 | #endif 21 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/graphics/scene_element_of_type_plane.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * scene_element_of_type_plane.cpp 3 | * 4 | * Created on: Apr 4, 2022 5 | * Author: betten 6 | */ 7 | 8 | 9 | 10 | #include "foundations.h" 11 | 12 | using namespace std; 13 | 14 | 15 | 16 | 17 | namespace orbiter { 18 | namespace layer1_foundations { 19 | namespace other { 20 | namespace graphics { 21 | 22 | scene_element_of_type_plane::scene_element_of_type_plane() 23 | { 24 | Record_birth(); 25 | } 26 | 27 | scene_element_of_type_plane::~scene_element_of_type_plane() 28 | { 29 | Record_death(); 30 | } 31 | 32 | void scene_element_of_type_plane::init( 33 | double *coord4) 34 | { 35 | Plane_coords[0] = coord4[0]; 36 | Plane_coords[1] = coord4[1]; 37 | Plane_coords[2] = coord4[2]; 38 | Plane_coords[3] = coord4[3]; 39 | } 40 | 41 | void scene_element_of_type_plane::print() 42 | { 43 | orbiter_kernel_system::numerics N; 44 | 45 | N.vec_print(Plane_coords, 4); 46 | cout << endl; 47 | } 48 | 49 | 50 | }}}} 51 | 52 | 53 | 54 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/ExpansionVisitors/multiplication_expansion_visitor.h: -------------------------------------------------------------------------------- 1 | /** 2 | * Author: Sajeeb Roy Chowdhury 3 | * Created: 10.04.2022 4 | * Email: sajeeb.roy.chow@gmail.com 5 | * 6 | **/ 7 | 8 | #include "../IRTreeChildLinkArgumentVisitor.h" 9 | #include "../../exception.h" 10 | #include 11 | #include 12 | 13 | #ifndef MULTIPLICATION_EXPANSION_VISITOR 14 | #define MULTIPLICATION_EXPANSION_VISITOR 15 | 16 | 17 | //! a visitor is a class that realizes an activity for processing an abstract syntax tree of Sajeeb type. 18 | 19 | class multiplication_expansion_visitor : public IRTreeChildLinkArgumentVisitor { 20 | typedef list>::iterator iterator_t; 21 | 22 | void expand_multiplication_node(multiply_node*& op_node, iterator_t& link); 23 | 24 | public: 25 | using IRTreeChildLinkArgumentVisitor::visit; 26 | 27 | void visit(multiply_node* op_node, list >::iterator& link) override; 28 | }; 29 | 30 | 31 | #endif 32 | -------------------------------------------------------------------------------- /doc/tables/commands/permutation_group.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:perm:group",, 3 | 1,"Creating a Generic Permutation Group",, 4 | 1,"\verb'-symmetric_group' "," $n$ "," Symmetric group of degree $n$ and order $n!$." 5 | 1,"\verb'-cyclic_group' "," $n$ ","Cyclic group of degree $n$ and order $n$." 6 | 1,"\verb'-elementary_abelian_group' "," $n$ ","Elementary abelian group of order $n$ and degree $hp$ where $n=p^h$ and $p$ prime." 7 | 1,"\verb'-identity_group' "," $n$ "," Identity group of degree $n$ and order $1$." 8 | 1,"\verb'-dihedral_group' "," $n$ "," Dihedral group of degree $n$ and order $2n$." 9 | 1,"\verb'-bsgs' "," lab1 lab2 $n$ order base $k$ gens ","Group with a given base and a given set of generators. Here, lab1 and lab2 are labels in ascii and latex, respectively, $k$ is the number of generators, gens is the generators as an Orbiter vector of integers." 10 | 1,"\verb'-subgroup_by_generators' "," lab order $k$ gens "," Subgroup given by generators. Here, $k$ is the number of generators, gens is an Orbiter vector of integers. " 11 | END 12 | -------------------------------------------------------------------------------- /doc/tables/commands/set_builder.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:set:builder",, 3 | 1,"Set Builder Commands",, 4 | 1,"\verb'-loop' "," a b c "," creates the set $\{k \mid k = a+ic, \; i \in \bbZ, \; a \le k < c\}$" 5 | 1,"\verb'-affine_function' "," a b "," Apply the affine function $ax+b$." 6 | 1,"\verb'-set_builder' "," set "," Use a set as input to a construction." 7 | 1,"\verb'-clone_with_affine_function' "," a b "," Apply the affine function $ax+b$ to the elements $x$ of a set specified using \verb'-set_builder'. " 8 | 1,"\verb'-affine_function' "," a b "," Apply the affine function $ax+b$ to the elements $x$ of a set specified using \verb'-set_builder'. " 9 | 1,"\verb'-here' "," elements "," Create the set from the given list of elements. The elements of the list are comma separated. " 10 | 1,"\verb'-file' "," fname "," Create a set from the elements listed in the given file. " 11 | 1,"\verb'-file_orbiter_format' "," fname "," Create a set from the elements listed in the given file. " 12 | END 13 | \caption{\label{tab:set:builder}Set Builder Commands} 14 | -------------------------------------------------------------------------------- /src/lib/layer5_top_level/apps_algebra/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | action_on_forms_activity_description.o \ 10 | action_on_forms_activity.o \ 11 | action_on_forms_description.o \ 12 | action_on_forms.o \ 13 | algebra_global_with_action.o \ 14 | character_table_burnside.o \ 15 | classes_of_elements_expanded.o \ 16 | classes_of_subgroups_expanded.o \ 17 | element_processing_description.o \ 18 | group_theoretic_activity_description.o \ 19 | group_theoretic_activity.o \ 20 | modified_group_init_layer5.o \ 21 | orbit_of_elements.o \ 22 | orbit_of_subgroups.o \ 23 | polynomial_ring_activity.o \ 24 | rational_normal_form.o \ 25 | vector_ge_activity_description.o \ 26 | vector_ge_activity.o \ 27 | vector_ge_builder.o \ 28 | young.o 29 | 30 | 31 | all : $(MODULES) 32 | 33 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 34 | 35 | clean: 36 | - rm *.o *.a *~ 37 | 38 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | ORBITER/nbproject/ 2 | *.a 3 | *.out 4 | *.o 5 | *~ 6 | *.dSYM 7 | *.exe 8 | log 9 | .DS_Store 10 | orbiter.tar.gz 11 | .settings/language.settings.xml 12 | src/apps/Jeffrey_Leons_partition_backtrack/cent 13 | src/apps/Jeffrey_Leons_partition_backtrack/cjrndper 14 | src/apps/Jeffrey_Leons_partition_backtrack/commut 15 | src/apps/Jeffrey_Leons_partition_backtrack/compgrp 16 | src/apps/Jeffrey_Leons_partition_backtrack/desauto 17 | src/apps/Jeffrey_Leons_partition_backtrack/fndelt 18 | src/apps/Jeffrey_Leons_partition_backtrack/generate 19 | src/apps/Jeffrey_Leons_partition_backtrack/inter 20 | src/apps/Jeffrey_Leons_partition_backtrack/orbdes 21 | src/apps/Jeffrey_Leons_partition_backtrack/orblist 22 | src/apps/Jeffrey_Leons_partition_backtrack/randobj 23 | src/apps/Jeffrey_Leons_partition_backtrack/setstab 24 | src/apps/Jeffrey_Leons_partition_backtrack/wtdist 25 | 26 | 27 | idea/ 28 | CMakeLists.txt 29 | cmake-build-debug/ 30 | 31 | .* 32 | !/.gitignore 33 | !/src/lib/layer1_foundations/expression_parser_sajeeb/.gitignore 34 | 35 | _config.yml 36 | -------------------------------------------------------------------------------- /doc/tables/commands/variety_activity.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:variety:activities",, 3 | 1,"Variety Activities",, 4 | 1,"\verb'-compute_group' "," "," Compute the group of the variety (i.e., the stabilizer of the equation). " 5 | 1,"\verb'-test_isomorphism' "," "," Test if two varieties are isomorphic. If yes, compute an isomorphism from the second to the first. " 6 | 1,"\verb'-compute_set_stabilizer' "," "," Compute the set stabilizer of the variety. This group contains the stabilizer of the equation as a subgroup. " 7 | 1,"\verb'-nauty_control' "," options "," Nauty options, see Table~\ref{tab:nauty:control}. " 8 | 1,"\verb'-report' "," "," Produce a report of the variety. " 9 | 1,"\verb'-export' "," "," Export data about the variety to a csv file. " 10 | 1,"\verb'-apply_transformation_to_self' "," M "," Apply the given transformation to the variety. M must be a coded semilinear map. " 11 | 1,"\verb'-singular_points' "," "," Compute the singular points of the variety. " 12 | 1,"\verb'-output_fname_base' "," fname "," Set output filename base. " 13 | END 14 | -------------------------------------------------------------------------------- /doc/tables/commands/finite_field_activities_summary_2.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:finite:field:activities:B",, 3 | 1,"Finite Field Activities (Part II)",, 4 | 1,"\verb'-transversal' "," $L1$ $L2$ $P$ ","Computes the unique transversal to the lines $L1$ and $L2$ through the point $P$ in $\PG(3,q).$ The linese are given by a basis consisting of $8$ field elements. " 5 | 1,"\verb'-intersection_of_two_lines' "," $L1$ $L2$ ","Computes the intersection of two lines in $\PG(3,q)$. The linese are given by a basis consisting of $8$ field elements. " 6 | 1,"\verb'-rank_point_in_PG' "," $P$ ","Computes the orbiter point rank corresponding to the point $P$ in $\PG(n,q).$ $P$ is a label of a vector, which is the coefficient vector. " 7 | 1,"\verb'-unrank_point_in_PG' "," $r$ ","Computes the coordinate vector of the Orbiter point in $\PG(n,q)$ corresponding to the Orbiter rank value $r$. " 8 | 1,"\verb'-inverse_isomorphism_klein_quadric' "," $L36$ "," " 9 | 1,"\verb'-NTT' "," $k$ $n$ "," Computes the Number-theoretic transform for $n=2^k,$ which must divide $q-1$. " 10 | END 11 | -------------------------------------------------------------------------------- /src/apps/Jeffrey_Leons_partition_backtrack/wtdist.h: -------------------------------------------------------------------------------- 1 | #ifndef WTDIST 2 | #define WTDIST 3 | 4 | extern void readCommandLine( 5 | int argc, 6 | char *argv[], 7 | char *name, 8 | int *saveWeightPtr, 9 | int *saveCountPtr) 10 | ; 11 | 12 | extern void readCode( 13 | FILE *inFile, 14 | int *lengthPtr, 15 | int *dimensionPtr, 16 | unsigned long *basis1, 17 | unsigned long *basis2, 18 | unsigned long *basis3, 19 | unsigned long *basis4) 20 | ; 21 | 22 | extern void writeWtDist( 23 | FILE *wtFile, 24 | char *name, 25 | int length, 26 | int dimension, 27 | unsigned long *basis1, 28 | unsigned long *basis2, 29 | unsigned long *basis3, 30 | unsigned long *basis4, 31 | unsigned long *freq) 32 | ; 33 | 34 | extern void writeVector( 35 | FILE *vecFile, 36 | int length, 37 | unsigned long cw1, 38 | unsigned long cw2, 39 | unsigned long cw3, 40 | unsigned long cw4) 41 | ; 42 | 43 | extern char HUGE *buildOnesCount(void) 44 | ; 45 | 46 | extern void main( int argc, char *argv[] ) 47 | ; 48 | 49 | #endif 50 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/knowledge_base/DATA/quartic_curves/quartic_curves_q11.cpp: -------------------------------------------------------------------------------- 1 | // file: quartic_curves_q11.cpp 2 | // created by Orbiter 3 | // creation date: Fri Jul 25 13:51:38 MDT 2025 4 | 5 | // 6 | static int quartic_curves_q11_nb_reps = 1; 7 | static int quartic_curves_q11_size = 15; 8 | // the equations: 9 | static int quartic_curves_q11_reps[] = { 10 | 4, 3, 8, 0, 5, 0, 2, 7, 0, 2, 5, 7, 5, 0, 9, 11 | }; 12 | // the stabilizer orders: 13 | static const char *quartic_curves_q11_stab_order[] = { 14 | "168", 15 | }; 16 | // the 28 bitangents: 17 | static long int quartic_curves_q11_Bitangents[] = { 18 | 58, 126, 130, 84, 2, 104, 74, 128, 129, 112, 97, 0, 24, 69, 75, 63, 28, 6, 49, 88, 110, 80, 118, 90, 61, 27, 51, 105, 19 | }; 20 | static int quartic_curves_q11_make_element_size = 9; 21 | static int quartic_curves_q11_stab_gens_fst[] = { 22 | 0}; 23 | static int quartic_curves_q11_stab_gens_len[] = { 24 | 3}; 25 | static int quartic_curves_q11_stab_gens[] = { 26 | 10,0,0,8,6,3,5,3,5, 27 | 0,9,4,8,9,2,2,2,2, 28 | 4,10,8,1,6,4,5,5,6, 29 | }; 30 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -march=native -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | all: \ 9 | basic_algebra1 \ 10 | expression_parser1 \ 11 | field_theory1 \ 12 | linear_algebra1 \ 13 | number_theory1 \ 14 | ring_theory1 15 | 16 | 17 | 18 | 19 | 20 | basic_algebra1 : ; cd basic_algebra; $(MAKE) 21 | expression_parser1 : ; cd expression_parser; $(MAKE) 22 | field_theory1 : ; cd field_theory; $(MAKE) 23 | linear_algebra1 : ; cd linear_algebra; $(MAKE) 24 | number_theory1 : ; cd number_theory; $(MAKE) 25 | ring_theory1 : ; cd ring_theory; $(MAKE) 26 | 27 | 28 | 29 | 30 | 31 | 32 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 33 | 34 | 35 | 36 | clean: 37 | cd basic_algebra; $(MAKE) clean 38 | cd expression_parser; $(MAKE) clean 39 | cd field_theory; $(MAKE) clean 40 | cd linear_algebra; $(MAKE) clean 41 | cd number_theory; $(MAKE) clean 42 | cd ring_theory; $(MAKE) clean 43 | - rm *.o *.a 44 | 45 | 46 | 47 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/Jacobi: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // This Source Code Form is subject to the terms of the Mozilla 5 | // Public License v. 2.0. If a copy of the MPL was not distributed 6 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 7 | 8 | #ifndef EIGEN_JACOBI_MODULE_H 9 | #define EIGEN_JACOBI_MODULE_H 10 | 11 | #include "Core" 12 | 13 | #include "src/Core/util/DisableStupidWarnings.h" 14 | 15 | /** \defgroup Jacobi_Module Jacobi module 16 | * This module provides Jacobi and Givens rotations. 17 | * 18 | * \code 19 | * #include 20 | * \endcode 21 | * 22 | * In addition to listed classes, it defines the two following MatrixBase methods to apply a Jacobi or Givens rotation: 23 | * - MatrixBase::applyOnTheLeft() 24 | * - MatrixBase::applyOnTheRight(). 25 | */ 26 | 27 | #include "src/Jacobi/Jacobi.h" 28 | 29 | #include "src/Core/util/ReenableStupidWarnings.h" 30 | 31 | #endif // EIGEN_JACOBI_MODULE_H 32 | 33 | -------------------------------------------------------------------------------- /doc/tables/commands/spread_create.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:spreads:define",, 3 | 1,"Creating a Spread",, 4 | 1,"\verb'-kernel_field' "," $F$ "," Define the kernel of the spread. $F$ must be an object of type finite field." 5 | 1,"\verb'-group' "," $G$ "," Define the group acting on the spread. Should be $\PGGL(2k,F)$. " 6 | 1,"\verb'-group_on_subspaces' "," $G$ "," " 7 | 1,"\verb'-k' "," $k$ "," Set the dimension of the spread. " 8 | 1,"\verb'-catalogue' "," $i$ "," Pull spread number $i$ from the catalogue of spreads associated with the given field and the given dimension. " 9 | 1,"\verb'-family' "," $L$ ","Define a spread from a named family $L.$ So far, no family has been provided. " 10 | 1,"\verb'-spread_set' "," label-txt label-tex $S$ ","Define a spread from the named spreadset $S$. The spreadset $S$ must be a vector object. It must contain $q^3k^2$ entries over $F.$ " 11 | 1,"\verb'-transform' "," elt "," Apply the transformation given by the group element. " 12 | 1,"\verb'-transform_inverse' "," elt "," Apply the inverse transformation given by the group element. " 13 | END 14 | 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/Eigen_interface/Eigen/Sparse: -------------------------------------------------------------------------------- 1 | // This file is part of Eigen, a lightweight C++ template library 2 | // for linear algebra. 3 | // 4 | // This Source Code Form is subject to the terms of the Mozilla 5 | // Public License v. 2.0. If a copy of the MPL was not distributed 6 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 7 | 8 | #ifndef EIGEN_SPARSE_MODULE_H 9 | #define EIGEN_SPARSE_MODULE_H 10 | 11 | /** \defgroup Sparse_Module Sparse meta-module 12 | * 13 | * Meta-module including all related modules: 14 | * - \ref SparseCore_Module 15 | * - \ref OrderingMethods_Module 16 | * - \ref SparseCholesky_Module 17 | * - \ref SparseLU_Module 18 | * - \ref SparseQR_Module 19 | * - \ref IterativeLinearSolvers_Module 20 | * 21 | \code 22 | #include 23 | \endcode 24 | */ 25 | 26 | #include "SparseCore" 27 | #include "OrderingMethods" 28 | #include "SparseCholesky" 29 | #include "SparseLU" 30 | #include "SparseQR" 31 | #include "IterativeLinearSolvers" 32 | 33 | #endif // EIGEN_SPARSE_MODULE_H 34 | 35 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/orbiter_kernel_system/chrono.h: -------------------------------------------------------------------------------- 1 | /* 2 | * File: chrono.h 3 | * Author: Sajeeb 4 | * 5 | * Created on October 26, 2017, 5:02 PM 6 | */ 7 | 8 | /** 9 | * This file returns the time in milliseconds 10 | */ 11 | 12 | #ifndef CHRONO_H 13 | #define CHRONO_H 14 | 15 | #include 16 | #include 17 | #include 18 | 19 | 20 | //! measure elapsed time 21 | 22 | class chrono_ { 23 | public: 24 | chrono_() { start(); } 25 | ~chrono_() { 26 | } 27 | void start() { 28 | auto now = std::chrono::system_clock::now(); 29 | auto now_ns = std::chrono::time_point_cast(now); 30 | auto epoch = now_ns.time_since_epoch(); 31 | auto value = std::chrono::duration_cast(epoch); 32 | timestamp = value.count(); 33 | } 34 | long calculateDuration(const chrono_& c) { 35 | return (c.timestamp-timestamp); 36 | } 37 | void reset() { start(); } 38 | long timestamp; 39 | private: 40 | static const bool debug = false; 41 | }; 42 | 43 | #endif /* CHRONO_H */ 44 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/expression_parser_sajeeb/Visitors/remove_minus_nodes_visitor.cpp: -------------------------------------------------------------------------------- 1 | // 2 | // Created by Sajeeb Roy Chowdhury on 10/1/22. 3 | // 4 | 5 | #include "remove_minus_nodes_visitor.h" 6 | #include 7 | 8 | using std::shared_ptr; 9 | using std::make_shared; 10 | 11 | #define LOG(x) std::cout << __FILE__ << ":" << __LINE__ << ": " << x << std::endl; 12 | 13 | void remove_minus_nodes_visitor::visit(minus_node* op_node, list>::iterator& link) { 14 | for (auto it=++op_node->children.begin(); it != op_node->children.end(); ++it) { 15 | shared_ptr uminus = make_shared(); 16 | uminus->add_child(*it); 17 | *it = uminus; 18 | } 19 | 20 | shared_ptr plus = make_shared(); 21 | plus->children = std::move(op_node->children); 22 | *link = plus; 23 | 24 | for (auto it=plus->children.begin(); it != plus->children.end(); ++it) { 25 | shared_ptr& child = *it; 26 | dispatcher::visit(*it, *this, it); 27 | } 28 | } 29 | 30 | -------------------------------------------------------------------------------- /doc/tables/commands/arc_generator.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:arcs",, 3 | 1,"Classifying Arcs",, 4 | 1,"\verb'-control' "," label "," Set the label of the poset classification control object. " 5 | 1,"\verb'-projective_space' "," P "," Set the projective space to P. " 6 | 1,"\verb'-d' "," $d$ "," Require that no more than $d$ points lie on a line. " 7 | 1,"\verb'-target_size' "," $t$ "," Specify the size of the arc to be $t$. " 8 | 1,"\verb'-conic_test' "," "," Require that no $6$ points of the arc lie on a conic. " 9 | 1,"\verb'-test_nb_Eckardt_points' "," $n$ "," Require exactly $n$ Eckardt points. " 10 | 1,"\verb'-affine' "," "," Classify arcs in the affine geometry, assuming that $x_0 = 0$ is the hyperplane at infinity. The condition that no more that $d$ point lie on a line applies to affine lines only. " 11 | 1,"\verb'-no_arc_testing' "," "," Do not test the ``at most $d$ points per line'' condition. " 12 | 1,"\verb'-forbidden_point_set' "," set "," The arc must not contain any of the given points. " 13 | 1,"\verb'-override_group' "," label "," Override the group under which we classify. " 14 | END 15 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/other/data_structures/makefile: -------------------------------------------------------------------------------- 1 | DISCRETA_CPP = g++ 2 | DISCRETA_CC = gcc 3 | CPPFLAGS = -Wall -O3 -funroll-loops -I.. -I../.. -std=c++17 4 | # -frename-registers 5 | LIB = 6 | LFLAGS = -lm 7 | 8 | MODULES = \ 9 | algorithms.o \ 10 | ancestry_family.o \ 11 | ancestry_indi.o \ 12 | ancestry_tree.o \ 13 | bitmatrix.o \ 14 | bitvector.o \ 15 | data_file.o \ 16 | data_structures_global.o \ 17 | fancy_set.o \ 18 | forest_io.o \ 19 | forest.o \ 20 | int_matrix.o \ 21 | int_vec.o \ 22 | int_vector.o \ 23 | lint_vec.o \ 24 | page_storage.o \ 25 | partitionstack.o \ 26 | set_builder_description.o \ 27 | set_builder.o \ 28 | set_of_sets_lint.o \ 29 | set_of_sets.o \ 30 | sorting.o \ 31 | spreadsheet.o \ 32 | string_tools.o \ 33 | tally_lint.o \ 34 | tally_vector_data.o \ 35 | tally.o \ 36 | text_builder_description.o \ 37 | text_builder.o \ 38 | vector_builder_description.o \ 39 | vector_builder.o \ 40 | vector_hashing.o 41 | 42 | 43 | all : $(MODULES) 44 | 45 | %.o: %.cpp %.c; $(DISCRETA_CPP) $(CPPFLAGS) -c -o $@ $< 46 | 47 | clean: 48 | - rm *.o *.a *~ 49 | -------------------------------------------------------------------------------- /doc/tables/commands/classification_of_objects.csv: -------------------------------------------------------------------------------- 1 | ROW,C1,C2,C3 2 | 0,"tab:combi:classification",, 3 | 1,"Classification of Combinatorial Objects",, 4 | 1,"\verb'-save_classification' "," prefix "," Save classification when finished. " 5 | 1,"\verb'-max_TDO_depth' "," $d$ "," Limit TDO depth to $d$ in the report." 6 | 1,"\verb'-save_canonical_labeling' "," "," Save the canonical labeling. " 7 | 1,"\verb'-save_ago' "," "," Save the automorphism group orders to file." 8 | 1,"\verb'-save_transversal' "," "," Save the indices of the elements chosen for the transversal." 9 | 1,"\verb'-nauty_control' "," options "," Set options that control Nauty. See Table~\ref{tab:nauty:control}. " 10 | END 11 | 12 | 13 | int f_save_classification; 14 | std::string save_prefix; 15 | 16 | int f_max_TDO_depth; 17 | int max_TDO_depth; 18 | 19 | int f_save_canonical_labeling; 20 | 21 | int f_save_ago; 22 | 23 | int f_save_transversal; 24 | 25 | // nauty related stuff: 26 | 27 | int f_nauty_control; 28 | other::l1_interfaces::nauty_interface_control *Nauty_control; 29 | //int f_save_nauty_input_graphs; 30 | 31 | 32 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/algebra/linear_algebra/matrix_block_data.cpp: -------------------------------------------------------------------------------- 1 | /* 2 | * matrix_block_data.cpp 3 | * 4 | * Created on: Feb 9, 2019 5 | * Author: betten 6 | */ 7 | 8 | 9 | 10 | #include "foundations.h" 11 | 12 | 13 | using namespace std; 14 | 15 | 16 | namespace orbiter { 17 | namespace layer1_foundations { 18 | namespace algebra { 19 | namespace linear_algebra { 20 | 21 | 22 | 23 | 24 | 25 | matrix_block_data::matrix_block_data() 26 | { 27 | Record_birth(); 28 | d = m = 0; 29 | poly_coeffs = NULL; 30 | b0 = b1 = 0; 31 | 32 | K = NULL; 33 | cnt = 0; 34 | dual_part = NULL; 35 | part = NULL; 36 | height = 0; 37 | part_idx = 0; 38 | } 39 | 40 | 41 | matrix_block_data::~matrix_block_data() 42 | { 43 | Record_death(); 44 | if (K) { 45 | FREE_OBJECTS(K); 46 | } 47 | if (dual_part) { 48 | FREE_int(dual_part); 49 | } 50 | if (part) { 51 | FREE_int(part); 52 | } 53 | } 54 | 55 | void matrix_block_data::allocate(int k) 56 | { 57 | K = NEW_OBJECTS(other::data_structures::int_matrix, k); 58 | dual_part = NEW_int(k); 59 | part = NEW_int(k); 60 | } 61 | 62 | 63 | }}}} 64 | -------------------------------------------------------------------------------- /src/lib/layer1_foundations/combinatorics/knowledge_base/DATA/quartic_curves/quartic_curves_q9.cpp: -------------------------------------------------------------------------------- 1 | // file: quartic_curves_q9.cpp 2 | // created by Orbiter 3 | // creation date: Sat Jul 19 09:54:07 +03 2025 4 | 5 | // 6 | static int quartic_curves_q9_nb_reps = 1; 7 | static int quartic_curves_q9_size = 15; 8 | // the equations: 9 | static int quartic_curves_q9_reps[] = { 10 | 1, 1, 1, 1, 5, 1, 7, 7, 5, 0, 0, 0, 0, 0, 0, 11 | }; 12 | // the stabilizer orders: 13 | static const char *quartic_curves_q9_stab_order[] = { 14 | "12096", 15 | }; 16 | // the 28 bitangents: 17 | static long int quartic_curves_q9_Bitangents[] = { 18 | 9, 10, 48, 62, 32, 28, 43, 81, 41, 73, 59, 0, 86, 13, 36, 20, 65, 16, 1, 75, 79, 90, 2, 74, 34, 68, 24, 85, 19 | }; 20 | static int quartic_curves_q9_make_element_size = 10; 21 | static int quartic_curves_q9_stab_gens_fst[] = { 22 | 0}; 23 | static int quartic_curves_q9_stab_gens_len[] = { 24 | 5}; 25 | static int quartic_curves_q9_stab_gens[] = { 26 | 2,0,0,0,2,0,0,0,1,1, 27 | 8,0,0,0,8,0,8,4,8,0, 28 | 4,0,0,5,2,0,4,0,1,0, 29 | 6,0,0,8,4,8,2,0,8,1, 30 | 0,1,0,1,0,0,2,1,1,1, 31 | }; 32 | --------------------------------------------------------------------------------