Orbiter 2022
Combinatorial Objects
orbiter::layer1_foundations::projective_space Member List

This is the complete list of members for orbiter::layer1_foundations::projective_space, including all inherited members.

andre_preimage(projective_space *P4, long int *set2, int sz2, long int *set4, int &sz4, int verbose_level)orbiter::layer1_foundations::projective_space
Arc_in_projective_spaceorbiter::layer1_foundations::projective_space
arc_test(long int *input_pts, int nb_pts, int verbose_level)orbiter::layer1_foundations::projective_space
Baer_subline(long int *pts3, long int *&pts, int &nb_pts, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_polarity(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_line_intersection(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_line_through_pairs_of_points(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_lines_on_points(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_point_table(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_points(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_points_on_lines(std::ostream &f, int verbose_level)orbiter::layer1_foundations::projective_space
cheat_sheet_subspaces(std::ostream &f, int k, int verbose_level)orbiter::layer1_foundations::projective_space
circle_type_of_line_subset(int *pts, int nb_pts, int *circle_type, int verbose_level)orbiter::layer1_foundations::projective_space
compute_bisecants_and_conics(long int *arc6, int *&bisecants, int *&conics, int verbose_level)orbiter::layer1_foundations::projective_space
compute_decomposition(data_structures::partitionstack *S1, data_structures::partitionstack *S2, incidence_structure *&Inc, data_structures::partitionstack *&Stack, int verbose_level)orbiter::layer1_foundations::projective_space
compute_decomposition_based_on_tally(tally *T1, tally *T2, incidence_structure *&Inc, data_structures::partitionstack *&Stack, int verbose_level)orbiter::layer1_foundations::projective_space
compute_eckardt_point_info(algebraic_geometry::surface_domain *Surf, long int *arc6, int verbose_level)orbiter::layer1_foundations::projective_space
conic_intersection_type(int f_randomized, int nb_times, long int *set, int set_size, int threshold, int *&intersection_type, int &highest_intersection_number, int f_save_largest_sets, data_structures::set_of_sets *&largest_sets, int verbose_level)orbiter::layer1_foundations::projective_space
conic_points(long int *five_pts, int *six_coeffs, long int *points, int &nb_points, int verbose_level)orbiter::layer1_foundations::projective_space
conic_points_brute_force(int *six_coeffs, long int *points, int &nb_points, int verbose_level)orbiter::layer1_foundations::projective_space
conic_test(long int *S, int len, int pt, int verbose_level)orbiter::layer1_foundations::projective_space
conic_type(long int *set, int set_size, int threshold, long int **&Pts_on_conic, int **&Conic_eqn, int *&nb_pts_on_conic, int &nb_conics, int verbose_level)orbiter::layer1_foundations::projective_space
conic_type_randomized(int nb_times, long int *set, int set_size, long int **&Pts_on_conic, int *&nb_pts_on_conic, int &len, int verbose_level)orbiter::layer1_foundations::projective_space
create_cuspidal_cubic(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_elliptic_curve(int elliptic_curve_b, int elliptic_curve_c, std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_hyperplane(int pt, std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_latex_report(layered_graph_draw_options *O, int verbose_level)orbiter::layer1_foundations::projective_space
create_latex_report_for_Grassmannian(int k, int verbose_level)orbiter::layer1_foundations::projective_space
create_lines_on_point(long int point_rk, long int *line_pencil, int verbose_level)orbiter::layer1_foundations::projective_space
create_lines_on_point_but_inside_a_plane(long int point_rk, long int plane_rk, long int *line_pencil, int verbose_level)orbiter::layer1_foundations::projective_space
create_Maruta_Hamada_arc(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_ovoid(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_point_on_line(long int line_rk, int pt_rk, int verbose_level)orbiter::layer1_foundations::projective_space
create_points_on_line(long int line_rk, long int *line, int verbose_level)orbiter::layer1_foundations::projective_space
create_twisted_cubic(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_unital_XXq_YZq_ZYq(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
create_unital_XXq_YZq_ZYq_brute_force(long int *U, int &sz, int verbose_level)orbiter::layer1_foundations::projective_space
create_whole_space(std::string &label_txt, std::string &label_tex, int &nb_pts, long int *&Pts, int verbose_level)orbiter::layer1_foundations::projective_space
decomposition_from_set_partition(int nb_subsets, int *sz, int **subsets, incidence_structure *&Inc, data_structures::partitionstack *&Stack, int verbose_level)orbiter::layer1_foundations::projective_space
determine_conic_in_plane(long int *input_pts, int nb_pts, int *six_coeffs, int verbose_level)orbiter::layer1_foundations::projective_space
determine_cubic_in_plane(ring_theory::homogeneous_polynomial_domain *Poly_3_3, int nb_pts, long int *Pts, int *coeff10, int verbose_level)orbiter::layer1_foundations::projective_space
determine_hermitian_form_in_plane(int *pts, int nb_pts, int *six_coeffs, int verbose_level)orbiter::layer1_foundations::projective_space
determine_line_in_plane(long int *two_input_pts, int *three_coeffs, int verbose_level)orbiter::layer1_foundations::projective_space
determine_nonconical_six_subsets(long int *set, int set_size, std::vector< int > &Rk, int verbose_level)orbiter::layer1_foundations::projective_space
determine_quadric_in_solid(long int *nine_pts_or_more, int nb_pts, int *ten_coeffs, int verbose_level)orbiter::layer1_foundations::projective_space
do_pluecker_reverse(std::ostream &ost, grassmann *Gr, int k, int nb_k_subspaces, int verbose_level)orbiter::layer1_foundations::projective_space
draw_point_set_in_plane(std::string &fname, layered_graph_draw_options *O, long int *Pts, int nb_pts, int f_point_labels, int verbose_level)orbiter::layer1_foundations::projective_space
dual_rank_of_line_in_plane(long int line_rank, int verbose_level)orbiter::layer1_foundations::projective_space
dual_rank_of_plane_in_three_space(long int plane_rank, int verbose_level)orbiter::layer1_foundations::projective_space
elliptic_curve_addition(int *A6, int p1_rk, int p2_rk, int verbose_level)orbiter::layer1_foundations::projective_space
elliptic_curve_addition_table(int *A6, int *Pts, int nb_pts, int *&Table, int verbose_level)orbiter::layer1_foundations::projective_space
export_incidence_matrix_to_csv(int verbose_level)orbiter::layer1_foundations::projective_space
Forbiter::layer1_foundations::projective_space
find_external_lines(long int *set, int set_size, long int *external_lines, int &nb_external_lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_k_secant_lines(long int *set, int set_size, int k, long int *secant_lines, int &nb_secant_lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_lines_which_are_contained(std::vector< long int > &Points, std::vector< long int > &Lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_nucleus(int *set, int set_size, int &nucleus, int verbose_level)orbiter::layer1_foundations::projective_space
find_planes_which_intersect_in_at_least_s_points(long int *set, int set_size, int s, std::vector< int > &plane_ranks, int verbose_level)orbiter::layer1_foundations::projective_space
find_secant_lines(long int *set, int set_size, long int *lines, int &nb_lines, int max_lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_secant_lines(long int *set, int set_size, long int *secant_lines, int &nb_secant_lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_tangent_lines(long int *set, int set_size, long int *tangent_lines, int &nb_tangent_lines, int verbose_level)orbiter::layer1_foundations::projective_space
find_tangent_lines_to_conic(int *six_coeffs, long int *points, int nb_points, long int *tangents, int verbose_level)orbiter::layer1_foundations::projective_space
find_two_lines_for_arc_lifting(long int P1, long int P2, long int &line1, long int &line2, int verbose_level)orbiter::layer1_foundations::projective_space
freeself()orbiter::layer1_foundations::projective_space
Goorbiter::layer1_foundations::projective_space
Grass_hyperplanesorbiter::layer1_foundations::projective_space
Grass_linesorbiter::layer1_foundations::projective_space
Grass_planesorbiter::layer1_foundations::projective_space
Grass_stackorbiter::layer1_foundations::projective_space
hyperplane_intersection_type_basic(long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
hyperplane_lifting_with_two_lines_fixed(int *A3, int f_semilinear, int frobenius, long int line1, long int line2, int *A4, int verbose_level)orbiter::layer1_foundations::projective_space
hyperplane_lifting_with_two_lines_moved(long int line1_from, long int line1_to, long int line2_from, long int line2_to, int *A4, int verbose_level)orbiter::layer1_foundations::projective_space
Implementationorbiter::layer1_foundations::projective_space
incidence_and_stack_for_type_ij(int row_type, int col_type, incidence_structure *&Inc, data_structures::partitionstack *&Stack, int verbose_level)orbiter::layer1_foundations::projective_space
incidence_m_ii(int pt, int line, int a)orbiter::layer1_foundations::projective_space
incma_for_type_ij(int row_type, int col_type, int *&Incma, int &nb_rows, int &nb_cols, int verbose_level)orbiter::layer1_foundations::projective_space
init(int n, field_theory::finite_field *F, int f_init_incidence_structure, int verbose_level)orbiter::layer1_foundations::projective_space
init_incidence_structure(int verbose_level)orbiter::layer1_foundations::projective_space
init_polarity(int verbose_level)orbiter::layer1_foundations::projective_space
intersect_with_line(long int *set, int set_sz, int line_rk, long int *intersection, int &sz, int verbose_level)orbiter::layer1_foundations::projective_space
intersection_of_subspace_with_point_set(grassmann *G, int rk, long int *set, int set_size, long int *&intersection_set, int &intersection_set_size, int verbose_level)orbiter::layer1_foundations::projective_space
intersection_of_subspace_with_point_set_rank_is_longinteger(grassmann *G, ring_theory::longinteger_object &rk, long int *set, int set_size, long int *&intersection_set, int &intersection_set_size, int verbose_level)orbiter::layer1_foundations::projective_space
intersection_of_two_lines(long int l1, long int l2)orbiter::layer1_foundations::projective_space
is_contained_in_Baer_subline(long int *pts, int nb_pts, int verbose_level)orbiter::layer1_foundations::projective_space
is_incident(int pt, int line)orbiter::layer1_foundations::projective_space
korbiter::layer1_foundations::projective_space
klein_correspondence(projective_space *P5, long int *set_in, int set_size, long int *set_out, int verbose_level)orbiter::layer1_foundations::projective_space
klein_correspondence_special_model(projective_space *P5, int *table, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection(int line_rank, long int *set, int set_size, std::vector< int > &point_indices, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection_type(long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection_type_basic(long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection_type_basic_given_a_set_of_lines(long int *lines_by_rank, int nb_lines, long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection_type_collected(long int *set, int set_size, int *type_collected, int verbose_level)orbiter::layer1_foundations::projective_space
line_intersection_type_through_hyperplane(long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
line_of_intersection_of_two_planes_in_three_space(long int plane1, long int plane2, int verbose_level)orbiter::layer1_foundations::projective_space
line_of_intersection_of_two_planes_in_three_space_using_dual_coordinates(long int plane1, long int plane2, int verbose_level)orbiter::layer1_foundations::projective_space
line_plane_incidence_matrix_restricted(long int *Lines, int nb_lines, int *&M, int &nb_planes, int verbose_level)orbiter::layer1_foundations::projective_space
line_rank_using_dual_coordinates_in_plane(int *eqn3, int verbose_level)orbiter::layer1_foundations::projective_space
line_through_two_points(long int p1, long int p2)orbiter::layer1_foundations::projective_space
make_fname_incidence_matrix_csv(std::string &fname)orbiter::layer1_foundations::projective_space
make_incidence_matrix(int &m, int &n, int *&Inc, int verbose_level)orbiter::layer1_foundations::projective_space
make_incidence_matrix(std::vector< int > &Pts, std::vector< int > &Lines, int *&Inc, int verbose_level)orbiter::layer1_foundations::projective_space
make_incidence_structure_and_partition(incidence_structure *&Inc, data_structures::partitionstack *&Stack, int verbose_level)orbiter::layer1_foundations::projective_space
Mtxorbiter::layer1_foundations::projective_space
Mtx2orbiter::layer1_foundations::projective_space
norbiter::layer1_foundations::projective_space
N_linesorbiter::layer1_foundations::projective_space
N_pointsorbiter::layer1_foundations::projective_space
nb_rk_k_subspaces_as_lint(int k)orbiter::layer1_foundations::projective_space
Nb_subspacesorbiter::layer1_foundations::projective_space
nonconical_six_arc_get_nb_Eckardt_points(long int *Arc6, int verbose_level)orbiter::layer1_foundations::projective_space
plane_equation_from_three_lines_in_three_space(long int *three_lines, int *plane_eqn4, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection(int plane_rank, long int *set, int set_size, std::vector< int > &point_indices, std::vector< int > &point_local_coordinates, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_invariant(grassmann *G, long int *set, int set_size, int *&intersection_type, int &highest_intersection_number, int *&intersection_matrix, int &nb_planes, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_matrix_in_three_space(long int *Planes, int nb_planes, int *&Intersection_matrix, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_type(grassmann *G, long int *set, int set_size, int *&intersection_type, int &highest_intersection_number, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_type_basic(long int *set, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_type_fast(grassmann *G, long int *set, int set_size, ring_theory::longinteger_object *&R, long int **&Pts_on_plane, int *&nb_pts_on_plane, int &len, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersection_type_slow(grassmann *G, long int *set, int set_size, ring_theory::longinteger_object *&R, long int **&Pts_on_plane, int *&nb_pts_on_plane, int &len, int verbose_level)orbiter::layer1_foundations::projective_space
plane_intersections(grassmann *G, long int *set, int set_size, ring_theory::longinteger_object *&R, data_structures::set_of_sets &SoS, int verbose_level)orbiter::layer1_foundations::projective_space
plane_rank_using_dual_coordinates_in_three_space(int *eqn4, int verbose_level)orbiter::layer1_foundations::projective_space
planes_through_a_line(long int line_rk, std::vector< long int > &plane_ranks, int verbose_level)orbiter::layer1_foundations::projective_space
Pluecker_coordinates(int line_rk, int *v6, int verbose_level)orbiter::layer1_foundations::projective_space
point_of_intersection_of_a_line_and_a_line_in_three_space(long int line1, long int line2, int verbose_level)orbiter::layer1_foundations::projective_space
point_of_intersection_of_a_line_and_a_plane_in_three_space(long int line, int plane, int verbose_level)orbiter::layer1_foundations::projective_space
point_plane_incidence_matrix(long int *point_rks, int nb_points, long int *plane_rks, int nb_planes, int *&M, int verbose_level)orbiter::layer1_foundations::projective_space
point_types_of_line_set(long int *set_of_lines, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
point_types_of_line_set_int(int *set_of_lines, int set_size, int *type, int verbose_level)orbiter::layer1_foundations::projective_space
points_on_projective_triangle(long int *&set, int &set_size, long int *three_points, int verbose_level)orbiter::layer1_foundations::projective_space
polarity_rank_k_subspace(int k, long int rk_in, long int &rk_out, int verbose_level)orbiter::layer1_foundations::projective_space
print_all_points()orbiter::layer1_foundations::projective_space
print_line_set_numerical(long int *set, int set_size)orbiter::layer1_foundations::projective_space
print_set(long int *set, int set_size)orbiter::layer1_foundations::projective_space
print_set_numerical(std::ostream &ost, long int *set, int set_size)orbiter::layer1_foundations::projective_space
print_set_of_points(std::ostream &ost, long int *Pts, int nb_pts)orbiter::layer1_foundations::projective_space
projective_space()orbiter::layer1_foundations::projective_space
qorbiter::layer1_foundations::projective_space
quadric_points_brute_force(int *ten_coeffs, long int *points, int &nb_points, int verbose_level)orbiter::layer1_foundations::projective_space
rorbiter::layer1_foundations::projective_space
rank_line(int *basis)orbiter::layer1_foundations::projective_space
rank_plane(int *basis)orbiter::layer1_foundations::projective_space
rank_point(int *v)orbiter::layer1_foundations::projective_space
rearrange_arc_for_lifting(long int *Arc6, long int P1, long int P2, int partition_rk, long int *arc, int verbose_level)orbiter::layer1_foundations::projective_space
report(std::ostream &ost, layered_graph_draw_options *O, int verbose_level)orbiter::layer1_foundations::projective_space
report_summary(std::ostream &ost)orbiter::layer1_foundations::projective_space
Reversal_polarityorbiter::layer1_foundations::projective_space
reverse_engineer_semilinear_map(int *Elt, int *Mtx, int &frobenius, int verbose_level)orbiter::layer1_foundations::projective_space
Standard_polarityorbiter::layer1_foundations::projective_space
test_if_conic_contains_point(int *six_coeffs, int pt)orbiter::layer1_foundations::projective_space
test_if_lines_are_disjoint(long int l1, long int l2)orbiter::layer1_foundations::projective_space
test_if_lines_are_disjoint_from_scratch(long int l1, long int l2)orbiter::layer1_foundations::projective_space
test_if_lines_are_skew(int line1, int line2, int verbose_level)orbiter::layer1_foundations::projective_space
test_nb_Eckardt_points(algebraic_geometry::surface_domain *Surf, long int *S, int len, int pt, int nb_E, int verbose_level)orbiter::layer1_foundations::projective_space
transversal_to_two_skew_lines_through_a_point(long int line1, long int line2, int pt, int verbose_level)orbiter::layer1_foundations::projective_space
unrank_line(int *basis, long int rk)orbiter::layer1_foundations::projective_space
unrank_lines(int *v, long int *Rk, int nb)orbiter::layer1_foundations::projective_space
unrank_plane(int *basis, long int rk)orbiter::layer1_foundations::projective_space
unrank_point(int *v, long int rk)orbiter::layer1_foundations::projective_space
unrank_points(int *v, long int *Rk, int sz)orbiter::layer1_foundations::projective_space
vorbiter::layer1_foundations::projective_space
worbiter::layer1_foundations::projective_space
~projective_space()orbiter::layer1_foundations::projective_space