orbiter::layer1_foundations::projective_space Class Reference

projective space PG(n,q) of dimension n over Fq More...

#include <geometry.h>

Collaboration diagram for orbiter::layer1_foundations::projective_space:

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

Public Attributes
grassmann *	Grass_lines
grassmann *	Grass_planes
grassmann *	Grass_hyperplanes
grassmann **	Grass_stack
field_theory::finite_field *	F
ring_theory::longinteger_object *	Go
int	n
int	q
long int	N_points
long int	N_lines
long int *	Nb_subspaces
int	r
int	k
projective_space_implementation *	Implementation
polarity *	Standard_polarity
polarity *	Reversal_polarity
arc_in_projective_space *	Arc_in_projective_space
int *	v
int *	w
int *	Mtx
int *	Mtx2

Detailed Description

projective space PG(n,q) of dimension n over Fq

Definition at line 1929 of file geometry.h.

Constructor & Destructor Documentation

projective_space()

orbiter::layer1_foundations::projective_space::projective_space

(

)

Definition at line 23 of file projective_space.cpp.

~projective_space()

orbiter::layer1_foundations::projective_space::~projective_space

(

)

Definition at line 62 of file projective_space.cpp.

Member Function Documentation

andre_preimage()

void orbiter::layer1_foundations::projective_space::andre_preimage	(	projective_space *	P4,
		long int *	set2,
		int	sz2,
		long int *	set4,
		int &	sz4,
		int	verbose_level
	)

Definition at line 4694 of file projective_space2.cpp.

arc_test()

int orbiter::layer1_foundations::projective_space::arc_test	(	long int *	input_pts,
		int	nb_pts,
		int	verbose_level
	)

Definition at line 1096 of file projective_space.cpp.

Baer_subline()

void orbiter::layer1_foundations::projective_space::Baer_subline	(	long int *	pts3,
		long int *&	pts,
		int &	nb_pts,
		int	verbose_level
	)

Definition at line 2927 of file projective_space.cpp.

cheat_polarity()

void orbiter::layer1_foundations::projective_space::cheat_polarity	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 1611 of file projective_space2.cpp.

cheat_sheet_line_intersection()

void orbiter::layer1_foundations::projective_space::cheat_sheet_line_intersection	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 2017 of file projective_space2.cpp.

cheat_sheet_line_through_pairs_of_points()

void orbiter::layer1_foundations::projective_space::cheat_sheet_line_through_pairs_of_points	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 2059 of file projective_space2.cpp.

cheat_sheet_lines_on_points()

void orbiter::layer1_foundations::projective_space::cheat_sheet_lines_on_points	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 1742 of file projective_space2.cpp.

cheat_sheet_point_table()

void orbiter::layer1_foundations::projective_space::cheat_sheet_point_table	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 1632 of file projective_space2.cpp.

cheat_sheet_points()

void orbiter::layer1_foundations::projective_space::cheat_sheet_points	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 1510 of file projective_space2.cpp.

cheat_sheet_points_on_lines()

void orbiter::layer1_foundations::projective_space::cheat_sheet_points_on_lines	(	std::ostream &	f,
		int	verbose_level
	)

Definition at line 1695 of file projective_space2.cpp.

cheat_sheet_subspaces()

void orbiter::layer1_foundations::projective_space::cheat_sheet_subspaces	(	std::ostream &	f,
		int	k,
		int	verbose_level
	)

Definition at line 1794 of file projective_space2.cpp.

circle_type_of_line_subset()

void orbiter::layer1_foundations::projective_space::circle_type_of_line_subset	(	int *	pts,
		int	nb_pts,
		int *	circle_type,
		int	verbose_level
	)

Definition at line 245 of file projective_space2.cpp.

compute_bisecants_and_conics()

void orbiter::layer1_foundations::projective_space::compute_bisecants_and_conics	(	long int *	arc6,
		int *&	bisecants,
		int *&	conics,
		int	verbose_level
	)

