Orbiter 2022
Combinatorial Objects
orbiter::layer2_discreta Namespace Reference

typed objects More...

Classes

class  bt_key
 DISCRETA class for databases. More...
 
class  btree
 DISCRETA class for a database. More...
 
struct  btree_page_registry_key_pair
 DISCRETA internal class related to class database. More...
 
struct  buffer
 DISCRETA auxiliary class related to the class database. More...
 
class  database
 DISCRETA class for a database. More...
 
struct  datatype
 DISCRETA auxiliary class related to the class database. More...
 
class  design_parameter
 DISCRETA class for design parameters. More...
 
class  design_parameter_source
 DISCRETA class for the design parameters database. More...
 
class  discreta_base
 DISCRETA base class. All DISCRETA classes are derived from this class. More...
 
class  discreta_matrix
 DISCRETA matrix class. More...
 
class  domain
 DISCRETA class for influencing arithmetic operations. More...
 
struct  ff_memory
 DISCRETA auxilliary class for class domain. More...
 
class  hollerith
 DISCRETA string class. More...
 
class  integer
 DISCRETA integer class. More...
 
struct  itemtyp
 DISCRETA auxiliary class related to the class database. More...
 
struct  keycarrier
 DISCRETA auxiliary class related to the class database. More...
 
class  longinteger
 DISCRETA class for integers of arbitrary magnitude. More...
 
struct  longinteger_representation
 DISCRETA internal class to represent long integers. More...
 
class  matrix_access
 DISCRETA utility class for matrix access. More...
 
class  memory
 DISCRETA class to serialize data structures. More...
 
class  number_partition
 DISCRETA class for partitions of an integer. More...
 
union  OBJECTSELF
 DISCRETA internal class. More...
 
class  page_table
 DISCRETA class for bulk storage. More...
 
struct  pagetyp
 DISCRETA auxiliary class related to the class database. More...
 
class  permutation
 DISCRETA permutation class. More...
 
class  printing_mode
 DISCRETA class related to printing of objects. More...
 
class  unipoly
 DISCRETA class for polynomials in one variable. More...
 
class  Vector
 DISCRETA vector class for vectors of DISCRETA objects. More...
 
class  with
 DISCRETA class related to class domain. More...
 

Typedefs

typedef struct longinteger_representation LONGINTEGER_REPRESENTATION
 
typedef struct orbiter::layer2_discreta::keycarrier KEYCARRIER
 DISCRETA auxiliary class related to the class database. More...
 
typedef KEYCARRIER KEYTYPE
 
typedef struct orbiter::layer2_discreta::datatype DATATYPE
 DISCRETA auxiliary class related to the class database. More...
 
typedef struct orbiter::layer2_discreta::itemtyp ItemTyp
 DISCRETA auxiliary class related to the class database. More...
 
typedef struct orbiter::layer2_discreta::pagetyp PageTyp
 DISCRETA auxiliary class related to the class database. More...
 
typedef struct orbiter::layer2_discreta::buffer Buffer
 DISCRETA auxiliary class related to the class database. More...
 
typedef struct btree_page_registry_key_pair btree_page_registry_key_pair
 
typedef class page_table page_table
 DISCRETA internal class related to class database. More...
 
typedef page_tableppage_table
 
typedef struct ff_memory FF_MEMORY
 

Enumerations

enum  kind {
  BASE = 0 , INTEGER = 1 , VECTOR = 2 , NUMBER_PARTITION = 3 ,
  PERMUTATION = 6 , MATRIX = 11 , LONGINTEGER = 22 , MEMORY = 39 ,
  HOLLERITH = 44 , DATABASE = 50 , BTREE = 51 , PERM_GROUP = 56 ,
  PERM_GROUP_STAB_CHAIN = 57 , BT_KEY = 61 , DESIGN_PARAMETER = 70 , UNIPOLY = 79 ,
  DESIGN_PARAMETER_SOURCE = 83 , BITMATRIX = 90
}
 
enum  domain_type { GFp = 1 , GFq = 2 , Orbiter_finite_field = 3 }
 
enum  action_kind { vector_entries = 1 , vector_positions = 2 }
 
enum  actionkind {
  on_sets , on_subset_of_group_elements_by_conjugation , on_subset_of_group_elements_by_conjugation_with_table , on_group_elements_via_conjugation_using_group_table ,
  on_points
}
 
enum  numeric_mult_type { with_perm_group , with_group_table }
 
enum  printing_mode_enum { printing_mode_ascii , printing_mode_latex , printing_mode_ascii_file , printing_mode_gap }
 
enum  bt_key_kind { bt_key_int = 0 , bt_key_string = 1 , bt_key_int_vec = 2 }
 
enum  design_parameter_rule {
  rule_complementary = 1 , rule_reduced_t = 2 , rule_derived = 3 , rule_residual = 4 ,
  rule_alltop = 5 , rule_supplementary_reduced_t = 6 , rule_supplementary_derived = 7 , rule_supplementary_residual = 8 ,
  rule_supplementary_alltop = 9 , rule_trung_complementary = 10 , rule_supplementary = 11 , rule_trung_left = 12 ,
  rule_trung_right = 13
}
 
enum  permutation_print_type { integer_from_zero , integer_from_one , PG_1_q_element_tex }
 

Functions

int bt_lexicographic_cmp (char *p1, char *p2)
 
int bt_key_int_cmp (char *p1, char *p2)
 
int bt_key_int2_cmp (char *p1, char *p2)
 
void bt_key_print_int4 (char **key, ostream &ost)
 
void bt_key_print_int2 (char **key, ostream &ost)
 
void bt_key_print (char *key, Vector &V, ostream &ost)
 
int bt_key_compare_int4 (char **p_key1, char **p_key2)
 
int bt_key_compare_int2 (char **p_key1, char **p_key2)
 
int bt_key_compare (char *key1, char *key2, Vector &V, int depth)
 
void bt_key_fill_in_int4 (char **p_key, discreta_base &key_op)
 
void bt_key_fill_in_int2 (char **p_key, discreta_base &key_op)
 
void bt_key_fill_in_string (char **p_key, int output_size, discreta_base &key_op)
 
void bt_key_fill_in (char *key, Vector &V, Vector &the_object)
 
void bt_key_get_int4 (char **key, int_4 &i)
 
void bt_key_get_int2 (char **key, int_2 &i)
 
void database_init (int verbose_level)
 
void database_exit (void)
 
int fstream_table_get_free_entry ()
 
int root_buf_alloc (void)
 
void root_buf_free (int i)
 
int design_parameters_admissible (int v, int t, int k, discreta_base &lambda)
 
int calc_delta_lambda (int v, int t, int k, int f_v)
 
