Orbiter 2022
Combinatorial Objects
Public Member Functions | Public Attributes | List of all members
orbiter::layer4_classification::compute_stabilizer Class Reference

to compute the set-stabilizer More...

#include <set_stabilizer.h>

Collaboration diagram for orbiter::layer4_classification::compute_stabilizer:
Collaboration graph
[legend]

Public Member Functions

 compute_stabilizer ()
 
 ~compute_stabilizer ()
 
void null ()
 
void freeself ()
 
void init (substructure_stats_and_selection *SubSt, long int *canonical_pts, int verbose_level)
 
void compute_automorphism_group (int verbose_level)
 
void compute_automorphism_group_handle_case (int cnt2, int verbose_level)
 
void setup_stabilizer (groups::sims *Stab0, int verbose_level)
 
void restricted_action_on_interesting_points (int verbose_level)
 
void compute_canonical_form (int verbose_level)
 
void compute_canonical_form_handle_case (int cnt, int verbose_level)
 
void compute_canonical_set (long int *set_in, long int *set_out, int sz, int *transporter, int verbose_level)
 
void compute_canonical_set_and_group (long int *set_in, long int *set_out, int sz, int *transporter, groups::sims *&stab, int verbose_level)
 
void update_stabilizer (int verbose_level)
 
void add_automorphism (int verbose_level)
 
void retrieve_automorphism (int verbose_level)
 
void make_canonical_second_set (int verbose_level)
 
void report (std::ostream &ost)
 
void print_canonical_sets ()
 

Public Attributes

substructure_stats_and_selection * SubSt
 
actions::action * A_on_the_set
 
groups::sims * Stab
 
ring_theory::longinteger_object stab_order
 
ring_theory::longinteger_object new_stab_order
 
int nb_times_orbit_count_does_not_match_up
 
int backtrack_nodes_first_time
 
int backtrack_nodes_total_in_loop
 
stabilizer_orbits_and_types * Stab_orbits
 
actions::action * A_induced
 
ring_theory::longinteger_object induced_go
 
ring_theory::longinteger_object K_go
 
int * transporter_witness
 
int * transporter1
 
int * transporter2
 
int * T1
 
int * T1v
 
int * T2
 
groups::sims * Kernel_original
 
groups::sims * K
 
groups::sims * Aut
 
groups::sims * Aut_original
 
ring_theory::longinteger_object ago
 
ring_theory::longinteger_object ago1
 
ring_theory::longinteger_object target_go
 
long int * Canonical_form_input
 
long int * Canonical_forms
 
int * Canonical_form_transporter
 
int nb_interesting_subsets_rr
 
long int * interesting_subsets_rr
 

Detailed Description

to compute the set-stabilizer

Definition at line 23 of file set_stabilizer.h.

Constructor & Destructor Documentation

◆ compute_stabilizer()

orbiter::layer4_classification::compute_stabilizer::compute_stabilizer ( )

Definition at line 23 of file compute_stabilizer.cpp.

◆ ~compute_stabilizer()

orbiter::layer4_classification::compute_stabilizer::~compute_stabilizer ( )

Definition at line 79 of file compute_stabilizer.cpp.

Member Function Documentation

◆ add_automorphism()

void orbiter::layer4_classification::compute_stabilizer::add_automorphism ( int  verbose_level)

Definition at line 1049 of file compute_stabilizer.cpp.

◆ compute_automorphism_group()

void orbiter::layer4_classification::compute_stabilizer::compute_automorphism_group ( int  verbose_level)

Definition at line 282 of file compute_stabilizer.cpp.

◆ compute_automorphism_group_handle_case()

void orbiter::layer4_classification::compute_stabilizer::compute_automorphism_group_handle_case ( int  cnt2,
int  verbose_level 
)

Definition at line 320 of file compute_stabilizer.cpp.

◆ compute_canonical_form()

void orbiter::layer4_classification::compute_stabilizer::compute_canonical_form ( int  verbose_level)

Definition at line 757 of file compute_stabilizer.cpp.

◆ compute_canonical_form_handle_case()

void orbiter::layer4_classification::compute_stabilizer::compute_canonical_form_handle_case ( int  cnt,
int  verbose_level 
)

Definition at line 849 of file compute_stabilizer.cpp.

◆ compute_canonical_set()

void orbiter::layer4_classification::compute_stabilizer::compute_canonical_set ( long int *  set_in,
long int *  set_out,
int  sz,
int *  transporter,
int  verbose_level 
)

Definition at line 913 of file compute_stabilizer.cpp.

◆ compute_canonical_set_and_group()

void orbiter::layer4_classification::compute_stabilizer::compute_canonical_set_and_group ( long int *  set_in,
long int *  set_out,
int  sz,
int *  transporter,
groups::sims *&  stab,
int  verbose_level 
)

Definition at line 949 of file compute_stabilizer.cpp.

◆ freeself()

void orbiter::layer4_classification::compute_stabilizer::freeself ( )

◆ init()

void orbiter::layer4_classification::compute_stabilizer::init ( substructure_stats_and_selection *  SubSt,
long int *  canonical_pts,
int  verbose_level 
)

Definition at line 129 of file compute_stabilizer.cpp.

◆ make_canonical_second_set()

void orbiter::layer4_classification::compute_stabilizer::make_canonical_second_set ( int  verbose_level)

Definition at line 1126 of file compute_stabilizer.cpp.

◆ null()

void orbiter::layer4_classification::compute_stabilizer::null ( )

◆ print_canonical_sets()

void orbiter::layer4_classification::compute_stabilizer::print_canonical_sets ( )