Definition at line 1897 of file projective_space.cpp.

compute_decomposition()

void 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
	)

Definition at line 3555 of file projective_space.cpp.

compute_decomposition_based_on_tally()

void orbiter::layer1_foundations::projective_space::compute_decomposition_based_on_tally	(	tally *	T1,
		tally *	T2,
		incidence_structure *&	Inc,
		data_structures::partitionstack *&	Stack,
		int	verbose_level
	)

Definition at line 3611 of file projective_space.cpp.

compute_eckardt_point_info()

algebraic_geometry::eckardt_point_info * orbiter::layer1_foundations::projective_space::compute_eckardt_point_info	(	algebraic_geometry::surface_domain *	Surf,
		long int *	arc6,
		int	verbose_level
	)

Definition at line 1965 of file projective_space.cpp.

conic_intersection_type()

void 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
	)

Definition at line 2362 of file projective_space2.cpp.

conic_points()

void orbiter::layer1_foundations::projective_space::conic_points	(	long int *	five_pts,
		int *	six_coeffs,
		long int *	points,
		int &	nb_points,
		int	verbose_level
	)

Definition at line 1702 of file projective_space.cpp.

conic_points_brute_force()

void orbiter::layer1_foundations::projective_space::conic_points_brute_force	(	int *	six_coeffs,
		long int *	points,
		int &	nb_points,
		int	verbose_level
	)

Definition at line 1613 of file projective_space.cpp.

conic_test()

int orbiter::layer1_foundations::projective_space::conic_test	(	long int *	S,
		int	len,
		int	pt,
		int	verbose_level
	)

Definition at line 1281 of file projective_space.cpp.

conic_type()

void 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
	)

Definition at line 2664 of file projective_space2.cpp.

conic_type_randomized()

void 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
	)

Definition at line 2103 of file projective_space2.cpp.

create_cuspidal_cubic()

void 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
	)

Definition at line 379 of file projective_space3.cpp.

create_elliptic_curve()

void 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
	)

Definition at line 571 of file projective_space3.cpp.

create_hyperplane()

void 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
	)

Definition at line 733 of file projective_space3.cpp.

create_latex_report()

void orbiter::layer1_foundations::projective_space::create_latex_report	(	layered_graph_draw_options *	O,
		int	verbose_level
	)

Definition at line 3429 of file projective_space.cpp.

create_latex_report_for_Grassmannian()

void orbiter::layer1_foundations::projective_space::create_latex_report_for_Grassmannian	(	int	k,
		int	verbose_level
	)

Definition at line 3492 of file projective_space.cpp.

create_lines_on_point()

void orbiter::layer1_foundations::projective_space::create_lines_on_point	(	long int	point_rk,
		long int *	line_pencil,
		int	verbose_level
	)

Definition at line 404 of file projective_space.cpp.

create_lines_on_point_but_inside_a_plane()

void 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
	)

Definition at line 448 of file projective_space.cpp.

create_Maruta_Hamada_arc()

void 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
	)

Definition at line 782 of file projective_space3.cpp.

create_ovoid()

void orbiter::layer1_foundations::projective_space::create_ovoid	(	std::string &	label_txt,
		std::string &	label_tex,
		int &	nb_pts,
		long int *&	Pts,
		int	verbose_level
	)

Definition at line 305 of file projective_space3.cpp.

create_point_on_line()

int orbiter::layer1_foundations::projective_space::create_point_on_line	(	long int	line_rk,
		int	pt_rk,
		int	verbose_level
	)

Definition at line 520 of file projective_space.cpp.

create_points_on_line()

void orbiter::layer1_foundations::projective_space::create_points_on_line	(	long int	line_rk,
		long int *	line,
		int	verbose_level
	)

Definition at line 380 of file projective_space.cpp.

create_twisted_cubic()

void 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
	)

Definition at line 500 of file projective_space3.cpp.