void design_lambda_max (int t, int v, int k, discreta_base &lambda_max)
 
void design_lambda_max_half (int t, int v, int k, discreta_base &lambda_max_half)
 
void design_lambda_ijs_matrix (int t, int v, int k, discreta_base &lambda, int s, discreta_matrix &M)
 
void design_lambda_ijs (int t, int v, int k, discreta_base &lambda, int s, int i, int j, discreta_base &lambda_ijs)
 
void design_lambda_ij (int t, int v, int k, discreta_base &lambda, int i, int j, discreta_base &lambda_ij)
 
int is_trivial_clan (int t, int v, int k)
 
void print_clan_tex_int (int t, int v, int k)
 
void print_clan_tex_int (int t, int v, int k, int delta_lambda, discreta_base &m_max)
 
void print_clan_tex (discreta_base &t, discreta_base &v, discreta_base &k, int delta_lambda, discreta_base &m_max)
 
int is_ancestor (int t, int v, int k)
 
int is_ancestor (int t, int v, int k, int delta_lambda)
 
int calc_redinv (int t, int v, int k, int delta_lambda, int &c, int &T, int &V, int &K, int &Delta_lambda)
 
int calc_derinv (int t, int v, int k, int delta_lambda, int &c, int &T, int &V, int &K, int &Delta_lambda)
 
int calc_resinv (int t, int v, int k, int delta_lambda, int &c, int &T, int &V, int &K, int &Delta_lambda)
 
void design_mendelsohn_coefficient_matrix (int t, int m, discreta_matrix &M)
 
void design_mendelsohn_rhs (int v, int t, int k, discreta_base &lambda, int m, int s, Vector &rhs)
 
int design_parameter_database_already_there (database &D, design_parameter &p, int &idx)
 
void design_parameter_database_add_if_new (database &D, design_parameter &p, int &highest_id, int verbose_level)
 
void design_parameter_database_closure (database &D, int highest_id_already_closed, int minimal_t, int verbose_level)
 
void design_parameter_database_read_design_txt (char *fname_design_txt, char *path_db, int f_form_closure, int minimal_t, int verbose_level)
 
void design_parameter_database_export_tex (char *path_db)
 
int determine_restricted_number_of_designs_t (database &D, btree &B, int btree_idx_tvkl, int t, int first, int len)
 
int determine_restricted_number_of_designs_t_v (database &D, btree &B, int btree_idx_tvkl, int t, int v, int first, int len)
 
void prepare_design_parameters_from_id (database &D, int id, hollerith &h)
 
void prepare_link (hollerith &link, int id)
 
void design_parameter_database_clans (char *path_db, int f_html, int f_v, int f_vv)
 
void design_parameter_database_family_report (char *path_db, int t, int v, int k, int lambda, int minimal_t)
 
void design_parameter_database_clan_report (char *path_db, Vector &ancestor, Vector &clan_lambda, Vector &clan_member, Vector &clan_member_path)
 
int Maxfit (int i, int j)
 
void discreta_init ()
 
discreta_basecallocobject (kind k)
 
void freeobject (discreta_base *p)
 
discreta_basecalloc_nobjects (int n, kind k)
 
void free_nobjects (discreta_base *p, int n)
 
discreta_basecalloc_nobjects_plus_length (int n, kind k)
 
void free_nobjects_plus_length (discreta_base *p)
 
discreta_basecalloc_m_times_n_objects (int m, int n, kind k)
 
void free_m_times_n_objects (discreta_base *p)
 
void printobjectkind (std::ostream &ost, kind k)
 
const char * kind_ascii (kind k)
 
const char * action_kind_ascii (action_kind k)
 
void uint4_swap (uint_4 &x, uint_4 &y)
 
std::ostream & operator<< (std::ostream &ost, class discreta_base &p)
 
int invert_mod_integer (int i, int p)
 
int remainder_mod (int i, int n)
 
void factor_integer (int n, Vector &primes, Vector &exponents)
 
void discreta_print_factorization (Vector &primes, Vector &exponents, std::ostream &o)
 
void print_factorization_hollerith (Vector &primes, Vector &exponents, hollerith &h)
 
int nb_primes (int n)
 
int factor_if_prime_power (int n, int *p, int *e)
 
int Euler (int n)
 
int Moebius (int i)
 
int NormRemainder (int a, int m)
 
int log2 (int n)
 
int sqrt_mod (int a, int p, int verbose_level)
 
int sqrt_mod_involved (int a, int p, int verbose_level)
 
void html_head (std::ostream &ost, char *title_long, char *title_short)
 
void html_foot (std::ostream &ost)
 
void sieve (Vector &primes, int factorbase, int verbose_level)
 
void sieve_primes (Vector &v, int from, int to, int limit, int verbose_level)
 
void print_intvec_mod_10 (Vector &v)
 
void stirling_second (int n, int k, int f_ordered, discreta_base &res, int verbose_level)
 
void stirling_first (int n, int k, int f_signless, discreta_base &res, int verbose_level)
 
void Catalan (int n, Vector &v, int verbose_level)
 
void Catalan_n (int n, Vector &v, discreta_base &res, int verbose_level)
 
void Catalan_nk_matrix (int n, discreta_matrix &Cnk, int verbose_level)
 
void Catalan_nk_star_matrix (int n, discreta_matrix &Cnk, int verbose_level)
 
void Catalan_nk_star (int n, int k, discreta_matrix &Cnk, discreta_base &res, int verbose_level)
 
void N_choose_K (discreta_base &n, int k, discreta_base &res)
 
void Binomial (int n, int k, discreta_base &n_choose_k)
 
void Krawtchouk (int n, int q, int i, int j, discreta_base &a)
 
void tuple2_rank (int rank, int &i, int &j, int n, int f_injective)
 
int tuple2_unrank (int i, int j, int n, int f_injective)
 
void output_texable_string (std::ostream &ost, char *in)
 
void texable_string (char *in, char *out)
 
void the_first_n_primes (Vector &P, int n)
 
void midpoint_of_2 (int *Px, int *Py, int i1, int i2, int idx)
 
void midpoint_of_5 (int *Px, int *Py, int i1, int i2, int i3, int i4, int i5, int idx)
 
void ratio_int (int *Px, int *Py, int idx_from, int idx_to, int idx_result, double r)
 
void frobenius_in_PG (domain *dom, int n, permutation &p)
 
void frobenius_in_AG (domain *dom, int n, permutation &p)
 
void translation_in_AG (domain *dom, int n, int i, discreta_base &a, permutation &p)
 
enum printing_mode_enum current_printing_mode ()
 
void call_system (char *cmd)
 
void fill_char (void *v, int cnt, int c)
 
int hash_int (int hash0, int a)
 