Definition at line 1206 of file compute_stabilizer.cpp.

◆ report()

void orbiter::layer4_classification::compute_stabilizer::report ( std::ostream &  ost)

Definition at line 1180 of file compute_stabilizer.cpp.

◆ restricted_action_on_interesting_points()

void orbiter::layer4_classification::compute_stabilizer::restricted_action_on_interesting_points ( int  verbose_level)

Definition at line 672 of file compute_stabilizer.cpp.

◆ retrieve_automorphism()

void orbiter::layer4_classification::compute_stabilizer::retrieve_automorphism ( int  verbose_level)

Definition at line 1093 of file compute_stabilizer.cpp.

◆ setup_stabilizer()

void orbiter::layer4_classification::compute_stabilizer::setup_stabilizer ( groups::sims *  Stab0,
int  verbose_level 
)

Definition at line 493 of file compute_stabilizer.cpp.

◆ update_stabilizer()

void orbiter::layer4_classification::compute_stabilizer::update_stabilizer ( int  verbose_level)

Definition at line 1006 of file compute_stabilizer.cpp.

Member Data Documentation

◆ A_induced

actions::action* orbiter::layer4_classification::compute_stabilizer::A_induced

Definition at line 50 of file set_stabilizer.h.

◆ A_on_the_set

actions::action* orbiter::layer4_classification::compute_stabilizer::A_on_the_set

Definition at line 30 of file set_stabilizer.h.

◆ ago

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::ago

Definition at line 67 of file set_stabilizer.h.

◆ ago1

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::ago1

Definition at line 68 of file set_stabilizer.h.

◆ Aut

groups::sims* orbiter::layer4_classification::compute_stabilizer::Aut

Definition at line 65 of file set_stabilizer.h.

◆ Aut_original

groups::sims* orbiter::layer4_classification::compute_stabilizer::Aut_original

Definition at line 66 of file set_stabilizer.h.

◆ backtrack_nodes_first_time

int orbiter::layer4_classification::compute_stabilizer::backtrack_nodes_first_time

Definition at line 39 of file set_stabilizer.h.

◆ backtrack_nodes_total_in_loop

int orbiter::layer4_classification::compute_stabilizer::backtrack_nodes_total_in_loop

Definition at line 40 of file set_stabilizer.h.

◆ Canonical_form_input

long int* orbiter::layer4_classification::compute_stabilizer::Canonical_form_input

Definition at line 75 of file set_stabilizer.h.

◆ Canonical_form_transporter

int* orbiter::layer4_classification::compute_stabilizer::Canonical_form_transporter

Definition at line 77 of file set_stabilizer.h.

◆ Canonical_forms

long int* orbiter::layer4_classification::compute_stabilizer::Canonical_forms

Definition at line 76 of file set_stabilizer.h.

◆ induced_go

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::induced_go

Definition at line 52 of file set_stabilizer.h.

◆ interesting_subsets_rr

long int* orbiter::layer4_classification::compute_stabilizer::interesting_subsets_rr

Definition at line 80 of file set_stabilizer.h.

◆ K

groups::sims* orbiter::layer4_classification::compute_stabilizer::K

Definition at line 61 of file set_stabilizer.h.

◆ K_go

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::K_go

Definition at line 52 of file set_stabilizer.h.

◆ Kernel_original

groups::sims* orbiter::layer4_classification::compute_stabilizer::Kernel_original

Definition at line 60 of file set_stabilizer.h.

◆ nb_interesting_subsets_rr

int orbiter::layer4_classification::compute_stabilizer::nb_interesting_subsets_rr

Definition at line 79 of file set_stabilizer.h.

◆ nb_times_orbit_count_does_not_match_up

int orbiter::layer4_classification::compute_stabilizer::nb_times_orbit_count_does_not_match_up

Definition at line 38 of file set_stabilizer.h.

◆ new_stab_order

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::new_stab_order

Definition at line 37 of file set_stabilizer.h.

◆ Stab

groups::sims* orbiter::layer4_classification::compute_stabilizer::Stab

Definition at line 34 of file set_stabilizer.h.

◆ Stab_orbits

stabilizer_orbits_and_types* orbiter::layer4_classification::compute_stabilizer::Stab_orbits

Definition at line 42 of file set_stabilizer.h.

◆ stab_order

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::stab_order

Definition at line 37 of file set_stabilizer.h.

◆ SubSt

substructure_stats_and_selection* orbiter::layer4_classification::compute_stabilizer::SubSt

Definition at line 28 of file set_stabilizer.h.

◆ T1

int* orbiter::layer4_classification::compute_stabilizer::T1

Definition at line 57 of file set_stabilizer.h.

◆ T1v

int * orbiter::layer4_classification::compute_stabilizer::T1v

Definition at line 57 of file set_stabilizer.h.

◆ T2

int* orbiter::layer4_classification::compute_stabilizer::T2

Definition at line 58 of file set_stabilizer.h.

◆ target_go

ring_theory::longinteger_object orbiter::layer4_classification::compute_stabilizer::target_go

Definition at line 69 of file set_stabilizer.h.

◆ transporter1

int* orbiter::layer4_classification::compute_stabilizer::transporter1

Definition at line 55 of file set_stabilizer.h.

◆ transporter2

int* orbiter::layer4_classification::compute_stabilizer::transporter2

Definition at line 56 of file set_stabilizer.h.

◆ transporter_witness

int* orbiter::layer4_classification::compute_stabilizer::transporter_witness

Definition at line 54 of file set_stabilizer.h.

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