create_unital_XXq_YZq_ZYq()

void 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
	)

Definition at line 646 of file projective_space3.cpp.

create_unital_XXq_YZq_ZYq_brute_force()

void orbiter::layer1_foundations::projective_space::create_unital_XXq_YZq_ZYq_brute_force	(	long int *	U,
		int &	sz,
		int	verbose_level
	)

Definition at line 326 of file projective_space2.cpp.

create_whole_space()

void 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
	)

Definition at line 701 of file projective_space3.cpp.

decomposition_from_set_partition()

void 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
	)

Definition at line 3889 of file projective_space2.cpp.

determine_conic_in_plane()

int orbiter::layer1_foundations::projective_space::determine_conic_in_plane	(	long int *	input_pts,
		int	nb_pts,
		int *	six_coeffs,
		int	verbose_level
	)

Definition at line 1349 of file projective_space.cpp.

determine_cubic_in_plane()

int 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
	)

Definition at line 1448 of file projective_space.cpp.

determine_hermitian_form_in_plane()

int orbiter::layer1_foundations::projective_space::determine_hermitian_form_in_plane	(	int *	pts,
		int	nb_pts,
		int *	six_coeffs,
		int	verbose_level
	)

Definition at line 126 of file projective_space2.cpp.

determine_line_in_plane()

int orbiter::layer1_foundations::projective_space::determine_line_in_plane	(	long int *	two_input_pts,
		int *	three_coeffs,
		int	verbose_level
	)

Definition at line 1146 of file projective_space.cpp.

determine_nonconical_six_subsets()

void orbiter::layer1_foundations::projective_space::determine_nonconical_six_subsets	(	long int *	set,
		int	set_size,
		std::vector< int > &	Rk,
		int	verbose_level
	)

Definition at line 2458 of file projective_space2.cpp.

determine_quadric_in_solid()

void orbiter::layer1_foundations::projective_space::determine_quadric_in_solid	(	long int *	nine_pts_or_more,
		int	nb_pts,
		int *	ten_coeffs,
		int	verbose_level
	)

Definition at line 1527 of file projective_space.cpp.

do_pluecker_reverse()

void orbiter::layer1_foundations::projective_space::do_pluecker_reverse	(	std::ostream &	ost,
		grassmann *	Gr,
		int	k,
		int	nb_k_subspaces,
		int	verbose_level
	)

Definition at line 1930 of file projective_space2.cpp.

draw_point_set_in_plane()

void 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
	)

Definition at line 3369 of file projective_space2.cpp.

dual_rank_of_line_in_plane()

long int orbiter::layer1_foundations::projective_space::dual_rank_of_line_in_plane	(	long int	line_rank,
		int	verbose_level
	)

Definition at line 3791 of file projective_space2.cpp.

dual_rank_of_plane_in_three_space()

long int orbiter::layer1_foundations::projective_space::dual_rank_of_plane_in_three_space	(	long int	plane_rank,
		int	verbose_level
	)

Definition at line 3841 of file projective_space2.cpp.

elliptic_curve_addition()

int orbiter::layer1_foundations::projective_space::elliptic_curve_addition	(	int *	A6,
		int	p1_rk,
		int	p2_rk,
		int	verbose_level
	)

Definition at line 3165 of file projective_space2.cpp.

elliptic_curve_addition_table()

void orbiter::layer1_foundations::projective_space::elliptic_curve_addition_table	(	int *	A6,
		int *	Pts,
		int	nb_pts,
		int *&	Table,
		int	verbose_level
	)

Definition at line 3128 of file projective_space2.cpp.

export_incidence_matrix_to_csv()

void orbiter::layer1_foundations::projective_space::export_incidence_matrix_to_csv

(

int

verbose_level

)

Definition at line 3379 of file projective_space.cpp.

find_external_lines()

void 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
	)

Definition at line 2846 of file projective_space.cpp.