void queue_init (Vector &Q, int elt)
 
int queue_get_and_remove_first_element (Vector &Q)
 
int queue_length (Vector &Q)
 
void queue_append (Vector &Q, int elt)
 
void print_classification_tex (Vector &content, Vector &multiplicities)
 
void print_classification_tex (Vector &content, Vector &multiplicities, std::ostream &ost)
 
void perm2permutation (int *a, int n, permutation &p)
 
int Gauss_int (int *A, int f_special, int f_complete, int *base_cols, int f_P, int *P, int m, int n, int Pn, int q, int *add_table, int *mult_table, int *negate_table, int *inv_table, int verbose_level)
 
void uchar_move (uchar *p, uchar *q, int len)
 
void int_vector_realloc (int *&p, int old_length, int new_length)
 
void int_vector_shorten (int *&p, int new_length)
 
void int_matrix_realloc (int *&p, int old_m, int new_m, int old_n, int new_n)
 
int code_is_irreducible (int k, int nmk, int idx_zero, int *M)
 
void fine_tune (layer1_foundations::field_theory::finite_field *F, int *mtxD, int verbose_level)
 
void merge (Vector &v1, Vector &v2, Vector &v3)
 
void merge_with_fellows (Vector &v1, Vector &v1_fellow, Vector &v2, Vector &v2_fellow, Vector &v3, Vector &v3_fellow)
 
void merge_with_value (Vector &idx1, Vector &idx2, Vector &idx3, Vector &val1, Vector &val2, Vector &val3)
 
void intersection_of_vectors (Vector &V, Vector &v)
 
void signum_map (discreta_base &x, discreta_base &d)
 
void determinant_map (discreta_base &x, discreta_base &d)
 
int nb_PG_lines (int n, int q)
 
int has_domain ()
 
domainget_current_domain ()
 
int is_GFp_domain (domain *&d)
 
int is_GFq_domain (domain *&d)
 
int is_Orbiter_finite_field_domain (domain *&d)
 
int is_finite_field_domain (domain *&d)
 
int finite_field_domain_order_int (domain *d)
 
int finite_field_domain_characteristic (domain *d)
 
int finite_field_domain_primitive_root ()
 
void finite_field_domain_base_over_subfield (Vector &b)
 
void push_domain (domain *d)
 
void pop_domain (domain *&d)
 
domainallocate_finite_field_domain (int q, int verbose_level)
 
void free_finite_field_domain (domain *dom)
 
void bt_key_print_int4 (char **key, std::ostream &ost)
 
void bt_key_print_int2 (char **key, std::ostream &ost)
 
void bt_key_print (char *key, Vector &V, std::ostream &ost)
 
void page_table_init (int verbose_level)
 
void page_table_exit (int verbose_level)
 
int page_table_alloc (int verbose_level)
 
void page_table_free (int idx, int verbose_level)
 
page_tablepage_table_pointer (int slot)
 
void free_global_data ()
 
void the_end (int t0)
 
void the_end_quietly (int t0)
 
void printobjectkind (ostream &ost, kind k)
 
ostream & operator<< (ostream &ost, discreta_base &p)
 
void discreta_print_factorization (Vector &primes, Vector &exponents, ostream &o)
 
void html_head (ostream &ost, char *title_long, char *title_short)
 
void html_foot (ostream &ost)
 
void output_texable_string (ostream &ost, char *in)
 
void print_classification_tex (Vector &content, Vector &multiplicities, ostream &ost)
 
void char_move (char *p, char *q, int len)
 

Variables

int f_RootBF_free [MAX_ROOT_BUF]
 
BufferRootBF = NULL
 
BuffertmpBF = NULL
 
int fstream_table_used [MAX_FSTREAM_TABLE]
 
fstream * fstream_table [MAX_FSTREAM_TABLE]
 
const char * discreta_home = NULL
 
const char * discreta_arch = NULL
 
int domain_stack_len = 0
 
int printing_mode_stack_size = 0
 
enum permutation_print_type current_permutation_print_type = integer_from_zero
 
domaincurrent_permutation_print_type_dom = NULL
 
int my_unip_f_print_sub = FALSE
 
int my_unip_f_use_variable_name = FALSE
 
char my_unip_variable_name [128]
 

Detailed Description

typed objects

Typedef Documentation

◆ btree_page_registry_key_pair

◆ Buffer

DISCRETA auxiliary class related to the class database.

◆ DATATYPE

DISCRETA auxiliary class related to the class database.

◆ FF_MEMORY

Definition at line 360 of file domain.cpp.

◆ ItemTyp

DISCRETA auxiliary class related to the class database.

◆ KEYCARRIER

DISCRETA auxiliary class related to the class database.

◆ KEYTYPE

Definition at line 1502 of file discreta.h.

◆ LONGINTEGER_REPRESENTATION

◆ page_table

DISCRETA internal class related to class database.

Definition at line 1839 of file discreta.h.

◆ PageTyp

DISCRETA auxiliary class related to the class database.

◆ ppage_table

Definition at line 1841 of file discreta.h.

Enumeration Type Documentation

◆ action_kind

Enumerator
vector_entries 
vector_positions 

Definition at line 106 of file discreta.h.

◆ actionkind

Enumerator
on_sets 
on_subset_of_group_elements_by_conjugation 
on_subset_of_group_elements_by_conjugation_with_table 
on_group_elements_via_conjugation_using_group_table 
on_points 

Definition at line 111 of file discreta.h.

◆ bt_key_kind

Enumerator
bt_key_int 
bt_key_string 
bt_key_int_vec 

Definition at line 132 of file discreta.h.

◆ design_parameter_rule

Enumerator
rule_complementary 
rule_reduced_t 
rule_derived 
rule_residual 
rule_alltop 
rule_supplementary_reduced_t 
rule_supplementary_derived 
rule_supplementary_residual 
rule_supplementary_alltop 
rule_trung_complementary 
rule_supplementary 
rule_trung_left 
rule_trung_right 

Definition at line 138 of file discreta.h.

◆ domain_type

Enumerator
GFp 
GFq 
Orbiter_finite_field 

Definition at line 99 of file discreta.h.

◆ kind

Enumerator
BASE 

BASE.

INTEGER 

INTEGER.

VECTOR 

VECTOR.

NUMBER_PARTITION 

NUMBER_PARTITION.

PERMUTATION 

PERMUTATION.

MATRIX 

MATRIX.

LONGINTEGER 

LONGINTEGER.

MEMORY 

MEMORY.

HOLLERITH 

HOLLERITH.

DATABASE 

DATABASE.

BTREE 

BTREE.

PERM_GROUP 

PERM_GROUP.

PERM_GROUP_STAB_CHAIN 

PERM_GROUP_STAB_CHAIN.

