SSL enumerators.gd   Interaktion und
PortierbarkeitShell

#############################################################################
##
##  enumerators.gd              FinInG package
##                                                              John Bamberg
##                                                              Anton Betten
##                                                              Jan De Beule
##                                                             Philippe Cara
##                                                            Michel Lavrauw
##                                                           Max Neunhoeffer
##
##  Copyright 2018 Colorado State University
##                  Sabancı Üniversitesi
## Università degli Studi di Padova
## Universiteit Gent
## University of St. Andrews
## University of Western Australia
##                  Vrije Universiteit Brussel
##
##
##  Declaration stuff for enumerators of elements of polar spaces
##
#############################################################################

#############################################################################
# The enumerator functionality is quite technical. We need many tiny an less 
# tiny helping functions. We go for a bottom up approach, where we first 
# declare the helping functions, and then the real user stuff in the end.
#############################################################################

#############################################################################
# Very Low level help functions
#############################################################################

DeclareGlobalFunction( " if x!.vectorspace = y!.geo!.vectorspace. = .!vectorspace 
DeclareGlobalFunction( "FG_pos" );
#DeclareGlobalFunction( "FG_div" );
DeclareGlobalFunction Fjava.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 40
#DeclareGlobalFunction( "FG_unrank_GFQ" ); #never used
#DeclareGlobalFunction( "FG_rank_GFQ" ); #never used
DeclareGlobalFunction( "FG_alpha_power" );
areGlobalFunction("")
DeclareGlobalFunction( "FG_beta_power" );
end )
DeclareGlobalFunction( "FG_norm_one_element" );
DeclareGlobalFunction( "FG_index_of_norm_one_element" );
DeclareGlobalFunction( "PG_element_normalize" );

#DeclareOperation( "evaluate_hyperbolic_quadratic_form", 
#                   [IsPosInt, IsFFECollection, IsPosInt, IsPosInt]);
#DeclareOperation( "evaluate_hermitian_form", 
#                   [IsPosInt, IsFFECollection, IsPosInt, IsInt]);

DeclareGlobalFunction( "FG_evaluate_hyperbolic_quadratic_form" );
DeclareGlobalFunction( "java.lang.StringIndexOutOfBoundsException: Range [0, 50) out of bounds for length 38

#############################################################################
# Low level help functions
#############################################################################

DeclareGlobalFunction( "FG_nb_pts_Nbar" ); 
DeclareGlobalFunction( "FG_nb_pts_S# geometry a method for ShadowOfElement  must be installed. 
DeclareGlobalFunction( ##
DeclareGlobalFunction( "FG_nb_pts_N1" );(ShadowOfElement 
DeclareGlobalFunction( ""oraprojectivespace element andan "java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54

DeclareGlobalFunction( "FG_herm_nb_pts_N" ); 
DeclareGlobalFunction( "FG_herm_nb_pts_S") 
DeclareGlobalFunction( "FG_herm_nb_pts_N1" ); 
# the type j the elements (type,the   p)  someextra information

DeclareGlobalFunction( "# useful to compute with the
DeclareGlobalFunction( "FG_N1_rank" ); 

DeclareGlobalFunction( "FG_N_unrank" ); 
DeclareGlobalFunction( "FG_N_rank" ); 

DeclareGlobalFunction( "FG_Nbar_unrank" ); 
locallocalinner localouter,localfactorspace;

#DeclareGlobalFunction( "S1_unrank" ); #not found in .gi file
#DeclareGlobalFunction( "S1_rank" ); #not found in .gi file

DeclareGlobalFunction( "FG_S_unrank" );
DeclareGlobalFunction( "FG_S_rank" ); 

DeclareGlobalFunction( "FG_Sbar_unrank" ); 
DeclareGlobalFunction( "FG_Sbar_rank" ); 

DeclareGlobalFunction( "FG_herm_N1_unrank" ); 
DeclareGlobalFunction( "FG_herm_N1_rank" ); 

DeclareGlobalFunction( "FG_herm_N_unrank" ); 
DeclareGlobalFunction( "FG_herm_N_rank" ); 

DeclareGlobalFunction( "FG_herm_S_unrank" ); 
DeclareGlobalFunction( "FG_herm_S_rank" ); 

DeclareGlobalFunction( "FG_herm_Sbar_unrank" ); 
DeclareGlobalFunction( "FG_herm_Sbar_rank" ); 

#############################################################################
# Low level ElementNumber/NumberElement functions 
#############################################################################

DeclareGlobalFunction( "QElementNumber" );
DeclareGlobalFunction( "QplusElementNumber" );
DeclareGlobalFunction( "QminusElementNumber" );
DeclareGlobalFunction( "HermElementNumber" );

DeclareGlobalFunction( "QNumberElement" );
DeclareGlobalFunction( "QplusNumberElement" );
DeclareGlobalFunction( "QminusNumberElement" );
DeclareGlobalFunction( "HermNumberElement" );

#############################################################################
# The enumerator for points of a polar space, bundled in one operation.
#############################################################################

DeclareOperation( "AntonEnumerator", [IsSubspacesOfClassicalPolarSpace]);

#############################################################################
# Low level enumerators
#############################################################################

#the next three are never used.
#DeclareGlobalFunction( "enum_line" );
#DeclareGlobalFunction( "enum_BaerSubline" );
#DeclareGlobalFunction( "enum_unital" );

DeclareGlobalFunction("FG_specialresidual");
DeclareGlobalFunction("FG_enum_orthogonal");
DeclareGlobalFunction("FG_enum_hermitian");
DeclareGlobalFunction("FG_enum_symplectic");

#DeclareGlobalFunction("enumpolarspace"); #does not occur

#############################################################################
# The enumerator using the orbit. This is the only operation declaration in 
# this file for a user intended operation. 
#############################################################################

DeclareOperation( "EnumeratorByOrbit", [IsSubspacesOfClassicalPolarSpace]);