find_k_secant_lines()

void 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
	)

Definition at line 2906 of file projective_space.cpp.

find_lines_which_are_contained()

void orbiter::layer1_foundations::projective_space::find_lines_which_are_contained	(	std::vector< long int > &	Points,
		std::vector< long int > &	Lines,
		int	verbose_level
	)

Definition at line 2282 of file projective_space.cpp.

find_nucleus()

void orbiter::layer1_foundations::projective_space::find_nucleus	(	int *	set,
		int	set_size,
		int &	nucleus,
		int	verbose_level
	)

Definition at line 2965 of file projective_space2.cpp.

find_planes_which_intersect_in_at_least_s_points()

void 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
	)

Definition at line 1082 of file projective_space2.cpp.

find_secant_lines() [1/2]

void 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
	)

Definition at line 2236 of file projective_space.cpp.

find_secant_lines() [2/2]

void 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
	)

Definition at line 2886 of file projective_space.cpp.

find_tangent_lines()

void 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
	)

Definition at line 2866 of file projective_space.cpp.

find_tangent_lines_to_conic()

void 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
	)

Definition at line 1851 of file projective_space.cpp.

find_two_lines_for_arc_lifting()

void 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
	)

Definition at line 4053 of file projective_space2.cpp.

freeself()

void orbiter::layer1_foundations::projective_space::freeself

(

)

Definition at line 68 of file projective_space.cpp.

hyperplane_intersection_type_basic()

void orbiter::layer1_foundations::projective_space::hyperplane_intersection_type_basic	(	long int *	set,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2692 of file projective_space.cpp.

hyperplane_lifting_with_two_lines_fixed()

void 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
	)

Definition at line 4185 of file projective_space2.cpp.

hyperplane_lifting_with_two_lines_moved()

void 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
	)

Definition at line 4465 of file projective_space2.cpp.

incidence_and_stack_for_type_ij()

void 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
	)

Definition at line 834 of file projective_space.cpp.

incidence_m_ii()

void orbiter::layer1_foundations::projective_space::incidence_m_ii	(	int	pt,
		int	line,
		int	a
	)

Definition at line 662 of file projective_space.cpp.

incma_for_type_ij()

void 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
	)

Definition at line 741 of file projective_space.cpp.

init()

void orbiter::layer1_foundations::projective_space::init	(	int	n,
		field_theory::finite_field *	F,
		int	f_init_incidence_structure,
		int	verbose_level
	)

Definition at line 150 of file projective_space.cpp.

init_incidence_structure()

void orbiter::layer1_foundations::projective_space::init_incidence_structure

(

int

verbose_level

)

Definition at line 273 of file projective_space.cpp.

init_polarity()

void orbiter::layer1_foundations::projective_space::init_polarity

(

int

verbose_level

)

Definition at line 315 of file projective_space.cpp.

intersect_with_line()

void 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
	)

Definition at line 350 of file projective_space.cpp.

intersection_of_subspace_with_point_set()

void 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
	)

Definition at line 395 of file projective_space2.cpp.

intersection_of_subspace_with_point_set_rank_is_longinteger()

void 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
	)

Definition at line 432 of file projective_space2.cpp.

intersection_of_two_lines()

int orbiter::layer1_foundations::projective_space::intersection_of_two_lines	(	long int	l1,
		long int	l2
	)

Definition at line 1056 of file projective_space.cpp.

is_contained_in_Baer_subline()

int orbiter::layer1_foundations::projective_space::is_contained_in_Baer_subline	(	long int *	pts,
		int	nb_pts,
		int	verbose_level
	)

Definition at line 80 of file projective_space2.cpp.

is_incident()

int orbiter::layer1_foundations::projective_space::is_incident	(	int	pt,
		int	line
	)

Definition at line 616 of file projective_space.cpp.

klein_correspondence()