BT_KEY 

BT_KEY.

DESIGN_PARAMETER 

DESIGN_PARAMETER.

UNIPOLY 

UNIPOLY.

DESIGN_PARAMETER_SOURCE 

DESIGN_PARAMETER_SOURCE.

BITMATRIX 

BITMATRIX.

Definition at line 51 of file discreta.h.

◆ numeric_mult_type

Enumerator
with_perm_group 
with_group_table 

Definition at line 119 of file discreta.h.

◆ permutation_print_type

Enumerator
integer_from_zero 
integer_from_one 
PG_1_q_element_tex 

Definition at line 22 of file permutation.cpp.

◆ printing_mode_enum

Enumerator
printing_mode_ascii 
printing_mode_latex 
printing_mode_ascii_file 
printing_mode_gap 

Definition at line 124 of file discreta.h.

Function Documentation

◆ action_kind_ascii()

const char * orbiter::layer2_discreta::action_kind_ascii ( action_kind  k)

Definition at line 256 of file global.cpp.

◆ allocate_finite_field_domain()

domain * orbiter::layer2_discreta::allocate_finite_field_domain ( int  q,
int  verbose_level 
)

Definition at line 378 of file domain.cpp.

◆ Binomial()

void orbiter::layer2_discreta::Binomial ( int  n,
int  k,
discreta_base n_choose_k 
)

Definition at line 1203 of file global.cpp.

◆ bt_key_compare()

int orbiter::layer2_discreta::bt_key_compare ( char *  key1,
char *  key2,
Vector V,
int  depth 
)

Definition at line 302 of file bt_key.cpp.

◆ bt_key_compare_int2()

int orbiter::layer2_discreta::bt_key_compare_int2 ( char **  p_key1,
char **  p_key2 
)

Definition at line 277 of file bt_key.cpp.

◆ bt_key_compare_int4()

int orbiter::layer2_discreta::bt_key_compare_int4 ( char **  p_key1,
char **  p_key2 
)

Definition at line 252 of file bt_key.cpp.

◆ bt_key_fill_in()

void orbiter::layer2_discreta::bt_key_fill_in ( char *  key,
Vector V,
Vector the_object 
)

Definition at line 416 of file bt_key.cpp.

◆ bt_key_fill_in_int2()

void orbiter::layer2_discreta::bt_key_fill_in_int2 ( char **  p_key,
discreta_base key_op 
)

Definition at line 384 of file bt_key.cpp.

◆ bt_key_fill_in_int4()

void orbiter::layer2_discreta::bt_key_fill_in_int4 ( char **  p_key,
discreta_base key_op 
)

Definition at line 364 of file bt_key.cpp.

◆ bt_key_fill_in_string()

void orbiter::layer2_discreta::bt_key_fill_in_string ( char **  p_key,
int  output_size,
discreta_base key_op 
)

Definition at line 404 of file bt_key.cpp.

◆ bt_key_get_int2()

void orbiter::layer2_discreta::bt_key_get_int2 ( char **  key,
int_2 i 
)

Definition at line 492 of file bt_key.cpp.

◆ bt_key_get_int4()

void orbiter::layer2_discreta::bt_key_get_int4 ( char **  key,
int_4 i 
)

Definition at line 482 of file bt_key.cpp.

◆ bt_key_int2_cmp()

int orbiter::layer2_discreta::bt_key_int2_cmp ( char *  p1,
char *  p2 
)

Definition at line 148 of file bt_key.cpp.

◆ bt_key_int_cmp()

int orbiter::layer2_discreta::bt_key_int_cmp ( char *  p1,
char *  p2 
)

Definition at line 133 of file bt_key.cpp.

◆ bt_key_print() [1/2]

void orbiter::layer2_discreta::bt_key_print ( char *  key,
Vector V,
ostream &  ost 
)

Definition at line 183 of file bt_key.cpp.

◆ bt_key_print() [2/2]

void orbiter::layer2_discreta::bt_key_print ( char *  key,
Vector V,
std::ostream &  ost 
)

◆ bt_key_print_int2() [1/2]

void orbiter::layer2_discreta::bt_key_print_int2 ( char **  key,
ostream &  ost 
)

Definition at line 176 of file bt_key.cpp.

◆ bt_key_print_int2() [2/2]

void orbiter::layer2_discreta::bt_key_print_int2 ( char **  key,
std::ostream &  ost 
)

◆ bt_key_print_int4() [1/2]

void orbiter::layer2_discreta::bt_key_print_int4 ( char **  key,
ostream &  ost 
)

Definition at line 169 of file bt_key.cpp.

◆ bt_key_print_int4() [2/2]

void orbiter::layer2_discreta::bt_key_print_int4 ( char **  key,
std::ostream &  ost 
)

◆ bt_lexicographic_cmp()

int orbiter::layer2_discreta::bt_lexicographic_cmp ( char *  p1,
char *  p2 
)

Definition at line 128 of file bt_key.cpp.

◆ calc_delta_lambda()

int orbiter::layer2_discreta::calc_delta_lambda ( int  v,
int  t,
int  k,
int  f_v 
)

Definition at line 47 of file design.cpp.

◆ calc_derinv()

int orbiter::layer2_discreta::calc_derinv ( int  t,
int  v,
int  k,
int  delta_lambda,
int &  c,
int &  T,
int &  V,
int &  K,
int &  Delta_lambda 
)

Definition at line 265 of file design.cpp.

◆ calc_redinv()

int orbiter::layer2_discreta::calc_redinv ( int  t,
int  v,
int  k,
int  delta_lambda,
int &  c,
int &  T,
int &  V,
int &  K,
int &  Delta_lambda 
)

Definition at line 243 of file design.cpp.

◆ calc_resinv()

int orbiter::layer2_discreta::calc_resinv ( int  t,
int  v,
int  k,
int  delta_lambda,
int &  c,
int &  T,
int &  V,
int &  K,
int &  Delta_lambda 
)

Definition at line 276 of file design.cpp.

◆ call_system()

void orbiter::layer2_discreta::call_system ( char *  cmd)

Definition at line 1599 of file global.cpp.

◆ calloc_m_times_n_objects()

discreta_base * orbiter::layer2_discreta::calloc_m_times_n_objects ( int  m,
int  n,
kind  k 
)

Definition at line 163 of file global.cpp.

◆ calloc_nobjects()

discreta_base * orbiter::layer2_discreta::calloc_nobjects ( int  n,
kind  k 
)

Definition at line 94 of file global.cpp.

◆ calloc_nobjects_plus_length()

discreta_base * orbiter::layer2_discreta::calloc_nobjects_plus_length ( int  n,
kind  k 
)

Definition at line 121 of file global.cpp.

