orbiter::layer4_classification::isomorph Class Reference

classification of combinatorial objects using subobjects More...

#include <isomorph.h>

Collaboration diagram for orbiter::layer4_classification::isomorph:

Public Member Functions
	isomorph ()
void	null ()
	~isomorph ()
void	free ()
void	null_tmp_data ()
void	allocate_tmp_data ()
void	free_tmp_data ()
void	init (std::string &prefix, actions::action *A_base, actions::action *A, poset_classification::poset_classification *gen, int size, int level, int f_use_database_for_starter, int f_implicit_fusion, int verbose_level)
void	init_solution (int verbose_level)
void	load_table_of_solutions (int verbose_level)
void	init_starter_number (int verbose_level)
void	list_solutions_by_starter ()
void	list_solutions_by_orbit ()
void	orbits_of_stabilizer (int verbose_level)
void	orbits_of_stabilizer_case (int the_case, data_structures_groups::vector_ge &gens, int verbose_level)
void	orbit_representative (int i, int &i0, int &orbit, int *transporter, int verbose_level)
void	test_orbit_representative (int verbose_level)
void	test_identify_solution (int verbose_level)
void	compute_stabilizer (groups::sims *&Stab, int verbose_level)
void	test_compute_stabilizer (int verbose_level)
void	test_memory ()
void	test_edges (int verbose_level)
int	test_edge (int n1, long int *subset1, int *transporter, int verbose_level)
void	read_data_files_for_starter (int level, std::string &prefix, int verbose_level)
void	compute_nb_starter (int level, int verbose_level)
void	print_node_local (int level, int node_local)
void	print_node_global (int level, int node_global)
void	test_hash (int verbose_level)
void	compute_Ago_Ago_induced (ring_theory::longinteger_object *&Ago, ring_theory::longinteger_object *&Ago_induced, int verbose_level)
void	init_high_level (actions::action *A, poset_classification::poset_classification *gen, int size, std::string &prefix_classify, std::string &prefix, int level, int verbose_level)
void	get_orbit_transversal (data_structures_groups::orbit_transversal *&T, int verbose_level)
void	iso_test_init (int verbose_level)
void	iso_test_init2 (int verbose_level)
void	probe (int flag_orbit, int subset_rk, int f_implicit_fusion, int verbose_level)
void	isomorph_testing (int t0, int f_play_back, std::string &play_back_file_name, int f_implicit_fusion, int print_mod, int verbose_level)
void	write_classification_matrix (int verbose_level)
void	write_classification_graph (int verbose_level)
void	decomposition_matrix (int verbose_level)
void	compute_down_link (int *&down_link, int verbose_level)
void	do_iso_test (int t0, groups::sims *&Stab, int f_play_back, std::ifstream *play_back_file, int &f_eof, int print_mod, int f_implicit_fusion, int verbose_level)
int	next_subset (int t0, int &f_continue, groups::sims *Stab, long int *data, int f_play_back, std::ifstream *play_back_file, int &f_eof, int verbose_level)
void	process_rearranged_set (groups::sims *Stab, long int *data, int f_implicit_fusion, int verbose_level)
int	is_minimal (int verbose_level)
void	stabilizer_action_exit ()
void	stabilizer_action_init (int verbose_level)
void	stabilizer_action_add_generator (int *Elt, int verbose_level)
void	print_statistics_iso_test (int t0, groups::sims *Stab)
int	identify (long int *set, int f_implicit_fusion, int verbose_level)
int	identify_database_is_open (long int *set, int f_implicit_fusion, int verbose_level)
void	induced_action_on_set_basic (groups::sims *S, long int *set, int verbose_level)
void	induced_action_on_set (groups::sims *S, long int *set, int verbose_level)
int	handle_automorphism (long int *set, groups::sims *Stab, int *Elt, int verbose_level)
void	setup_and_open_solution_database (int verbose_level)
void	setup_and_create_solution_database (int verbose_level)
void	close_solution_database (int verbose_level)
void	setup_and_open_level_database (int verbose_level)
void	close_level_database (int verbose_level)
void	prepare_database_access (int cur_level, int verbose_level)
void	init_DB_sol (int verbose_level)
void	add_solution_to_database (long int *data, int nb, int id, int no, int nb_solutions, int h, uint_4 &datref, int print_mod, int verbose_level)
void	load_solution (int id, long int *data)
void	load_solution_by_btree (int btree_idx, int idx, int &id, long int *data)
int	find_extension_easy (long int *set, int case_nb, int &idx, int verbose_level)
int	find_extension_search_interval (long int *set, int first, int len, int &idx, int f_btree_idx, int btree_idx, int f_through_hash, int verbose_level)
int	find_extension_easy_old (long int *set, int case_nb, int &idx, int verbose_level)
int	find_extension_easy_new (long int *set, int case_nb, int &idx, int verbose_level)
int	open_database_and_identify_object (long int *set, int *transporter, int f_implicit_fusion, int verbose_level)
void	init_DB_level (layer2_discreta::database &D, int level, int verbose_level)
void	create_level_database (int level, int verbose_level)
void	load_strong_generators (int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)
void	load_strong_generators_oracle (int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)
void	load_strong_generators_database (int cur_level, int cur_node_local, data_structures_groups::vector_ge &gens, ring_theory::longinteger_object &go, int verbose_level)
int	identify_solution_relaxed (long int *set, int *transporter, int f_implicit_fusion, int &orbit_no, int &f_failure_to_find_point, int verbose_level)
int	identify_solution (long int *set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
int	trace_set (long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
void	make_set_smaller (int case_nb_local, long int *set, int *transporter, int verbose_level)
int	trace_set_recursion (int cur_level, int cur_node_global, long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
int	trace_next_point (int cur_level, int cur_node_global, long int *canonical_set, int *transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
int	trace_next_point_database (int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int verbose_level)
int	handle_extension (int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
int	handle_extension_database (int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
int	handle_extension_oracle (int cur_level, int cur_node_global, long int *canonical_set, int *Elt_transporter, int f_implicit_fusion, int &f_failure_to_find_point, int verbose_level)
void	apply_isomorphism_database (int cur_level, int cur_node_global, int current_extension, long int *canonical_set, int *Elt_transporter, int ref, int verbose_level)
void	apply_isomorphism_oracle (int cur_level, int cur_node_global, int current_extension, long int *canonical_set, int *Elt_transporter, int verbose_level)
void	init_solutions (int **Solutions, int *Nb_sol, int verbose_level)
void	count_solutions_from_clique_finder_case_by_case (int nb_files, long int *list_of_cases, std::string *fname, int verbose_level)
void	count_solutions_from_clique_finder (int nb_files, std::string *fname, int verbose_level)
void	read_solutions_from_clique_finder_case_by_case (int nb_files, long int *list_of_cases, std::string *fname, int verbose_level)
void	read_solutions_from_clique_finder (int nb_files, std::string *fname, int verbose_level)
void	add_solutions_to_database (int *Solutions, int the_case, int nb_solutions, int nb_solutions_total, int print_mod, int &no, int verbose_level)
void	build_up_database (int nb_files, std::string *fname, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)
void	init_cases_from_file_modulus_and_build_up_database (int modulus, int level, int f_collated, int base_split, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)
void	init_cases_from_file_mixed_modulus_and_build_up_database (int nb_Mod, int *Mod_r, int *Mod_split, int *Mod_base_split, int level, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)
void	count_solutions (int nb_files, std::string *fname, int f_get_statistics, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)
void	get_statistics (int nb_files, std::string *fname, int verbose_level)
void	write_statistics ()
void	evaluate_statistics (int verbose_level)
void	count_solutions2 (int nb_files, std::string *fname, int &total_days, int &total_hours, int &total_minutes, int f_has_final_test_function, int(*final_test_function)(long int *data, int sz, void *final_test_data, int verbose_level), void *final_test_data, int verbose_level)
void	write_solution_first_and_len ()
void	read_solution_first_and_len ()
void	write_starter_nb_orbits (int verbose_level)
void	read_starter_nb_orbits (int verbose_level)
void	write_hash_and_datref_file (int verbose_level)
void	read_hash_and_datref_file (int verbose_level)
void	print_hash_vs_id ()
void	write_orbit_data (int verbose_level)
void	read_orbit_data (int verbose_level)
void	print_isomorphism_types (int f_select, int select_first, int select_len, int verbose_level)
void	induced_action_on_set_and_kernel (std::ostream &file, actions::action *A, groups::sims *Stab, int size, long int *set, int verbose_level)
void	handle_event_files (int nb_event_files, const char **event_file_name, int verbose_level)
void	read_event_file (const char *event_file_name, int verbose_level)
void	skip_through_event_file (std::ifstream &f, int verbose_level)
void	skip_through_event_file1 (std::ifstream &f, int case_no, int orbit_no, int verbose_level)
void	event_file_completed_cases (const char *event_file_name, int &nb_completed_cases, int *completed_cases, int verbose_level)
void	event_file_read_case (const char *event_file_name, int case_no, int verbose_level)
void	event_file_read_case1 (std::ifstream &f, int case_no, int verbose_level)
int	next_subset_play_back (int &subset_rank, std::ifstream *play_back_file, int &f_eof, int verbose_level)
void	read_everything_including_classification (std::string &prefix_classify, int verbose_level)

Public Attributes
int	size
int	level
int	f_use_database_for_starter
int	depth_completed
int	f_use_implicit_fusion
std::string	prefix
std::string	prefix_invariants
std::string	prefix_tex
std::string	fname_staborbits
std::string	fname_case_len
std::string	fname_statistics
std::string	fname_hash_and_datref
std::string	fname_db1
std::string	fname_db2
std::string	fname_db3
std::string	fname_db4
std::string	fname_db5
std::string	fname_db_level
std::string	fname_db_level_idx1
std::string	fname_db_level_idx2
std::string	fname_db_level_ge
std::string	event_out_fname
std::string	fname_orbits_of_stabilizer_csv
int	nb_starter
int	N
int *	solution_first
int *	solution_len
int *	starter_number
int *	stats_nb_backtrack
int *	stats_nb_backtrack_decision
int *	stats_graph_size
int *	stats_time
actions::action *	A_base
actions::action *	A
poset_classification::poset_classification *	gen
int	nb_orbits
int	orbit_no
int *	orbit_fst
int *	orbit_len
int *	orbit_number
int *	orbit_perm
int *	orbit_perm_inv
int *	schreier_vector
int *	schreier_prev
int *	flag_orbit_fst
int *	flag_orbit_len
representatives *	Reps
int	iso_nodes
int	nb_open
int	nb_reps
int	nb_fused
std::ofstream *	fp_event_out
actions::action *	AA
actions::action *	AA_perm
actions::action *	AA_on_k_subsets
data_structures_groups::union_find *	UF
data_structures_groups::vector_ge *	gens_perm
int	subset_rank
int *	subset
long int *	subset_witness
long int *	rearranged_set
long int *	rearranged_set_save
long int *	canonical_set
long int *	tmp_set
int *	Elt_transporter
int *	tmp_Elt
int *	Elt1
int *	transporter
int	cnt_minimal
int	NCK
ring_theory::longinteger_object	stabilizer_group_order
int	stabilizer_nb_generators
int **	stabilizer_generators
int *	stabilizer_orbit
int	nb_is_minimal_called
int	nb_is_minimal
int	nb_sets_reached
int	f_tmp_data_has_been_allocated
long int *	tmp_set1
long int *	tmp_set2
long int *	tmp_set3
int *	tmp_Elt1
int *	tmp_Elt2
int *	tmp_Elt3
long int *	trace_set_recursion_tmp_set1
int *	trace_set_recursion_Elt1
long int *	apply_fusion_tmp_set1
int *	apply_fusion_Elt1
long int *	find_extension_set1
long int *	make_set_smaller_set
int *	make_set_smaller_Elt1
int *	make_set_smaller_Elt2
int *	orbit_representative_Elt1
int *	orbit_representative_Elt2
int *	handle_automorphism_Elt1
database *	D1
database *	D2
std::string	fname_ge1
std::string	fname_ge2
std::ifstream *	fp_ge1
std::ifstream *	fp_ge2
Vector *	v
database *	DB_sol
int *	id_to_datref
int *	id_to_hash
int *	hash_vs_id_hash
int *	hash_vs_id_id
int	f_use_table_of_solutions
long int *	table_of_solutions
database *	DB_level
std::ifstream *	fp_ge
groups::sims *	stabilizer_recreated
void(*	print_set_function )(isomorph *Iso, int iso_cnt, groups::sims *Stab, groups::schreier &Orb, long int *data, void *print_set_data, int verbose_level)
void *	print_set_data
int	nb_times_make_set_smaller_called

Detailed Description

classification of combinatorial objects using subobjects

Definition at line 30 of file isomorph.h.

Constructor & Destructor Documentation

isomorph()

orbiter::layer4_classification::isomorph::isomorph

(

)

Definition at line 23 of file isomorph.cpp.

~isomorph()

orbiter::layer4_classification::isomorph::~isomorph

(

)

Definition at line 90 of file isomorph.cpp.

Member Function Documentation

add_solution_to_database()

void orbiter::layer4_classification::isomorph::add_solution_to_database	(	long int *	data,
		int	nb,
		int	id,
		int	no,
		int	nb_solutions,
		int	h,
		uint_4 &	datref,
		int	print_mod,
		int	verbose_level
	)

Definition at line 218 of file isomorph_database.cpp.

add_solutions_to_database()

void orbiter::layer4_classification::isomorph::add_solutions_to_database	(	int *	Solutions,
		int	the_case,
		int	nb_solutions,
		int	nb_solutions_total,
		int	print_mod,
		int &	no,
		int	verbose_level
	)

Definition at line 509 of file isomorph_files.cpp.

allocate_tmp_data()

void orbiter::layer4_classification::isomorph::allocate_tmp_data

(

)

Definition at line 215 of file isomorph.cpp.

apply_isomorphism_database()

void orbiter::layer4_classification::isomorph::apply_isomorphism_database	(	int	cur_level,
		int	cur_node_global,
		int	current_extension,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	ref,
		int	verbose_level
	)

Definition at line 1395 of file isomorph_trace.cpp.

apply_isomorphism_oracle()

void orbiter::layer4_classification::isomorph::apply_isomorphism_oracle	(	int	cur_level,
		int	cur_node_global,
		int	current_extension,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	verbose_level
	)

Definition at line 1431 of file isomorph_trace.cpp.

build_up_database()

void orbiter::layer4_classification::isomorph::build_up_database	(	int	nb_files,
		std::string *	fname,
		int	f_has_final_test_function,
		int(*)(long int *data, int sz, void *final_test_data, int verbose_level)	final_test_function,
		void *	final_test_data,
		int	verbose_level
	)

Definition at line 567 of file isomorph_files.cpp.

close_level_database()

void orbiter::layer4_classification::isomorph::close_level_database

(

int

verbose_level

)

Definition at line 105 of file isomorph_database.cpp.

close_solution_database()

void orbiter::layer4_classification::isomorph::close_solution_database

(

int

verbose_level

)

Definition at line 60 of file isomorph_database.cpp.

compute_Ago_Ago_induced()

void orbiter::layer4_classification::isomorph::compute_Ago_Ago_induced	(	ring_theory::longinteger_object *&	Ago,
		ring_theory::longinteger_object *&	Ago_induced,
		int	verbose_level
	)

Definition at line 1642 of file isomorph.cpp.

compute_down_link()

void orbiter::layer4_classification::isomorph::compute_down_link	(	int *&	down_link,
		int	verbose_level
	)

Definition at line 518 of file isomorph_testing.cpp.

compute_nb_starter()

void orbiter::layer4_classification::isomorph::compute_nb_starter	(	int	level,
		int	verbose_level
	)

Definition at line 1572 of file isomorph.cpp.

compute_stabilizer()

void orbiter::layer4_classification::isomorph::compute_stabilizer	(	groups::sims *&	Stab,
		int	verbose_level
	)

Definition at line 1172 of file isomorph.cpp.

count_solutions()

void orbiter::layer4_classification::isomorph::count_solutions	(	int	nb_files,
		std::string *	fname,
		int	f_get_statistics,
		int	f_has_final_test_function,
		int(*)(long int *data, int sz, void *final_test_data, int verbose_level)	final_test_function,
		void *	final_test_data,
		int	verbose_level
	)

Definition at line 908 of file isomorph_files.cpp.

count_solutions2()

void orbiter::layer4_classification::isomorph::count_solutions2	(	int	nb_files,
		std::string *	fname,
		int &	total_days,
		int &	total_hours,
		int &	total_minutes,
		int	f_has_final_test_function,
		int(*)(long int *data, int sz, void *final_test_data, int verbose_level)	final_test_function,
		void *	final_test_data,
		int	verbose_level
	)

Definition at line 1156 of file isomorph_files.cpp.

count_solutions_from_clique_finder()

void orbiter::layer4_classification::isomorph::count_solutions_from_clique_finder	(	int	nb_files,
		std::string *	fname,
		int	verbose_level
	)

Definition at line 199 of file isomorph_files.cpp.

count_solutions_from_clique_finder_case_by_case()

void orbiter::layer4_classification::isomorph::count_solutions_from_clique_finder_case_by_case	(	int	nb_files,
		long int *	list_of_cases,
		std::string *	fname,
		int	verbose_level
	)

Definition at line 127 of file isomorph_files.cpp.

create_level_database()

void orbiter::layer4_classification::isomorph::create_level_database	(	int	level,
		int	verbose_level
	)

Definition at line 617 of file isomorph_database.cpp.

decomposition_matrix()

void orbiter::layer4_classification::isomorph::decomposition_matrix

(

int

verbose_level

)

Definition at line 470 of file isomorph_testing.cpp.

do_iso_test()

void orbiter::layer4_classification::isomorph::do_iso_test	(	int	t0,
		groups::sims *&	Stab,
		int	f_play_back,
		std::ifstream *	play_back_file,
		int &	f_eof,
		int	print_mod,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 564 of file isomorph_testing.cpp.

evaluate_statistics()

void orbiter::layer4_classification::isomorph::evaluate_statistics

(

int

verbose_level

)

Definition at line 1089 of file isomorph_files.cpp.

event_file_completed_cases()

void orbiter::layer4_classification::isomorph::event_file_completed_cases	(	const char *	event_file_name,
		int &	nb_completed_cases,
		int *	completed_cases,
		int	verbose_level
	)

Definition at line 2076 of file isomorph_files.cpp.

event_file_read_case()

void orbiter::layer4_classification::isomorph::event_file_read_case	(	const char *	event_file_name,
		int	case_no,
		int	verbose_level
	)

Definition at line 2118 of file isomorph_files.cpp.

event_file_read_case1()

void orbiter::layer4_classification::isomorph::event_file_read_case1	(	std::ifstream &	f,
		int	case_no,
		int	verbose_level
	)

Definition at line 2164 of file isomorph_files.cpp.

find_extension_easy()

int orbiter::layer4_classification::isomorph::find_extension_easy	(	long int *	set,
		int	case_nb,
		int &	idx,
		int	verbose_level
	)

Definition at line 288 of file isomorph_database.cpp.

find_extension_easy_new()

int orbiter::layer4_classification::isomorph::find_extension_easy_new	(	long int *	set,
		int	case_nb,
		int &	idx,
		int	verbose_level
	)

Definition at line 404 of file isomorph_database.cpp.

find_extension_easy_old()

int orbiter::layer4_classification::isomorph::find_extension_easy_old	(	long int *	set,
		int	case_nb,
		int &	idx,
		int	verbose_level
	)

Definition at line 375 of file isomorph_database.cpp.

find_extension_search_interval()

int orbiter::layer4_classification::isomorph::find_extension_search_interval	(	long int *	set,
		int	first,
		int	len,
		int &	idx,
		int	f_btree_idx,
		int	btree_idx,
		int	f_through_hash,
		int	verbose_level
	)

Definition at line 338 of file isomorph_database.cpp.

free()

void orbiter::layer4_classification::isomorph::free

(

)

Definition at line 96 of file isomorph.cpp.

free_tmp_data()

void orbiter::layer4_classification::isomorph::free_tmp_data

(

)

Definition at line 247 of file isomorph.cpp.

get_orbit_transversal()

void orbiter::layer4_classification::isomorph::get_orbit_transversal	(	data_structures_groups::orbit_transversal *&	T,
		int	verbose_level
	)

Definition at line 1798 of file isomorph.cpp.

get_statistics()

void orbiter::layer4_classification::isomorph::get_statistics	(	int	nb_files,
		std::string *	fname,
		int	verbose_level
	)

Definition at line 997 of file isomorph_files.cpp.

handle_automorphism()

int orbiter::layer4_classification::isomorph::handle_automorphism	(	long int *	set,
		groups::sims *	Stab,
		int *	Elt,
		int	verbose_level
	)

Definition at line 1593 of file isomorph_testing.cpp.

handle_event_files()

void orbiter::layer4_classification::isomorph::handle_event_files	(	int	nb_event_files,
		const char **	event_file_name,
		int	verbose_level
	)

Definition at line 1883 of file isomorph_files.cpp.

handle_extension()

int orbiter::layer4_classification::isomorph::handle_extension	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 967 of file isomorph_trace.cpp.

handle_extension_database()

int orbiter::layer4_classification::isomorph::handle_extension_database	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 1025 of file isomorph_trace.cpp.

handle_extension_oracle()

int orbiter::layer4_classification::isomorph::handle_extension_oracle	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 1201 of file isomorph_trace.cpp.

identify()

int orbiter::layer4_classification::isomorph::identify	(	long int *	set,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 1211 of file isomorph_testing.cpp.

identify_database_is_open()

int orbiter::layer4_classification::isomorph::identify_database_is_open	(	long int *	set,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 1237 of file isomorph_testing.cpp.

identify_solution()

int orbiter::layer4_classification::isomorph::identify_solution	(	long int *	set,
		int *	transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 174 of file isomorph_trace.cpp.

identify_solution_relaxed()

int orbiter::layer4_classification::isomorph::identify_solution_relaxed	(	long int *	set,
		int *	transporter,
		int	f_implicit_fusion,
		int &	orbit_no,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 20 of file isomorph_trace.cpp.

induced_action_on_set()

void orbiter::layer4_classification::isomorph::induced_action_on_set	(	groups::sims *	S,
		long int *	set,
		int	verbose_level
	)

Definition at line 1401 of file isomorph_testing.cpp.

induced_action_on_set_and_kernel()

void orbiter::layer4_classification::isomorph::induced_action_on_set_and_kernel	(	std::ostream &	file,
		actions::action *	A,
		groups::sims *	Stab,
		int	size,
		long int *	set,
		int	verbose_level
	)

Definition at line 1721 of file isomorph_files.cpp.

induced_action_on_set_basic()

void orbiter::layer4_classification::isomorph::induced_action_on_set_basic	(	groups::sims *	S,
		long int *	set,
		int	verbose_level
	)

Definition at line 1357 of file isomorph_testing.cpp.

init()

void orbiter::layer4_classification::isomorph::init	(	std::string &	prefix,
		actions::action *	A_base,
		actions::action *	A,
		poset_classification::poset_classification *	gen,
		int	size,
		int	level,
		int	f_use_database_for_starter,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 280 of file isomorph.cpp.

init_cases_from_file_mixed_modulus_and_build_up_database()

void orbiter::layer4_classification::isomorph::init_cases_from_file_mixed_modulus_and_build_up_database	(	int	nb_Mod,
		int *	Mod_r,
		int *	Mod_split,
		int *	Mod_base_split,
		int	level,
		int	f_get_statistics,
		int	f_has_final_test_function,
		int(*)(long int *data, int sz, void *final_test_data, int verbose_level)	final_test_function,
		void *	final_test_data,
		int	verbose_level
	)

Definition at line 818 of file isomorph_files.cpp.

init_cases_from_file_modulus_and_build_up_database()

void orbiter::layer4_classification::isomorph::init_cases_from_file_modulus_and_build_up_database	(	int	modulus,
		int	level,
		int	f_collated,
		int	base_split,
		int	f_get_statistics,
		int	f_has_final_test_function,
		int(*)(long int *data, int sz, void *final_test_data, int verbose_level)	final_test_function,
		void *	final_test_data,
		int	verbose_level
	)

Definition at line 750 of file isomorph_files.cpp.

init_DB_level()

void orbiter::layer4_classification::isomorph::init_DB_level	(	layer2_discreta::database &	D,
		int	level,
		int	verbose_level
	)

Definition at line 563 of file isomorph_database.cpp.

init_DB_sol()

void orbiter::layer4_classification::isomorph::init_DB_sol

(

int

verbose_level

)

Definition at line 157 of file isomorph_database.cpp.

init_high_level()

void orbiter::layer4_classification::isomorph::init_high_level	(	actions::action *	A,
		poset_classification::poset_classification *	gen,
		int	size,
		std::string &	prefix_classify,
		std::string &	prefix,
		int	level,
		int	verbose_level
	)

Definition at line 1692 of file isomorph.cpp.

init_solution()

void orbiter::layer4_classification::isomorph::init_solution

(

int

verbose_level

)

Definition at line 418 of file isomorph.cpp.

init_solutions()

void orbiter::layer4_classification::isomorph::init_solutions	(	int **	Solutions,
		int *	Nb_sol,
		int	verbose_level
	)

Definition at line 26 of file isomorph_files.cpp.

init_starter_number()

void orbiter::layer4_classification::isomorph::init_starter_number

(

int

verbose_level

)

Definition at line 462 of file isomorph.cpp.

is_minimal()

int orbiter::layer4_classification::isomorph::is_minimal

(

int

verbose_level

)

Definition at line 1017 of file isomorph_testing.cpp.

iso_test_init()

void orbiter::layer4_classification::isomorph::iso_test_init

(

int

verbose_level

)

Definition at line 22 of file isomorph_testing.cpp.

iso_test_init2()

void orbiter::layer4_classification::isomorph::iso_test_init2

(

int

verbose_level

)

Definition at line 42 of file isomorph_testing.cpp.

isomorph_testing()

void orbiter::layer4_classification::isomorph::isomorph_testing	(	int	t0,
		int	f_play_back,
		std::string &	play_back_file_name,
		int	f_implicit_fusion,
		int	print_mod,
		int	verbose_level
	)

Definition at line 185 of file isomorph_testing.cpp.

list_solutions_by_orbit()

void orbiter::layer4_classification::isomorph::list_solutions_by_orbit

(

)

Definition at line 531 of file isomorph.cpp.

list_solutions_by_starter()

void orbiter::layer4_classification::isomorph::list_solutions_by_starter

(

)

Definition at line 486 of file isomorph.cpp.

load_solution()

void orbiter::layer4_classification::isomorph::load_solution	(	int	id,
		long int *	data
	)

Definition at line 247 of file isomorph_database.cpp.

load_solution_by_btree()

void orbiter::layer4_classification::isomorph::load_solution_by_btree	(	int	btree_idx,
		int	idx,
		int &	id,
		long int *	data
	)

Definition at line 269 of file isomorph_database.cpp.

load_strong_generators()

void orbiter::layer4_classification::isomorph::load_strong_generators	(	int	cur_level,
		int	cur_node_local,
		data_structures_groups::vector_ge &	gens,
		ring_theory::longinteger_object &	go,
		int	verbose_level
	)

Definition at line 866 of file isomorph_database.cpp.

load_strong_generators_database()

void orbiter::layer4_classification::isomorph::load_strong_generators_database	(	int	cur_level,
		int	cur_node_local,
		data_structures_groups::vector_ge &	gens,
		ring_theory::longinteger_object &	go,
		int	verbose_level
	)

Definition at line 964 of file isomorph_database.cpp.

load_strong_generators_oracle()

void orbiter::layer4_classification::isomorph::load_strong_generators_oracle	(	int	cur_level,
		int	cur_node_local,
		data_structures_groups::vector_ge &	gens,
		ring_theory::longinteger_object &	go,
		int	verbose_level
	)

Definition at line 901 of file isomorph_database.cpp.

load_table_of_solutions()

void orbiter::layer4_classification::isomorph::load_table_of_solutions

(

int

verbose_level

)

Definition at line 433 of file isomorph.cpp.

make_set_smaller()

void orbiter::layer4_classification::isomorph::make_set_smaller	(	int	case_nb_local,
		long int *	set,
		int *	transporter,
		int	verbose_level
	)

Definition at line 386 of file isomorph_trace.cpp.

next_subset()

int orbiter::layer4_classification::isomorph::next_subset	(	int	t0,
		int &	f_continue,
		groups::sims *	Stab,
		long int *	data,
		int	f_play_back,
		std::ifstream *	play_back_file,
		int &	f_eof,
		int	verbose_level
	)

Definition at line 724 of file isomorph_testing.cpp.

next_subset_play_back()

int orbiter::layer4_classification::isomorph::next_subset_play_back	(	int &	subset_rank,
		std::ifstream *	play_back_file,
		int &	f_eof,
		int	verbose_level
	)

Definition at line 2230 of file isomorph_files.cpp.

null()

void orbiter::layer4_classification::isomorph::null

(

)

Definition at line 28 of file isomorph.cpp.

null_tmp_data()

void orbiter::layer4_classification::isomorph::null_tmp_data

(

)

Definition at line 192 of file isomorph.cpp.

open_database_and_identify_object()

int orbiter::layer4_classification::isomorph::open_database_and_identify_object	(	long int *	set,
		int *	transporter,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 521 of file isomorph_database.cpp.

orbit_representative()

void orbiter::layer4_classification::isomorph::orbit_representative	(	int	i,
		int &	i0,
		int &	orbit,
		int *	transporter,
		int	verbose_level
	)

Definition at line 1006 of file isomorph.cpp.

orbits_of_stabilizer()

void orbiter::layer4_classification::isomorph::orbits_of_stabilizer

(

int

verbose_level

)

Definition at line 565 of file isomorph.cpp.

orbits_of_stabilizer_case()

void orbiter::layer4_classification::isomorph::orbits_of_stabilizer_case	(	int	the_case,
		data_structures_groups::vector_ge &	gens,
		int	verbose_level
	)

Definition at line 813 of file isomorph.cpp.

prepare_database_access()

void orbiter::layer4_classification::isomorph::prepare_database_access	(	int	cur_level,
		int	verbose_level
	)

Definition at line 127 of file isomorph_database.cpp.

print_hash_vs_id()

void orbiter::layer4_classification::isomorph::print_hash_vs_id

(

)

Definition at line 1506 of file isomorph_files.cpp.

print_isomorphism_types()

void orbiter::layer4_classification::isomorph::print_isomorphism_types	(	int	f_select,
		int	select_first,
		int	select_len,
		int	verbose_level
	)

Definition at line 1612 of file isomorph_files.cpp.

print_node_global()

void orbiter::layer4_classification::isomorph::print_node_global	(	int	level,
		int	node_global
	)

Definition at line 1592 of file isomorph.cpp.

print_node_local()

void orbiter::layer4_classification::isomorph::print_node_local	(	int	level,
		int	node_local
	)

Definition at line 1584 of file isomorph.cpp.

print_statistics_iso_test()

void orbiter::layer4_classification::isomorph::print_statistics_iso_test	(	int	t0,
		groups::sims *	Stab
	)

Definition at line 1158 of file isomorph_testing.cpp.

probe()

void orbiter::layer4_classification::isomorph::probe	(	int	flag_orbit,
		int	subset_rk,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 79 of file isomorph_testing.cpp.

process_rearranged_set()

void orbiter::layer4_classification::isomorph::process_rearranged_set	(	groups::sims *	Stab,
		long int *	data,
		int	f_implicit_fusion,
		int	verbose_level
	)

Definition at line 811 of file isomorph_testing.cpp.

read_data_files_for_starter()

void orbiter::layer4_classification::isomorph::read_data_files_for_starter	(	int	level,
		std::string &	prefix,
		int	verbose_level
	)

Definition at line 1514 of file isomorph.cpp.

read_event_file()

void orbiter::layer4_classification::isomorph::read_event_file	(	const char *	event_file_name,
		int	verbose_level
	)

Definition at line 1898 of file isomorph_files.cpp.

read_everything_including_classification()

void orbiter::layer4_classification::isomorph::read_everything_including_classification	(	std::string &	prefix_classify,
		int	verbose_level
	)

Definition at line 2311 of file isomorph_files.cpp.

read_hash_and_datref_file()

void orbiter::layer4_classification::isomorph::read_hash_and_datref_file

(

int

verbose_level

)

Definition at line 1447 of file isomorph_files.cpp.

read_orbit_data()

void orbiter::layer4_classification::isomorph::read_orbit_data

(

int

verbose_level

)

Definition at line 1554 of file isomorph_files.cpp.

read_solution_first_and_len()

void orbiter::layer4_classification::isomorph::read_solution_first_and_len

(

)

Definition at line 1313 of file isomorph_files.cpp.

read_solutions_from_clique_finder()

void orbiter::layer4_classification::isomorph::read_solutions_from_clique_finder	(	int	nb_files,
		std::string *	fname,
		int	verbose_level
	)

Definition at line 375 of file isomorph_files.cpp.

read_solutions_from_clique_finder_case_by_case()

void orbiter::layer4_classification::isomorph::read_solutions_from_clique_finder_case_by_case	(	int	nb_files,
		long int *	list_of_cases,
		std::string *	fname,
		int	verbose_level
	)

Definition at line 278 of file isomorph_files.cpp.

read_starter_nb_orbits()

void orbiter::layer4_classification::isomorph::read_starter_nb_orbits

(

int

verbose_level

)

Definition at line 1370 of file isomorph_files.cpp.

setup_and_create_solution_database()

void orbiter::layer4_classification::isomorph::setup_and_create_solution_database

(

int

verbose_level

)

Definition at line 41 of file isomorph_database.cpp.

setup_and_open_level_database()

void orbiter::layer4_classification::isomorph::setup_and_open_level_database

(

int

verbose_level

)

Definition at line 65 of file isomorph_database.cpp.

setup_and_open_solution_database()

void orbiter::layer4_classification::isomorph::setup_and_open_solution_database

(

int

verbose_level

)

Definition at line 22 of file isomorph_database.cpp.

skip_through_event_file()

void orbiter::layer4_classification::isomorph::skip_through_event_file	(	std::ifstream &	f,
		int	verbose_level
	)

Definition at line 1921 of file isomorph_files.cpp.

skip_through_event_file1()

void orbiter::layer4_classification::isomorph::skip_through_event_file1	(	std::ifstream &	f,
		int	case_no,
		int	orbit_no,
		int	verbose_level
	)

Definition at line 1977 of file isomorph_files.cpp.

stabilizer_action_add_generator()

void orbiter::layer4_classification::isomorph::stabilizer_action_add_generator	(	int *	Elt,
		int	verbose_level
	)

Definition at line 1092 of file isomorph_testing.cpp.

stabilizer_action_exit()

void orbiter::layer4_classification::isomorph::stabilizer_action_exit

(

)

Definition at line 1033 of file isomorph_testing.cpp.

stabilizer_action_init()

void orbiter::layer4_classification::isomorph::stabilizer_action_init

(

int

verbose_level

)

Definition at line 1048 of file isomorph_testing.cpp.

test_compute_stabilizer()

void orbiter::layer4_classification::isomorph::test_compute_stabilizer

(

int

verbose_level

)

Definition at line 1338 of file isomorph.cpp.

test_edge()

int orbiter::layer4_classification::isomorph::test_edge	(	int	n1,
		long int *	subset1,
		int *	transporter,
		int	verbose_level
	)

Definition at line 1460 of file isomorph.cpp.

test_edges()

void orbiter::layer4_classification::isomorph::test_edges

(

int

verbose_level

)

Definition at line 1394 of file isomorph.cpp.

test_hash()

void orbiter::layer4_classification::isomorph::test_hash

(

int

verbose_level

)

Definition at line 1600 of file isomorph.cpp.

test_identify_solution()

void orbiter::layer4_classification::isomorph::test_identify_solution

(

int

verbose_level

)

Definition at line 1112 of file isomorph.cpp.

test_memory()

void orbiter::layer4_classification::isomorph::test_memory

(

)

Definition at line 1366 of file isomorph.cpp.

test_orbit_representative()

void orbiter::layer4_classification::isomorph::test_orbit_representative

(

int

verbose_level

)

Definition at line 1074 of file isomorph.cpp.

trace_next_point()

int orbiter::layer4_classification::isomorph::trace_next_point	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 689 of file isomorph_trace.cpp.

trace_next_point_database()

int orbiter::layer4_classification::isomorph::trace_next_point_database	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	Elt_transporter,
		int	verbose_level
	)

Definition at line 787 of file isomorph_trace.cpp.

trace_set()

int orbiter::layer4_classification::isomorph::trace_set	(	long int *	canonical_set,
		int *	transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 326 of file isomorph_trace.cpp.

trace_set_recursion()

int orbiter::layer4_classification::isomorph::trace_set_recursion	(	int	cur_level,
		int	cur_node_global,
		long int *	canonical_set,
		int *	transporter,
		int	f_implicit_fusion,
		int &	f_failure_to_find_point,
		int	verbose_level
	)

Definition at line 524 of file isomorph_trace.cpp.

write_classification_graph()

void orbiter::layer4_classification::isomorph::write_classification_graph

(

int

verbose_level

)

Definition at line 362 of file isomorph_testing.cpp.

write_classification_matrix()

void orbiter::layer4_classification::isomorph::write_classification_matrix

(

int

verbose_level

)

Definition at line 302 of file isomorph_testing.cpp.

write_hash_and_datref_file()

void orbiter::layer4_classification::isomorph::write_hash_and_datref_file

(

int

verbose_level

)

Definition at line 1417 of file isomorph_files.cpp.

write_orbit_data()

void orbiter::layer4_classification::isomorph::write_orbit_data

(

int

verbose_level

)

Definition at line 1518 of file isomorph_files.cpp.

write_solution_first_and_len()

void orbiter::layer4_classification::isomorph::write_solution_first_and_len

(

)

Definition at line 1300 of file isomorph_files.cpp.

write_starter_nb_orbits()

void orbiter::layer4_classification::isomorph::write_starter_nb_orbits

(

int

verbose_level

)

Definition at line 1348 of file isomorph_files.cpp.

write_statistics()

void orbiter::layer4_classification::isomorph::write_statistics

(

)

Definition at line 1067 of file isomorph_files.cpp.

Member Data Documentation

A

actions::action* orbiter::layer4_classification::isomorph::A

Definition at line 117 of file isomorph.h.

A_base

actions::action* orbiter::layer4_classification::isomorph::A_base

Definition at line 113 of file isomorph.h.

AA

actions::action* orbiter::layer4_classification::isomorph::AA

Definition at line 218 of file isomorph.h.

AA_on_k_subsets

actions::action* orbiter::layer4_classification::isomorph::AA_on_k_subsets

Definition at line 220 of file isomorph.h.

AA_perm

actions::action* orbiter::layer4_classification::isomorph::AA_perm

Definition at line 219 of file isomorph.h.

apply_fusion_Elt1

int* orbiter::layer4_classification::isomorph::apply_fusion_Elt1

Definition at line 261 of file isomorph.h.

apply_fusion_tmp_set1

long int* orbiter::layer4_classification::isomorph::apply_fusion_tmp_set1

Definition at line 260 of file isomorph.h.

canonical_set

long int* orbiter::layer4_classification::isomorph::canonical_set

Definition at line 229 of file isomorph.h.

cnt_minimal

int orbiter::layer4_classification::isomorph::cnt_minimal

Definition at line 233 of file isomorph.h.

D1

database* orbiter::layer4_classification::isomorph::D1

Definition at line 276 of file isomorph.h.

D2

database * orbiter::layer4_classification::isomorph::D2

Definition at line 276 of file isomorph.h.

DB_level

database* orbiter::layer4_classification::isomorph::DB_level

Definition at line 292 of file isomorph.h.

DB_sol

database* orbiter::layer4_classification::isomorph::DB_sol

Definition at line 283 of file isomorph.h.

depth_completed

int orbiter::layer4_classification::isomorph::depth_completed

Definition at line 35 of file isomorph.h.

Elt1

int * orbiter::layer4_classification::isomorph::Elt1

Definition at line 231 of file isomorph.h.

Elt_transporter

int* orbiter::layer4_classification::isomorph::Elt_transporter

Definition at line 231 of file isomorph.h.

event_out_fname

std::string orbiter::layer4_classification::isomorph::event_out_fname

Definition at line 58 of file isomorph.h.

f_tmp_data_has_been_allocated

int orbiter::layer4_classification::isomorph::f_tmp_data_has_been_allocated

Definition at line 249 of file isomorph.h.

f_use_database_for_starter

int orbiter::layer4_classification::isomorph::f_use_database_for_starter

Definition at line 34 of file isomorph.h.

f_use_implicit_fusion

int orbiter::layer4_classification::isomorph::f_use_implicit_fusion

Definition at line 36 of file isomorph.h.

f_use_table_of_solutions

int orbiter::layer4_classification::isomorph::f_use_table_of_solutions

Definition at line 288 of file isomorph.h.

find_extension_set1

long int* orbiter::layer4_classification::isomorph::find_extension_set1

Definition at line 263 of file isomorph.h.

flag_orbit_fst

int* orbiter::layer4_classification::isomorph::flag_orbit_fst

Definition at line 193 of file isomorph.h.

flag_orbit_len

int* orbiter::layer4_classification::isomorph::flag_orbit_len

Definition at line 197 of file isomorph.h.

fname_case_len

std::string orbiter::layer4_classification::isomorph::fname_case_len

Definition at line 44 of file isomorph.h.

fname_db1

std::string orbiter::layer4_classification::isomorph::fname_db1

Definition at line 47 of file isomorph.h.

fname_db2

std::string orbiter::layer4_classification::isomorph::fname_db2

Definition at line 48 of file isomorph.h.

fname_db3

std::string orbiter::layer4_classification::isomorph::fname_db3

Definition at line 49 of file isomorph.h.

fname_db4

std::string orbiter::layer4_classification::isomorph::fname_db4

Definition at line 50 of file isomorph.h.

fname_db5

std::string orbiter::layer4_classification::isomorph::fname_db5

Definition at line 51 of file isomorph.h.

fname_db_level

std::string orbiter::layer4_classification::isomorph::fname_db_level

Definition at line 53 of file isomorph.h.

fname_db_level_ge

std::string orbiter::layer4_classification::isomorph::fname_db_level_ge

Definition at line 56 of file isomorph.h.

fname_db_level_idx1

std::string orbiter::layer4_classification::isomorph::fname_db_level_idx1

Definition at line 54 of file isomorph.h.

fname_db_level_idx2

std::string orbiter::layer4_classification::isomorph::fname_db_level_idx2

Definition at line 55 of file isomorph.h.

fname_ge1

std::string orbiter::layer4_classification::isomorph::fname_ge1

Definition at line 277 of file isomorph.h.

fname_ge2

std::string orbiter::layer4_classification::isomorph::fname_ge2

Definition at line 278 of file isomorph.h.

fname_hash_and_datref

std::string orbiter::layer4_classification::isomorph::fname_hash_and_datref

Definition at line 46 of file isomorph.h.

fname_orbits_of_stabilizer_csv

std::string orbiter::layer4_classification::isomorph::fname_orbits_of_stabilizer_csv

Definition at line 59 of file isomorph.h.

fname_staborbits

std::string orbiter::layer4_classification::isomorph::fname_staborbits

Definition at line 43 of file isomorph.h.

fname_statistics

std::string orbiter::layer4_classification::isomorph::fname_statistics

Definition at line 45 of file isomorph.h.

fp_event_out

std::ofstream* orbiter::layer4_classification::isomorph::fp_event_out

Definition at line 216 of file isomorph.h.

fp_ge

std::ifstream* orbiter::layer4_classification::isomorph::fp_ge

Definition at line 294 of file isomorph.h.

fp_ge1

std::ifstream* orbiter::layer4_classification::isomorph::fp_ge1

Definition at line 280 of file isomorph.h.

fp_ge2

std::ifstream* orbiter::layer4_classification::isomorph::fp_ge2

Definition at line 281 of file isomorph.h.

gen

poset_classification::poset_classification* orbiter::layer4_classification::isomorph::gen

Definition at line 122 of file isomorph.h.

gens_perm

data_structures_groups::vector_ge* orbiter::layer4_classification::isomorph::gens_perm

Definition at line 222 of file isomorph.h.

handle_automorphism_Elt1

int* orbiter::layer4_classification::isomorph::handle_automorphism_Elt1

Definition at line 272 of file isomorph.h.

hash_vs_id_hash

int* orbiter::layer4_classification::isomorph::hash_vs_id_hash

Definition at line 286 of file isomorph.h.

hash_vs_id_id

int* orbiter::layer4_classification::isomorph::hash_vs_id_id

Definition at line 287 of file isomorph.h.

id_to_datref

int* orbiter::layer4_classification::isomorph::id_to_datref

Definition at line 284 of file isomorph.h.

id_to_hash

int* orbiter::layer4_classification::isomorph::id_to_hash

Definition at line 285 of file isomorph.h.

iso_nodes

int orbiter::layer4_classification::isomorph::iso_nodes

Definition at line 206 of file isomorph.h.

level

int orbiter::layer4_classification::isomorph::level

Definition at line 33 of file isomorph.h.

make_set_smaller_Elt1

int* orbiter::layer4_classification::isomorph::make_set_smaller_Elt1

Definition at line 266 of file isomorph.h.

make_set_smaller_Elt2

int* orbiter::layer4_classification::isomorph::make_set_smaller_Elt2

Definition at line 267 of file isomorph.h.

make_set_smaller_set

long int* orbiter::layer4_classification::isomorph::make_set_smaller_set

Definition at line 265 of file isomorph.h.

N

int orbiter::layer4_classification::isomorph::N

Definition at line 65 of file isomorph.h.

nb_fused

int orbiter::layer4_classification::isomorph::nb_fused

Definition at line 211 of file isomorph.h.

nb_is_minimal

int orbiter::layer4_classification::isomorph::nb_is_minimal

Definition at line 244 of file isomorph.h.

nb_is_minimal_called

int orbiter::layer4_classification::isomorph::nb_is_minimal_called

Definition at line 243 of file isomorph.h.

nb_open

int orbiter::layer4_classification::isomorph::nb_open

Definition at line 211 of file isomorph.h.

nb_orbits

int orbiter::layer4_classification::isomorph::nb_orbits

Definition at line 127 of file isomorph.h.

nb_reps

int orbiter::layer4_classification::isomorph::nb_reps

Definition at line 211 of file isomorph.h.

nb_sets_reached

int orbiter::layer4_classification::isomorph::nb_sets_reached

Definition at line 245 of file isomorph.h.

nb_starter

int orbiter::layer4_classification::isomorph::nb_starter

Definition at line 61 of file isomorph.h.

nb_times_make_set_smaller_called

int orbiter::layer4_classification::isomorph::nb_times_make_set_smaller_called

Definition at line 306 of file isomorph.h.

NCK

int orbiter::layer4_classification::isomorph::NCK

Definition at line 234 of file isomorph.h.

orbit_fst

int* orbiter::layer4_classification::isomorph::orbit_fst

Definition at line 146 of file isomorph.h.

orbit_len

int* orbiter::layer4_classification::isomorph::orbit_len

Definition at line 153 of file isomorph.h.

orbit_no

int orbiter::layer4_classification::isomorph::orbit_no

Definition at line 140 of file isomorph.h.

orbit_number

int* orbiter::layer4_classification::isomorph::orbit_number

Definition at line 159 of file isomorph.h.

orbit_perm

int* orbiter::layer4_classification::isomorph::orbit_perm

Definition at line 167 of file isomorph.h.

orbit_perm_inv

int* orbiter::layer4_classification::isomorph::orbit_perm_inv

Definition at line 176 of file isomorph.h.

orbit_representative_Elt1

int* orbiter::layer4_classification::isomorph::orbit_representative_Elt1

Definition at line 269 of file isomorph.h.

orbit_representative_Elt2

int* orbiter::layer4_classification::isomorph::orbit_representative_Elt2

Definition at line 270 of file isomorph.h.

prefix

std::string orbiter::layer4_classification::isomorph::prefix

Definition at line 39 of file isomorph.h.

prefix_invariants

std::string orbiter::layer4_classification::isomorph::prefix_invariants

Definition at line 40 of file isomorph.h.

prefix_tex

std::string orbiter::layer4_classification::isomorph::prefix_tex

Definition at line 41 of file isomorph.h.

print_set_data

void* orbiter::layer4_classification::isomorph::print_set_data

Definition at line 302 of file isomorph.h.

print_set_function

void(* orbiter::layer4_classification::isomorph::print_set_function) (isomorph *Iso, int iso_cnt, groups::sims *Stab, groups::schreier &Orb, long int *data, void *print_set_data, int verbose_level)

Definition at line 299 of file isomorph.h.

rearranged_set

long int* orbiter::layer4_classification::isomorph::rearranged_set

Definition at line 227 of file isomorph.h.

rearranged_set_save

long int* orbiter::layer4_classification::isomorph::rearranged_set_save

Definition at line 228 of file isomorph.h.

Reps

representatives* orbiter::layer4_classification::isomorph::Reps

Definition at line 204 of file isomorph.h.

schreier_prev

int* orbiter::layer4_classification::isomorph::schreier_prev

Definition at line 184 of file isomorph.h.

schreier_vector

int* orbiter::layer4_classification::isomorph::schreier_vector

Definition at line 182 of file isomorph.h.

size

int orbiter::layer4_classification::isomorph::size

Definition at line 32 of file isomorph.h.

solution_first

int* orbiter::layer4_classification::isomorph::solution_first

Definition at line 72 of file isomorph.h.

solution_len

int* orbiter::layer4_classification::isomorph::solution_len

Definition at line 76 of file isomorph.h.

stabilizer_generators

int** orbiter::layer4_classification::isomorph::stabilizer_generators

Definition at line 238 of file isomorph.h.

stabilizer_group_order

ring_theory::longinteger_object orbiter::layer4_classification::isomorph::stabilizer_group_order

Definition at line 235 of file isomorph.h.

stabilizer_nb_generators

int orbiter::layer4_classification::isomorph::stabilizer_nb_generators

Definition at line 237 of file isomorph.h.

stabilizer_orbit

int* orbiter::layer4_classification::isomorph::stabilizer_orbit

Definition at line 242 of file isomorph.h.

stabilizer_recreated

groups::sims* orbiter::layer4_classification::isomorph::stabilizer_recreated

Definition at line 296 of file isomorph.h.

starter_number

int* orbiter::layer4_classification::isomorph::starter_number

Definition at line 93 of file isomorph.h.

stats_graph_size

int* orbiter::layer4_classification::isomorph::stats_graph_size

Definition at line 107 of file isomorph.h.

stats_nb_backtrack

int* orbiter::layer4_classification::isomorph::stats_nb_backtrack

Definition at line 103 of file isomorph.h.

stats_nb_backtrack_decision

int* orbiter::layer4_classification::isomorph::stats_nb_backtrack_decision

Definition at line 105 of file isomorph.h.

stats_time

int* orbiter::layer4_classification::isomorph::stats_time

Definition at line 109 of file isomorph.h.

subset

int* orbiter::layer4_classification::isomorph::subset

Definition at line 225 of file isomorph.h.

subset_rank

int orbiter::layer4_classification::isomorph::subset_rank

Definition at line 224 of file isomorph.h.

subset_witness

long int* orbiter::layer4_classification::isomorph::subset_witness

Definition at line 226 of file isomorph.h.

table_of_solutions

long int* orbiter::layer4_classification::isomorph::table_of_solutions

Definition at line 289 of file isomorph.h.

tmp_Elt

int * orbiter::layer4_classification::isomorph::tmp_Elt

Definition at line 231 of file isomorph.h.

tmp_Elt1

int* orbiter::layer4_classification::isomorph::tmp_Elt1

Definition at line 253 of file isomorph.h.

tmp_Elt2

int* orbiter::layer4_classification::isomorph::tmp_Elt2

Definition at line 254 of file isomorph.h.

tmp_Elt3

int* orbiter::layer4_classification::isomorph::tmp_Elt3

Definition at line 255 of file isomorph.h.

tmp_set

long int* orbiter::layer4_classification::isomorph::tmp_set

Definition at line 230 of file isomorph.h.

tmp_set1

long int* orbiter::layer4_classification::isomorph::tmp_set1

Definition at line 250 of file isomorph.h.

tmp_set2

long int* orbiter::layer4_classification::isomorph::tmp_set2

Definition at line 251 of file isomorph.h.

tmp_set3

long int* orbiter::layer4_classification::isomorph::tmp_set3

Definition at line 252 of file isomorph.h.

trace_set_recursion_Elt1

int* orbiter::layer4_classification::isomorph::trace_set_recursion_Elt1

Definition at line 258 of file isomorph.h.

trace_set_recursion_tmp_set1

long int* orbiter::layer4_classification::isomorph::trace_set_recursion_tmp_set1

Definition at line 257 of file isomorph.h.

transporter

int * orbiter::layer4_classification::isomorph::transporter

Definition at line 231 of file isomorph.h.

UF

data_structures_groups::union_find* orbiter::layer4_classification::isomorph::UF

Definition at line 221 of file isomorph.h.

v

Vector* orbiter::layer4_classification::isomorph::v

Definition at line 282 of file isomorph.h.

---

The documentation for this class was generated from the following files:

• src/lib/classification/isomorph/isomorph.h
• src/lib/classification/isomorph/isomorph.cpp
• src/lib/classification/isomorph/isomorph_database.cpp
• src/lib/classification/isomorph/isomorph_files.cpp
• src/lib/classification/isomorph/isomorph_testing.cpp
• src/lib/classification/isomorph/isomorph_trace.cpp