void orbiter::layer1_foundations::projective_space::klein_correspondence	(	projective_space *	P5,
		long int *	set_in,
		int	set_size,
		long int *	set_out,
		int	verbose_level
	)

Definition at line 1303 of file projective_space2.cpp.

klein_correspondence_special_model()

void orbiter::layer1_foundations::projective_space::klein_correspondence_special_model	(	projective_space *	P5,
		int *	table,
		int	verbose_level
	)

Definition at line 1421 of file projective_space2.cpp.

line_intersection()

void orbiter::layer1_foundations::projective_space::line_intersection	(	int	line_rank,
		long int *	set,
		int	set_size,
		std::vector< int > &	point_indices,
		int	verbose_level
	)

Definition at line 1250 of file projective_space2.cpp.

line_intersection_type()

void orbiter::layer1_foundations::projective_space::line_intersection_type	(	long int *	set,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2000 of file projective_space.cpp.

line_intersection_type_basic()

void orbiter::layer1_foundations::projective_space::line_intersection_type_basic	(	long int *	set,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2030 of file projective_space.cpp.

line_intersection_type_basic_given_a_set_of_lines()

void 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
	)

Definition at line 2061 of file projective_space.cpp.

line_intersection_type_collected()

void orbiter::layer1_foundations::projective_space::line_intersection_type_collected	(	long int *	set,
		int	set_size,
		int *	type_collected,
		int	verbose_level
	)

Definition at line 2751 of file projective_space.cpp.

line_intersection_type_through_hyperplane()

void orbiter::layer1_foundations::projective_space::line_intersection_type_through_hyperplane	(	long int *	set,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2095 of file projective_space.cpp.

line_of_intersection_of_two_planes_in_three_space()

long int orbiter::layer1_foundations::projective_space::line_of_intersection_of_two_planes_in_three_space	(	long int	plane1,
		long int	plane2,
		int	verbose_level
	)

Definition at line 3638 of file projective_space2.cpp.

line_of_intersection_of_two_planes_in_three_space_using_dual_coordinates()

long int 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
	)

Definition at line 3669 of file projective_space2.cpp.

line_plane_incidence_matrix_restricted()

void orbiter::layer1_foundations::projective_space::line_plane_incidence_matrix_restricted	(	long int *	Lines,
		int	nb_lines,
		int *&	M,
		int &	nb_planes,
		int	verbose_level
	)

Definition at line 3438 of file projective_space2.cpp.

line_rank_using_dual_coordinates_in_plane()

long int orbiter::layer1_foundations::projective_space::line_rank_using_dual_coordinates_in_plane	(	int *	eqn3,
		int	verbose_level
	)

Definition at line 3767 of file projective_space2.cpp.

line_through_two_points()

long int orbiter::layer1_foundations::projective_space::line_through_two_points	(	long int	p1,
		long int	p2
	)

Definition at line 1011 of file projective_space.cpp.

make_fname_incidence_matrix_csv()

void orbiter::layer1_foundations::projective_space::make_fname_incidence_matrix_csv

(

std::string &

fname

)

Definition at line 3419 of file projective_space.cpp.

make_incidence_matrix() [1/2]

void orbiter::layer1_foundations::projective_space::make_incidence_matrix	(	int &	m,
		int &	n,
		int *&	Inc,
		int	verbose_level
	)

Definition at line 560 of file projective_space.cpp.

make_incidence_matrix() [2/2]

void orbiter::layer1_foundations::projective_space::make_incidence_matrix	(	std::vector< int > &	Pts,
		std::vector< int > &	Lines,
		int *&	Inc,
		int	verbose_level
	)

Definition at line 586 of file projective_space.cpp.

make_incidence_structure_and_partition()

void orbiter::layer1_foundations::projective_space::make_incidence_structure_and_partition	(	incidence_structure *&	Inc,
		data_structures::partitionstack *&	Stack,
		int	verbose_level
	)

Definition at line 677 of file projective_space.cpp.

nb_rk_k_subspaces_as_lint()

long int orbiter::layer1_foundations::projective_space::nb_rk_k_subspaces_as_lint

(

int

k

)

Definition at line 875 of file projective_space.cpp.

nonconical_six_arc_get_nb_Eckardt_points()

int orbiter::layer1_foundations::projective_space::nonconical_six_arc_get_nb_Eckardt_points	(	long int *	Arc6,
		int	verbose_level
	)

Definition at line 1224 of file projective_space.cpp.

plane_equation_from_three_lines_in_three_space()

void orbiter::layer1_foundations::projective_space::plane_equation_from_three_lines_in_three_space	(	long int *	three_lines,
		int *	plane_eqn4,
		int	verbose_level
	)

Definition at line 3866 of file projective_space2.cpp.

plane_intersection()

void 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
	)