◆ callocobject()

discreta_base * orbiter::layer2_discreta::callocobject ( kind  k)

Definition at line 81 of file global.cpp.

◆ Catalan()

void orbiter::layer2_discreta::Catalan ( int  n,
Vector v,
int  verbose_level 
)

Definition at line 1074 of file global.cpp.

◆ Catalan_n()

void orbiter::layer2_discreta::Catalan_n ( int  n,
Vector v,
discreta_base res,
int  verbose_level 
)

Definition at line 1087 of file global.cpp.

◆ Catalan_nk_matrix()

void orbiter::layer2_discreta::Catalan_nk_matrix ( int  n,
discreta_matrix Cnk,
int  verbose_level 
)

Definition at line 1105 of file global.cpp.

◆ Catalan_nk_star()

void orbiter::layer2_discreta::Catalan_nk_star ( int  n,
int  k,
discreta_matrix Cnk,
discreta_base res,
int  verbose_level 
)

Definition at line 1146 of file global.cpp.

◆ Catalan_nk_star_matrix()

void orbiter::layer2_discreta::Catalan_nk_star_matrix ( int  n,
discreta_matrix Cnk,
int  verbose_level 
)

Definition at line 1121 of file global.cpp.

◆ char_move()

void orbiter::layer2_discreta::char_move ( char *  p,
char *  q,
int  len 
)

Definition at line 1884 of file global.cpp.

◆ code_is_irreducible()

int orbiter::layer2_discreta::code_is_irreducible ( int  k,
int  nmk,
int  idx_zero,
int *  M 
)

Definition at line 1933 of file global.cpp.

◆ current_printing_mode()

enum printing_mode_enum orbiter::layer2_discreta::current_printing_mode ( )

Definition at line 1573 of file global.cpp.

◆ database_exit()

void orbiter::layer2_discreta::database_exit ( void  )

Definition at line 98 of file btree.cpp.

◆ database_init()

void orbiter::layer2_discreta::database_init ( int  verbose_level)

Definition at line 53 of file btree.cpp.

◆ design_lambda_ij()

void orbiter::layer2_discreta::design_lambda_ij ( int  t,
int  v,
int  k,
discreta_base lambda,
int  i,
int  j,
discreta_base lambda_ij 
)

Definition at line 145 of file design.cpp.

◆ design_lambda_ijs()

void orbiter::layer2_discreta::design_lambda_ijs ( int  t,
int  v,
int  k,
discreta_base lambda,
int  s,
int  i,
int  j,
discreta_base lambda_ijs 
)

Definition at line 123 of file design.cpp.

◆ design_lambda_ijs_matrix()

void orbiter::layer2_discreta::design_lambda_ijs_matrix ( int  t,
int  v,
int  k,
discreta_base lambda,
int  s,
discreta_matrix M 
)

Definition at line 110 of file design.cpp.

◆ design_lambda_max()

void orbiter::layer2_discreta::design_lambda_max ( int  t,
int  v,
int  k,
discreta_base lambda_max 
)

Definition at line 95 of file design.cpp.

◆ design_lambda_max_half()

void orbiter::layer2_discreta::design_lambda_max_half ( int  t,
int  v,
int  k,
discreta_base lambda_max_half 
)

Definition at line 100 of file design.cpp.

◆ design_mendelsohn_coefficient_matrix()

void orbiter::layer2_discreta::design_mendelsohn_coefficient_matrix ( int  t,
int  m,
discreta_matrix M 
)

Definition at line 295 of file design.cpp.

◆ design_mendelsohn_rhs()

void orbiter::layer2_discreta::design_mendelsohn_rhs ( int  v,
int  t,
int  k,
discreta_base lambda,
int  m,
int  s,
Vector rhs 
)

Definition at line 314 of file design.cpp.

◆ design_parameter_database_add_if_new()

void orbiter::layer2_discreta::design_parameter_database_add_if_new ( database D,
design_parameter p,
int &  highest_id,
int  verbose_level 
)

Definition at line 343 of file design.cpp.

◆ design_parameter_database_already_there()

int orbiter::layer2_discreta::design_parameter_database_already_there ( database D,
design_parameter p,
int &  idx 
)

Definition at line 329 of file design.cpp.

◆ design_parameter_database_clan_report()

void orbiter::layer2_discreta::design_parameter_database_clan_report ( char *  path_db,
Vector ancestor,
Vector clan_lambda,
Vector clan_member,
Vector clan_member_path 
)

Definition at line 1414 of file design.cpp.

◆ design_parameter_database_clans()

void orbiter::layer2_discreta::design_parameter_database_clans ( char *  path_db,
int  f_html,
int  f_v,
int  f_vv 
)

Definition at line 1127 of file design.cpp.

◆ design_parameter_database_closure()

void orbiter::layer2_discreta::design_parameter_database_closure ( database D,
int  highest_id_already_closed,
int  minimal_t,
int  verbose_level 
)

Definition at line 379 of file design.cpp.

◆ design_parameter_database_export_tex()

void orbiter::layer2_discreta::design_parameter_database_export_tex ( char *  path_db)

Definition at line 641 of file design.cpp.

◆ design_parameter_database_family_report()

void orbiter::layer2_discreta::design_parameter_database_family_report ( char *  path_db,
int  t,
int  v,
int  k,
int  lambda,
int  minimal_t 
)

Definition at line 1304 of file design.cpp.

◆ design_parameter_database_read_design_txt()

void orbiter::layer2_discreta::design_parameter_database_read_design_txt ( char *  fname_design_txt,
char *  path_db,
int  f_form_closure,
int  minimal_t,
int  verbose_level 
)

Definition at line 553 of file design.cpp.

◆ design_parameters_admissible()

int orbiter::layer2_discreta::design_parameters_admissible ( int  v,
int  t,
int  k,
discreta_base lambda 
)

Definition at line 30 of file design.cpp.

◆ determinant_map()

void orbiter::layer2_discreta::determinant_map ( discreta_base x,
discreta_base d 
)

Definition at line 3047 of file discreta_matrix.cpp.

◆ determine_restricted_number_of_designs_t()

int orbiter::layer2_discreta::determine_restricted_number_of_designs_t ( database D,
btree B,
int  btree_idx_tvkl,
int  t,
int  first,
int  len 
)

Definition at line 1031 of file design.cpp.

◆ determine_restricted_number_of_designs_t_v()

int orbiter::layer2_discreta::determine_restricted_number_of_designs_t_v ( database D,
btree B,
int  btree_idx_tvkl,
int  t,
int  v,
int  first,
int  len 
)

Definition at line 1058 of file design.cpp.

◆ discreta_init()

void orbiter::layer2_discreta::discreta_init ( )

Definition at line 44 of file global.cpp.

