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

to rank and unrank subspaces of a fixed dimension in F_q^n More...

#include <geometry.h>

Collaboration diagram for orbiter::layer1_foundations::grassmann:
Collaboration graph
[legend]

Public Member Functions

 grassmann ()
 
 ~grassmann ()
 
void init (int n, int k, field_theory::finite_field *F, int verbose_level)
 
long int nb_of_subspaces (int verbose_level)
 
void print_single_generator_matrix_tex (std::ostream &ost, long int a)
 
void print_single_generator_matrix_tex_numerical (std::ostream &ost, long int a)
 
void print_set (long int *v, int len)
 
void print_set_tex (std::ostream &ost, long int *v, int len)
 
void print_set_tex_with_perp (std::ostream &ost, long int *v, int len)
 
int nb_points_covered (int verbose_level)
 
void points_covered (long int *the_points, int verbose_level)
 
void unrank_lint_here (int *Mtx, long int rk, int verbose_level)
 
long int rank_lint_here (int *Mtx, int verbose_level)
 
void unrank_embedded_subspace_lint (long int rk, int verbose_level)
 
long int rank_embedded_subspace_lint (int verbose_level)
 
void unrank_embedded_subspace_lint_here (int *Basis, long int rk, int verbose_level)
 
void unrank_lint (long int rk, int verbose_level)
 
long int rank_lint (int verbose_level)
 
void unrank_longinteger_here (int *Mtx, ring_theory::longinteger_object &rk, int verbose_level)
 
void rank_longinteger_here (int *Mtx, ring_theory::longinteger_object &rk, int verbose_level)
 
void unrank_longinteger (ring_theory::longinteger_object &rk, int verbose_level)
 
void rank_longinteger (ring_theory::longinteger_object &r, int verbose_level)
 
void print ()
 
int dimension_of_join (long int rk1, long int rk2, int verbose_level)
 
void unrank_lint_here_and_extend_basis (int *Mtx, long int rk, int verbose_level)
 
void unrank_lint_here_and_compute_perp (int *Mtx, long int rk, int verbose_level)
 
void line_regulus_in_PG_3_q (long int *&regulus, int &regulus_size, int f_opposite, int verbose_level)
 
void compute_dual_line_idx (int *&dual_line_idx, int *&self_dual_lines, int &nb_self_dual_lines, int verbose_level)
 
void compute_dual_spread (int *spread, int *dual_spread, int spread_size, int verbose_level)
 
void latex_matrix (std::ostream &ost, int *p)
 
void latex_matrix_numerical (std::ostream &ost, int *p)
 
void create_Schlaefli_graph (int *&Adj, int &sz, int verbose_level)
 
long int make_special_element_zero (int verbose_level)
 
long int make_special_element_one (int verbose_level)
 
long int make_special_element_infinity (int verbose_level)
 

Public Attributes

int n
 
int k
 
int q
 
ring_theory::longinteger_object * nCkq
 
field_theory::finite_field * F
 
int * base_cols
 
int * coset
 
int * M
 
int * M2
 
int * v
 
int * w
 
grassmann * G
 

Detailed Description

to rank and unrank subspaces of a fixed dimension in F_q^n

Definition at line 923 of file geometry.h.

Constructor & Destructor Documentation

◆ grassmann()

orbiter::layer1_foundations::grassmann::grassmann ( )

Definition at line 21 of file grassmann.cpp.

◆ ~grassmann()

orbiter::layer1_foundations::grassmann::~grassmann ( )

Definition at line 37 of file grassmann.cpp.

Member Function Documentation

◆ compute_dual_line_idx()

void orbiter::layer1_foundations::grassmann::compute_dual_line_idx ( int *&  dual_line_idx,
int *&  self_dual_lines,
int &  nb_self_dual_lines,
int  verbose_level 
)

Definition at line 1090 of file grassmann.cpp.

◆ compute_dual_spread()

void orbiter::layer1_foundations::grassmann::compute_dual_spread ( int *  spread,
int *  dual_spread,
int  spread_size,
int  verbose_level 
)