Definition at line 1178 of file projective_space2.cpp.

plane_intersection_invariant()

void 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
	)

Definition at line 469 of file projective_space2.cpp.

plane_intersection_matrix_in_three_space()

void orbiter::layer1_foundations::projective_space::plane_intersection_matrix_in_three_space	(	long int *	Planes,
		int	nb_planes,
		int *&	Intersection_matrix,
		int	verbose_level
	)

Definition at line 3736 of file projective_space2.cpp.

plane_intersection_type()

void 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
	)

Definition at line 603 of file projective_space2.cpp.

plane_intersection_type_basic()

void orbiter::layer1_foundations::projective_space::plane_intersection_type_basic	(	long int *	set,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2624 of file projective_space.cpp.

plane_intersection_type_fast()

void 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
	)

Definition at line 811 of file projective_space2.cpp.

plane_intersection_type_slow()

void 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
	)

Definition at line 715 of file projective_space2.cpp.

plane_intersections()

void 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
	)

Definition at line 669 of file projective_space2.cpp.

plane_rank_using_dual_coordinates_in_three_space()

long int orbiter::layer1_foundations::projective_space::plane_rank_using_dual_coordinates_in_three_space	(	int *	eqn4,
		int	verbose_level
	)

Definition at line 3817 of file projective_space2.cpp.

planes_through_a_line()

void orbiter::layer1_foundations::projective_space::planes_through_a_line	(	long int	line_rk,
		std::vector< long int > &	plane_ranks,
		int	verbose_level
	)

Definition at line 4886 of file projective_space2.cpp.

Pluecker_coordinates()

void orbiter::layer1_foundations::projective_space::Pluecker_coordinates	(	int	line_rk,
		int *	v6,
		int	verbose_level
	)

Definition at line 1378 of file projective_space2.cpp.

point_of_intersection_of_a_line_and_a_line_in_three_space()

int 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
	)

Definition at line 3534 of file projective_space2.cpp.

point_of_intersection_of_a_line_and_a_plane_in_three_space()

int 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
	)

Definition at line 3589 of file projective_space2.cpp.

point_plane_incidence_matrix()

void 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
	)

Definition at line 2556 of file projective_space.cpp.

point_types_of_line_set()