◆ discreta_print_factorization() [1/2]

void orbiter::layer2_discreta::discreta_print_factorization ( Vector primes,
Vector exponents,
ostream &  o 
)

Definition at line 373 of file global.cpp.

◆ discreta_print_factorization() [2/2]

void orbiter::layer2_discreta::discreta_print_factorization ( Vector primes,
Vector exponents,
std::ostream &  o 
)

◆ Euler()

int orbiter::layer2_discreta::Euler ( int  n)

Definition at line 497 of file global.cpp.

◆ factor_if_prime_power()

int orbiter::layer2_discreta::factor_if_prime_power ( int  n,
int *  p,
int *  e 
)

Definition at line 482 of file global.cpp.

◆ factor_integer()

void orbiter::layer2_discreta::factor_integer ( int  n,
Vector primes,
Vector exponents 
)

Definition at line 330 of file global.cpp.

◆ fill_char()

void orbiter::layer2_discreta::fill_char ( void *  v,
int  cnt,
int  c 
)

Definition at line 1605 of file global.cpp.

◆ fine_tune()

void orbiter::layer2_discreta::fine_tune ( layer1_foundations::field_theory::finite_field F,
int *  mtxD,
int  verbose_level 
)

Definition at line 2032 of file global.cpp.

◆ finite_field_domain_base_over_subfield()

void orbiter::layer2_discreta::finite_field_domain_base_over_subfield ( Vector b)

Definition at line 312 of file domain.cpp.

◆ finite_field_domain_characteristic()

int orbiter::layer2_discreta::finite_field_domain_characteristic ( domain d)

Definition at line 263 of file domain.cpp.

◆ finite_field_domain_order_int()

int orbiter::layer2_discreta::finite_field_domain_order_int ( domain d)

Definition at line 251 of file domain.cpp.

◆ finite_field_domain_primitive_root()

int orbiter::layer2_discreta::finite_field_domain_primitive_root ( )

Definition at line 275 of file domain.cpp.

◆ free_finite_field_domain()

void orbiter::layer2_discreta::free_finite_field_domain ( domain dom)

Definition at line 415 of file domain.cpp.

◆ free_global_data()

void orbiter::layer2_discreta::free_global_data ( )

Definition at line 15 of file discreta_global.cpp.

◆ free_m_times_n_objects()

void orbiter::layer2_discreta::free_m_times_n_objects ( discreta_base p)

Definition at line 186 of file global.cpp.

◆ free_nobjects()

void orbiter::layer2_discreta::free_nobjects ( discreta_base p,
int  n 
)

Definition at line 111 of file global.cpp.

◆ free_nobjects_plus_length()

void orbiter::layer2_discreta::free_nobjects_plus_length ( discreta_base p)

Definition at line 144 of file global.cpp.

◆ freeobject()

void orbiter::layer2_discreta::freeobject ( discreta_base p)

Definition at line 89 of file global.cpp.

◆ frobenius_in_AG()

void orbiter::layer2_discreta::frobenius_in_AG ( domain dom,
int  n,
permutation p 
)

Definition at line 1528 of file global.cpp.

◆ frobenius_in_PG()

void orbiter::layer2_discreta::frobenius_in_PG ( domain dom,
int  n,
permutation p 
)

Definition at line 1505 of file global.cpp.

◆ fstream_table_get_free_entry()

int orbiter::layer2_discreta::fstream_table_get_free_entry ( )

Definition at line 109 of file btree.cpp.

◆ Gauss_int()

int orbiter::layer2_discreta::Gauss_int ( int *  A,
int  f_special,
int  f_complete,
int *  base_cols,
int  f_P,
int *  P,
int  m,
int  n,
int  Pn,
int  q,
int *  add_table,
int *  mult_table,
int *  negate_table,
int *  inv_table,
int  verbose_level 
)

Definition at line 1716 of file global.cpp.

◆ get_current_domain()

domain * orbiter::layer2_discreta::get_current_domain ( )

Definition at line 179 of file domain.cpp.

◆ has_domain()

int orbiter::layer2_discreta::has_domain ( )

Definition at line 171 of file domain.cpp.

◆ hash_int()

int orbiter::layer2_discreta::hash_int ( int  hash0,
int  a 
)

Definition at line 1618 of file global.cpp.

◆ html_foot() [1/2]

void orbiter::layer2_discreta::html_foot ( ostream &  ost)

Definition at line 846 of file global.cpp.

◆ html_foot() [2/2]

void orbiter::layer2_discreta::html_foot ( std::ostream &  ost)

◆ html_head() [1/2]

void orbiter::layer2_discreta::html_head ( ostream &  ost,
char *  title_long,
char *  title_short 
)

Definition at line 830 of file global.cpp.

◆ html_head() [2/2]

void orbiter::layer2_discreta::html_head ( std::ostream &  ost,
char *  title_long,
char *  title_short 
)

◆ int_matrix_realloc()

void orbiter::layer2_discreta::int_matrix_realloc ( int *&  p,
int  old_m,
int  new_m,
int  old_n,
int  new_n 
)

Definition at line 1917 of file global.cpp.

◆ int_vector_realloc()

void orbiter::layer2_discreta::int_vector_realloc ( int *&  p,
int  old_length,
int  new_length 
)

Definition at line 1892 of file global.cpp.

◆ int_vector_shorten()

void orbiter::layer2_discreta::int_vector_shorten ( int *&  p,
int  new_length 
)

Definition at line 1905 of file global.cpp.

◆ intersection_of_vectors()

void orbiter::layer2_discreta::intersection_of_vectors ( Vector V,
Vector v 
)

Definition at line 1618 of file vector.cpp.

◆ invert_mod_integer()

int orbiter::layer2_discreta::invert_mod_integer ( int  i,
int  p 
)

Definition at line 285 of file global.cpp.

◆ is_ancestor() [1/2]

int orbiter::layer2_discreta::is_ancestor ( int  t,
int  v,
int  k 
)

Definition at line 215 of file design.cpp.

◆ is_ancestor() [2/2]

int orbiter::layer2_discreta::is_ancestor ( int  t,
int  v,
int  k,
int  delta_lambda 
)

Definition at line 221 of file design.cpp.

◆ is_finite_field_domain()

int orbiter::layer2_discreta::is_finite_field_domain ( domain *&  d)

Definition at line 242 of file domain.cpp.

◆ is_GFp_domain()

int orbiter::layer2_discreta::is_GFp_domain ( domain *&  d)

Definition at line 203 of file domain.cpp.

◆ is_GFq_domain()

int orbiter::layer2_discreta::is_GFq_domain ( domain *&  d)

Definition at line 216 of file domain.cpp.

◆ is_Orbiter_finite_field_domain()

