13namespace layer2_discreta {
17 int verbose_level = 0;
18 int f_v = (verbose_level >= 1);
21 cout <<
"discreta_global free_global_data" << endl;
29 cout <<
"discreta_global free_global_data done" << endl;
35 int verbose_level = 1;
36 int f_v = (verbose_level >= 1);
41 cout <<
"the_end" << endl;
44 cout <<
"***************** The End **********************" << endl;
50 cout <<
"the_end after free_global_data" << endl;
67 fname.assign(
"memory_usage.csv");
71 cout <<
"the_end done" << endl;
a collection of combinatorial functions
void free_tab_q_binomials()
a collection of functions related to file io
void int_matrix_write_csv(std::string &fname, int *M, int m, int n)
interface to system functions
void time_check(std::ostream &ost, int t0)
orbiter_kernel_system::orbiter_session * Orbiter
global Orbiter session
void the_end_quietly(int t0)
the orbiter library for the classification of combinatorial objects