void orbiter::layer1_foundations::projective_space::point_types_of_line_set	(	long int *	set_of_lines,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2810 of file projective_space.cpp.

point_types_of_line_set_int()

void orbiter::layer1_foundations::projective_space::point_types_of_line_set_int	(	int *	set_of_lines,
		int	set_size,
		int *	type,
		int	verbose_level
	)

Definition at line 2828 of file projective_space.cpp.

points_on_projective_triangle()

void orbiter::layer1_foundations::projective_space::points_on_projective_triangle	(	long int *&	set,
		int &	set_size,
		long int *	three_points,
		int	verbose_level
	)

Definition at line 3076 of file projective_space2.cpp.

polarity_rank_k_subspace()

void orbiter::layer1_foundations::projective_space::polarity_rank_k_subspace	(	int	k,
		long int	rk_in,
		long int &	rk_out,
		int	verbose_level
	)

Definition at line 3667 of file projective_space.cpp.

print_all_points()

void orbiter::layer1_foundations::projective_space::print_all_points

(

)

Definition at line 916 of file projective_space.cpp.

print_line_set_numerical()

void orbiter::layer1_foundations::projective_space::print_line_set_numerical	(	long int *	set,
		int	set_size
	)

Definition at line 62 of file projective_space2.cpp.

print_set()

void orbiter::layer1_foundations::projective_space::print_set	(	long int *	set,
		int	set_size
	)

Definition at line 43 of file projective_space2.cpp.

print_set_numerical()

void orbiter::layer1_foundations::projective_space::print_set_numerical	(	std::ostream &	ost,
		long int *	set,
		int	set_size
	)

Definition at line 24 of file projective_space2.cpp.

print_set_of_points()

void orbiter::layer1_foundations::projective_space::print_set_of_points	(	std::ostream &	ost,
		long int *	Pts,
		int	nb_pts
	)

Definition at line 887 of file projective_space.cpp.

quadric_points_brute_force()

void orbiter::layer1_foundations::projective_space::quadric_points_brute_force	(	int *	ten_coeffs,
		long int *	points,
		int &	nb_points,
		int	verbose_level
	)

Definition at line 1657 of file projective_space.cpp.

rank_line()

long int orbiter::layer1_foundations::projective_space::rank_line

(

int *

basis

)

Definition at line 965 of file projective_space.cpp.

rank_plane()

long int orbiter::layer1_foundations::projective_space::rank_plane

(

int *

basis

)

Definition at line 988 of file projective_space.cpp.

rank_point()

long int orbiter::layer1_foundations::projective_space::rank_point

(

int *

v

)

Definition at line 932 of file projective_space.cpp.

rearrange_arc_for_lifting()

void 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
	)

Definition at line 4005 of file projective_space2.cpp.

report()

void orbiter::layer1_foundations::projective_space::report	(	std::ostream &	ost,
		layered_graph_draw_options *	O,
		int	verbose_level
	)

Definition at line 3206 of file projective_space.cpp.

report_summary()

void orbiter::layer1_foundations::projective_space::report_summary

(

std::ostream &

ost

)

Definition at line 3193 of file projective_space.cpp.

reverse_engineer_semilinear_map()

int orbiter::layer1_foundations::projective_space::reverse_engineer_semilinear_map	(	int *	Elt,
		int *	Mtx,
		int &	frobenius,
		int	verbose_level
	)

Definition at line 23 of file projective_space3.cpp.

test_if_conic_contains_point()

int orbiter::layer1_foundations::projective_space::test_if_conic_contains_point	(	int *	six_coeffs,
		int	pt
	)

Definition at line 1321 of file projective_space.cpp.

test_if_lines_are_disjoint()

int orbiter::layer1_foundations::projective_space::test_if_lines_are_disjoint	(	long int	l1,
		long int	l2
	)

Definition at line 1022 of file projective_space.cpp.

test_if_lines_are_disjoint_from_scratch()

int orbiter::layer1_foundations::projective_space::test_if_lines_are_disjoint_from_scratch	(	long int	l1,
		long int	l2
	)

Definition at line 1036 of file projective_space.cpp.

test_if_lines_are_skew()

int orbiter::layer1_foundations::projective_space::test_if_lines_are_skew	(	int	line1,
		int	line2,
		int	verbose_level
	)

Definition at line 3489 of file projective_space2.cpp.

test_nb_Eckardt_points()

int 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
	)

Definition at line 1246 of file projective_space.cpp.

transversal_to_two_skew_lines_through_a_point()

long int orbiter::layer1_foundations::projective_space::transversal_to_two_skew_lines_through_a_point	(	long int	line1,
		long int	line2,
		int	pt,
		int	verbose_level
	)

Definition at line 3700 of file projective_space2.cpp.