int orbiter::layer2_discreta::is_Orbiter_finite_field_domain ( domain *&  d)

Definition at line 229 of file domain.cpp.

◆ is_trivial_clan()

int orbiter::layer2_discreta::is_trivial_clan ( int  t,
int  v,
int  k 
)

Definition at line 164 of file design.cpp.

◆ kind_ascii()

const char * orbiter::layer2_discreta::kind_ascii ( kind  k)

Definition at line 213 of file global.cpp.

◆ Krawtchouk()

void orbiter::layer2_discreta::Krawtchouk ( int  n,
int  q,
int  i,
int  j,
discreta_base a 
)

Definition at line 1305 of file global.cpp.

◆ log2()

int orbiter::layer2_discreta::log2 ( int  n)

Definition at line 565 of file global.cpp.

◆ Maxfit()

int orbiter::layer2_discreta::Maxfit ( int  i,
int  j 
)

Definition at line 1806 of file design.cpp.

◆ merge()

void orbiter::layer2_discreta::merge ( Vector v1,
Vector v2,
Vector v3 
)

Definition at line 1099 of file vector.cpp.

◆ merge_with_fellows()

void orbiter::layer2_discreta::merge_with_fellows ( Vector v1,
Vector v1_fellow,
Vector v2,
Vector v2_fellow,
Vector v3,
Vector v3_fellow 
)

Definition at line 1133 of file vector.cpp.

◆ merge_with_value()

void orbiter::layer2_discreta::merge_with_value ( Vector idx1,
Vector idx2,
Vector idx3,
Vector val1,
Vector val2,
Vector val3 
)

Definition at line 1172 of file vector.cpp.

◆ midpoint_of_2()

void orbiter::layer2_discreta::midpoint_of_2 ( int *  Px,
int *  Py,
int  i1,
int  i2,
int  idx 
)

Definition at line 1438 of file global.cpp.

◆ midpoint_of_5()

void orbiter::layer2_discreta::midpoint_of_5 ( int *  Px,
int *  Py,
int  i1,
int  i2,
int  i3,
int  i4,
int  i5,
int  idx 
)

Definition at line 1448 of file global.cpp.

◆ Moebius()

int orbiter::layer2_discreta::Moebius ( int  i)

Definition at line 518 of file global.cpp.

◆ N_choose_K()

void orbiter::layer2_discreta::N_choose_K ( discreta_base n,
int  k,
discreta_base res 
)

Definition at line 1165 of file global.cpp.

◆ nb_PG_lines()

int orbiter::layer2_discreta::nb_PG_lines ( int  n,
int  q 
)

Definition at line 3457 of file discreta_matrix.cpp.

◆ nb_primes()

int orbiter::layer2_discreta::nb_primes ( int  n)

Definition at line 464 of file global.cpp.

◆ NormRemainder()

int orbiter::layer2_discreta::NormRemainder ( int  a,
int  m 
)

Definition at line 538 of file global.cpp.

◆ operator<<() [1/2]

ostream & orbiter::layer2_discreta::operator<< ( ostream &  ost,
discreta_base p 
)

Definition at line 275 of file global.cpp.

◆ operator<<() [2/2]

std::ostream & orbiter::layer2_discreta::operator<< ( std::ostream &  ost,
class discreta_base p 
)

◆ output_texable_string() [1/2]

void orbiter::layer2_discreta::output_texable_string ( ostream &  ost,
char *  in 
)

Definition at line 1375 of file global.cpp.

◆ output_texable_string() [2/2]

void orbiter::layer2_discreta::output_texable_string ( std::ostream &  ost,
char *  in 
)

◆ page_table_alloc()

int orbiter::layer2_discreta::page_table_alloc ( int  verbose_level)

Definition at line 69 of file page_table.cpp.

◆ page_table_exit()

void orbiter::layer2_discreta::page_table_exit ( int  verbose_level)

Definition at line 51 of file page_table.cpp.

◆ page_table_free()

void orbiter::layer2_discreta::page_table_free ( int  idx,
int  verbose_level 
)

Definition at line 98 of file page_table.cpp.

◆ page_table_init()

void orbiter::layer2_discreta::page_table_init ( int  verbose_level)

Definition at line 33 of file page_table.cpp.

◆ page_table_pointer()

page_table * orbiter::layer2_discreta::page_table_pointer ( int  slot)

Definition at line 130 of file page_table.cpp.

◆ perm2permutation()

void orbiter::layer2_discreta::perm2permutation ( int *  a,
int  n,
permutation p 
)

Definition at line 1706 of file global.cpp.

◆ pop_domain()

void orbiter::layer2_discreta::pop_domain ( domain *&  d)

Definition at line 160 of file domain.cpp.

◆ prepare_design_parameters_from_id()

void orbiter::layer2_discreta::prepare_design_parameters_from_id ( database D,
int  id,
hollerith h 
)

Definition at line 1098 of file design.cpp.

◆ prepare_link()

void orbiter::layer2_discreta::prepare_link ( hollerith link,
int  id 
)

Definition at line 1116 of file design.cpp.

◆ print_clan_tex()

void orbiter::layer2_discreta::print_clan_tex ( discreta_base t,
discreta_base v,
discreta_base k,
int  delta_lambda,
discreta_base m_max 
)

Definition at line 195 of file design.cpp.

◆ print_clan_tex_int() [1/2]

void orbiter::layer2_discreta::print_clan_tex_int ( int  t,
int  v,
int  k 
)

Definition at line 177 of file design.cpp.

◆ print_clan_tex_int() [2/2]

void orbiter::layer2_discreta::print_clan_tex_int ( int  t,
int  v,
int  k,
int  delta_lambda,
discreta_base m_max 
)

Definition at line 188 of file design.cpp.

◆ print_classification_tex() [1/3]

void orbiter::layer2_discreta::print_classification_tex ( Vector content,
Vector multiplicities 
)

Definition at line 1684 of file global.cpp.

◆ print_classification_tex() [2/3]

void orbiter::layer2_discreta::print_classification_tex ( Vector content,
Vector multiplicities,
ostream &  ost 
)

Definition at line 1689 of file global.cpp.

◆ print_classification_tex() [3/3]

void orbiter::layer2_discreta::print_classification_tex ( Vector content,
Vector multiplicities,
std::ostream &  ost 
)

◆ print_factorization_hollerith()

void orbiter::layer2_discreta::print_factorization_hollerith ( Vector primes,
Vector exponents,
hollerith h 
)

Definition at line 414 of file global.cpp.

◆ print_intvec_mod_10()

void orbiter::layer2_discreta::print_intvec_mod_10 ( Vector v)

Definition at line 924 of file global.cpp.

◆ printobjectkind() [1/2]