Definition at line 1142 of file grassmann.cpp.

◆ create_Schlaefli_graph()

void orbiter::layer1_foundations::grassmann::create_Schlaefli_graph ( int *&  Adj,
int &  sz,
int  verbose_level 
)

Definition at line 1213 of file grassmann.cpp.

◆ dimension_of_join()

int orbiter::layer1_foundations::grassmann::dimension_of_join ( long int  rk1,
long int  rk2,
int  verbose_level 
)

Definition at line 927 of file grassmann.cpp.

◆ init()

void orbiter::layer1_foundations::grassmann::init ( int  n,
int  k,
field_theory::finite_field *  F,
int  verbose_level 
)

Definition at line 69 of file grassmann.cpp.

◆ latex_matrix()

void orbiter::layer1_foundations::grassmann::latex_matrix ( std::ostream &  ost,
int *  p 
)

Definition at line 1199 of file grassmann.cpp.

◆ latex_matrix_numerical()

void orbiter::layer1_foundations::grassmann::latex_matrix_numerical ( std::ostream &  ost,
int *  p 
)

Definition at line 1206 of file grassmann.cpp.

◆ line_regulus_in_PG_3_q()

void orbiter::layer1_foundations::grassmann::line_regulus_in_PG_3_q ( long int *&  regulus,
int &  regulus_size,
int  f_opposite,
int  verbose_level 
)

Definition at line 1006 of file grassmann.cpp.

◆ make_special_element_infinity()

long int orbiter::layer1_foundations::grassmann::make_special_element_infinity ( int  verbose_level)

Definition at line 1350 of file grassmann.cpp.

◆ make_special_element_one()

long int orbiter::layer1_foundations::grassmann::make_special_element_one ( int  verbose_level)

Definition at line 1320 of file grassmann.cpp.

◆ make_special_element_zero()

long int orbiter::layer1_foundations::grassmann::make_special_element_zero ( int  verbose_level)

Definition at line 1291 of file grassmann.cpp.

◆ nb_of_subspaces()

long int orbiter::layer1_foundations::grassmann::nb_of_subspaces ( int  verbose_level)

Definition at line 112 of file grassmann.cpp.

◆ nb_points_covered()

int orbiter::layer1_foundations::grassmann::nb_points_covered ( int  verbose_level)

Definition at line 245 of file grassmann.cpp.

◆ points_covered()

void orbiter::layer1_foundations::grassmann::points_covered ( long int *  the_points,
int  verbose_level 
)

Definition at line 254 of file grassmann.cpp.

◆ print()

void orbiter::layer1_foundations::grassmann::print ( )

Definition at line 922 of file grassmann.cpp.

◆ print_set()

void orbiter::layer1_foundations::grassmann::print_set ( long int *  v,
int  len 
)

Definition at line 142 of file grassmann.cpp.

◆ print_set_tex()

void orbiter::layer1_foundations::grassmann::print_set_tex ( std::ostream &  ost,
long int *  v,
int  len 
)

Definition at line 156 of file grassmann.cpp.

◆ print_set_tex_with_perp()

void orbiter::layer1_foundations::grassmann::print_set_tex_with_perp ( std::ostream &  ost,
long int *  v,
int  len 
)

Definition at line 201 of file grassmann.cpp.

◆ print_single_generator_matrix_tex()

void orbiter::layer1_foundations::grassmann::print_single_generator_matrix_tex ( std::ostream &  ost,
long int  a 
)

Definition at line 121 of file grassmann.cpp.

◆ print_single_generator_matrix_tex_numerical()

void orbiter::layer1_foundations::grassmann::print_single_generator_matrix_tex_numerical ( std::ostream &  ost,
long int  a 
)

Definition at line 134 of file grassmann.cpp.

◆ rank_embedded_subspace_lint()

long int orbiter::layer1_foundations::grassmann::rank_embedded_subspace_lint ( int  verbose_level)

Definition at line 304 of file grassmann.cpp.

◆ rank_lint()

long int orbiter::layer1_foundations::grassmann::rank_lint ( int  verbose_level)

Definition at line 485 of file grassmann.cpp.