unrank_line()

void orbiter::layer1_foundations::projective_space::unrank_line	(	int *	basis,
		long int	rk
	)

Definition at line 973 of file projective_space.cpp.

unrank_lines()

void orbiter::layer1_foundations::projective_space::unrank_lines	(	int *	v,
		long int *	Rk,
		int	nb
	)

Definition at line 978 of file projective_space.cpp.

unrank_plane()

void orbiter::layer1_foundations::projective_space::unrank_plane	(	int *	basis,
		long int	rk
	)

Definition at line 1001 of file projective_space.cpp.

unrank_point()

void orbiter::layer1_foundations::projective_space::unrank_point	(	int *	v,
		long int	rk
	)

Definition at line 951 of file projective_space.cpp.

unrank_points()

void orbiter::layer1_foundations::projective_space::unrank_points	(	int *	v,
		long int *	Rk,
		int	sz
	)

Definition at line 956 of file projective_space.cpp.

Member Data Documentation

Arc_in_projective_space

arc_in_projective_space* orbiter::layer1_foundations::projective_space::Arc_in_projective_space

Definition at line 1959 of file geometry.h.

F

field_theory::finite_field* orbiter::layer1_foundations::projective_space::F

Definition at line 1939 of file geometry.h.

Go

ring_theory::longinteger_object* orbiter::layer1_foundations::projective_space::Go

Definition at line 1940 of file geometry.h.

Grass_hyperplanes

grassmann* orbiter::layer1_foundations::projective_space::Grass_hyperplanes

Definition at line 1935 of file geometry.h.

Grass_lines

grassmann* orbiter::layer1_foundations::projective_space::Grass_lines

Definition at line 1933 of file geometry.h.

Grass_planes

grassmann* orbiter::layer1_foundations::projective_space::Grass_planes

Definition at line 1934 of file geometry.h.

Grass_stack

grassmann** orbiter::layer1_foundations::projective_space::Grass_stack

Definition at line 1937 of file geometry.h.

Implementation

projective_space_implementation* orbiter::layer1_foundations::projective_space::Implementation

Definition at line 1953 of file geometry.h.

k

int orbiter::layer1_foundations::projective_space::k

Definition at line 1951 of file geometry.h.

Mtx

int* orbiter::layer1_foundations::projective_space::Mtx

Definition at line 1963 of file geometry.h.

Mtx2

int* orbiter::layer1_foundations::projective_space::Mtx2

Definition at line 1964 of file geometry.h.

n

int orbiter::layer1_foundations::projective_space::n

Definition at line 1942 of file geometry.h.

N_lines

long int orbiter::layer1_foundations::projective_space::N_lines

Definition at line 1944 of file geometry.h.

N_points

long int orbiter::layer1_foundations::projective_space::N_points

Definition at line 1944 of file geometry.h.

Nb_subspaces

long int* orbiter::layer1_foundations::projective_space::Nb_subspaces

Definition at line 1945 of file geometry.h.

q

int orbiter::layer1_foundations::projective_space::q

Definition at line 1943 of file geometry.h.

r

int orbiter::layer1_foundations::projective_space::r

Definition at line 1950 of file geometry.h.

Reversal_polarity

polarity* orbiter::layer1_foundations::projective_space::Reversal_polarity

Definition at line 1957 of file geometry.h.

Standard_polarity

polarity* orbiter::layer1_foundations::projective_space::Standard_polarity

Definition at line 1956 of file geometry.h.

v

int* orbiter::layer1_foundations::projective_space::v

Definition at line 1961 of file geometry.h.

w

int* orbiter::layer1_foundations::projective_space::w

Definition at line 1962 of file geometry.h.

---

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

• src/lib/foundations/geometry/geometry.h
• src/lib/foundations/geometry/projective_space.cpp
• src/lib/foundations/geometry/projective_space2.cpp
• src/lib/foundations/geometry/projective_space3.cpp