void orbiter::layer2_discreta::printobjectkind ( ostream &  ost,
kind  k 
)

Definition at line 208 of file global.cpp.

◆ printobjectkind() [2/2]

void orbiter::layer2_discreta::printobjectkind ( std::ostream &  ost,
kind  k 
)

◆ push_domain()

void orbiter::layer2_discreta::push_domain ( domain d)

Definition at line 150 of file domain.cpp.

◆ queue_append()

void orbiter::layer2_discreta::queue_append ( Vector Q,
int  elt 
)

Definition at line 1669 of file global.cpp.

◆ queue_get_and_remove_first_element()

int orbiter::layer2_discreta::queue_get_and_remove_first_element ( Vector Q)

Definition at line 1642 of file global.cpp.

◆ queue_init()

void orbiter::layer2_discreta::queue_init ( Vector Q,
int  elt 
)

Definition at line 1633 of file global.cpp.

◆ queue_length()

int orbiter::layer2_discreta::queue_length ( Vector Q)

Definition at line 1661 of file global.cpp.

◆ ratio_int()

void orbiter::layer2_discreta::ratio_int ( int *  Px,
int *  Py,
int  idx_from,
int  idx_to,
int  idx_result,
double  r 
)

Definition at line 1458 of file global.cpp.

◆ remainder_mod()

int orbiter::layer2_discreta::remainder_mod ( int  i,
int  n 
)

Definition at line 317 of file global.cpp.

◆ root_buf_alloc()

int orbiter::layer2_discreta::root_buf_alloc ( void  )

Definition at line 123 of file btree.cpp.

◆ root_buf_free()

void orbiter::layer2_discreta::root_buf_free ( int  i)

Definition at line 138 of file btree.cpp.

◆ sieve()

void orbiter::layer2_discreta::sieve ( Vector primes,
int  factorbase,
int  verbose_level 
)

Definition at line 857 of file global.cpp.

◆ sieve_primes()

void orbiter::layer2_discreta::sieve_primes ( Vector v,
int  from,
int  to,
int  limit,
int  verbose_level 
)

Definition at line 880 of file global.cpp.

◆ signum_map()

void orbiter::layer2_discreta::signum_map ( discreta_base x,
discreta_base d 
)

Definition at line 1288 of file permutation.cpp.

◆ sqrt_mod()

int orbiter::layer2_discreta::sqrt_mod ( int  a,
int  p,
int  verbose_level 
)

Definition at line 580 of file global.cpp.

◆ sqrt_mod_involved()

int orbiter::layer2_discreta::sqrt_mod_involved ( int  a,
int  p,
int  verbose_level 
)

Definition at line 628 of file global.cpp.

◆ stirling_first()

void orbiter::layer2_discreta::stirling_first ( int  n,
int  k,
int  f_signless,
discreta_base res,
int  verbose_level 
)

Definition at line 997 of file global.cpp.

◆ stirling_second()

void orbiter::layer2_discreta::stirling_second ( int  n,
int  k,
int  f_ordered,
discreta_base res,
int  verbose_level 
)

Definition at line 938 of file global.cpp.

◆ texable_string()

void orbiter::layer2_discreta::texable_string ( char *  in,
char *  out 
)

Definition at line 1394 of file global.cpp.

◆ the_end()

void orbiter::layer2_discreta::the_end ( int  t0)

Definition at line 33 of file discreta_global.cpp.

◆ the_end_quietly()

void orbiter::layer2_discreta::the_end_quietly ( int  t0)

Definition at line 75 of file discreta_global.cpp.

◆ the_first_n_primes()

void orbiter::layer2_discreta::the_first_n_primes ( Vector P,
int  n 
)

Definition at line 1420 of file global.cpp.

◆ translation_in_AG()

void orbiter::layer2_discreta::translation_in_AG ( domain dom,
int  n,
int  i,
discreta_base a,
permutation p 
)

Definition at line 1551 of file global.cpp.

◆ tuple2_rank()

void orbiter::layer2_discreta::tuple2_rank ( int  rank,
int &  i,
int &  j,
int  n,
int  f_injective 
)

Definition at line 1327 of file global.cpp.

◆ tuple2_unrank()

int orbiter::layer2_discreta::tuple2_unrank ( int  i,
int  j,
int  n,
int  f_injective 
)

Definition at line 1349 of file global.cpp.

◆ uchar_move()

void orbiter::layer2_discreta::uchar_move ( uchar p,
uchar q,
int  len 
)

◆ uint4_swap()

void orbiter::layer2_discreta::uint4_swap ( uint_4 x,
uint_4 y 
)

Definition at line 265 of file global.cpp.

Variable Documentation

◆ current_permutation_print_type

enum permutation_print_type orbiter::layer2_discreta::current_permutation_print_type = integer_from_zero

Definition at line 28 of file permutation.cpp.

◆ current_permutation_print_type_dom

domain* orbiter::layer2_discreta::current_permutation_print_type_dom = NULL

Definition at line 29 of file permutation.cpp.

◆ discreta_arch

const char * orbiter::layer2_discreta::discreta_arch = NULL

Definition at line 37 of file global.cpp.

◆ discreta_home

const char * orbiter::layer2_discreta::discreta_home = NULL

Definition at line 36 of file global.cpp.

◆ domain_stack_len

int orbiter::layer2_discreta::domain_stack_len = 0

Definition at line 18 of file domain.cpp.

◆ f_RootBF_free

int orbiter::layer2_discreta::f_RootBF_free[MAX_ROOT_BUF]

Definition at line 31 of file btree.cpp.

◆ fstream_table

std::fstream * orbiter::layer2_discreta::fstream_table

Definition at line 39 of file btree.cpp.

◆ fstream_table_used

int orbiter::layer2_discreta::fstream_table_used

Definition at line 38 of file btree.cpp.

◆ my_unip_f_print_sub

int orbiter::layer2_discreta::my_unip_f_print_sub = FALSE

Definition at line 82 of file unipoly.cpp.

◆ my_unip_f_use_variable_name

int orbiter::layer2_discreta::my_unip_f_use_variable_name = FALSE

Definition at line 83 of file unipoly.cpp.

◆ my_unip_variable_name

char orbiter::layer2_discreta::my_unip_variable_name[128]

Definition at line 84 of file unipoly.cpp.

◆ printing_mode_stack_size

int orbiter::layer2_discreta::printing_mode_stack_size = 0

Definition at line 32 of file global.cpp.

◆ RootBF

Buffer* orbiter::layer2_discreta::RootBF = NULL

Definition at line 32 of file btree.cpp.

◆ tmpBF

Buffer* orbiter::layer2_discreta::tmpBF = NULL

Definition at line 33 of file btree.cpp.