| 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_space | orbiter::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 | |
| F | orbiter::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 | |
| Go | orbiter::layer1_foundations::projective_space | |
| Grass_hyperplanes | orbiter::layer1_foundations::projective_space | |
| Grass_lines | orbiter::layer1_foundations::projective_space | |
| Grass_planes | orbiter::layer1_foundations::projective_space | |
| Grass_stack | orbiter::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 | |
| Implementation | orbiter::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 | |
| k | orbiter::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 | |
| Mtx | orbiter::layer1_foundations::projective_space | |
| Mtx2 | orbiter::layer1_foundations::projective_space | |
| n | orbiter::layer1_foundations::projective_space | |
| N_lines | orbiter::layer1_foundations::projective_space | |
| N_points | orbiter::layer1_foundations::projective_space | |
| nb_rk_k_subspaces_as_lint(int k) | orbiter::layer1_foundations::projective_space | |
| Nb_subspaces | orbiter::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 | |
| q | orbiter::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 | |
| r | orbiter::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_polarity | orbiter::layer1_foundations::projective_space | |
| reverse_engineer_semilinear_map(int *Elt, int *Mtx, int &frobenius, int verbose_level) | orbiter::layer1_foundations::projective_space | |
| Standard_polarity | orbiter::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 | |
| v | orbiter::layer1_foundations::projective_space | |
| w | orbiter::layer1_foundations::projective_space | |
| ~projective_space() | orbiter::layer1_foundations::projective_space | |