◆ rank_lint_here()

long int orbiter::layer1_foundations::grassmann::rank_lint_here ( int *  Mtx,
int  verbose_level 
)

Definition at line 274 of file grassmann.cpp.

◆ rank_longinteger()

void orbiter::layer1_foundations::grassmann::rank_longinteger ( ring_theory::longinteger_object &  r,
int  verbose_level 
)

Definition at line 763 of file grassmann.cpp.

◆ rank_longinteger_here()

void orbiter::layer1_foundations::grassmann::rank_longinteger_here ( int *  Mtx,
ring_theory::longinteger_object &  rk,
int  verbose_level 
)

Definition at line 619 of file grassmann.cpp.

◆ unrank_embedded_subspace_lint()

void orbiter::layer1_foundations::grassmann::unrank_embedded_subspace_lint ( long int  rk,
int  verbose_level 
)

Definition at line 280 of file grassmann.cpp.

◆ unrank_embedded_subspace_lint_here()

void orbiter::layer1_foundations::grassmann::unrank_embedded_subspace_lint_here ( int *  Basis,
long int  rk,
int  verbose_level 
)

Definition at line 317 of file grassmann.cpp.

◆ unrank_lint()

void orbiter::layer1_foundations::grassmann::unrank_lint ( long int  rk,
int  verbose_level 
)

Definition at line 342 of file grassmann.cpp.

◆ unrank_lint_here()

void orbiter::layer1_foundations::grassmann::unrank_lint_here ( int *  Mtx,
long int  rk,
int  verbose_level 
)

Definition at line 268 of file grassmann.cpp.

◆ unrank_lint_here_and_compute_perp()

void orbiter::layer1_foundations::grassmann::unrank_lint_here_and_compute_perp ( int *  Mtx,
long int  rk,
int  verbose_level 
)

Definition at line 978 of file grassmann.cpp.

◆ unrank_lint_here_and_extend_basis()

void orbiter::layer1_foundations::grassmann::unrank_lint_here_and_extend_basis ( int *  Mtx,
long int  rk,
int  verbose_level 
)

Definition at line 945 of file grassmann.cpp.

◆ unrank_longinteger()

void orbiter::layer1_foundations::grassmann::unrank_longinteger ( ring_theory::longinteger_object &  rk,
int  verbose_level 
)

Definition at line 626 of file grassmann.cpp.

◆ unrank_longinteger_here()

void orbiter::layer1_foundations::grassmann::unrank_longinteger_here ( int *  Mtx,
ring_theory::longinteger_object &  rk,
int  verbose_level 
)

Definition at line 612 of file grassmann.cpp.

Member Data Documentation

◆ base_cols

int* orbiter::layer1_foundations::grassmann::base_cols

Definition at line 928 of file geometry.h.

◆ coset

int* orbiter::layer1_foundations::grassmann::coset

Definition at line 929 of file geometry.h.

◆ F

field_theory::finite_field* orbiter::layer1_foundations::grassmann::F

Definition at line 927 of file geometry.h.

◆ G

grassmann* orbiter::layer1_foundations::grassmann::G

Definition at line 935 of file geometry.h.

◆ k

int orbiter::layer1_foundations::grassmann::k

Definition at line 925 of file geometry.h.

◆ M

int* orbiter::layer1_foundations::grassmann::M

Definition at line 930 of file geometry.h.

◆ M2

int* orbiter::layer1_foundations::grassmann::M2

Definition at line 932 of file geometry.h.

◆ n

int orbiter::layer1_foundations::grassmann::n

Definition at line 925 of file geometry.h.

◆ nCkq

ring_theory::longinteger_object* orbiter::layer1_foundations::grassmann::nCkq

Definition at line 926 of file geometry.h.

◆ q

int orbiter::layer1_foundations::grassmann::q

Definition at line 925 of file geometry.h.

◆ v

int* orbiter::layer1_foundations::grassmann::v

Definition at line 933 of file geometry.h.

◆ w

int* orbiter::layer1_foundations::grassmann::w

Definition at line 934 of file geometry.h.

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