Script Reference

geck_generic.at

Lines:
480
Definitions:
51
Dependencies:
basic.atcharacter_tables.atK_highest_weights.atgeneric_degrees.atspringer_tables_reductive.at
Source:
GitHub

Definitions

NameSignatureDescription
set_generic_degreect,int i,(->int) f,bool t)=int:0
set_generic_degreect)=(int i,(->int) f,bool t):set_generic_degree(ct,i,f,t)
has_generic_degreect)=(int i):true
generic_degreesct,[WCell] cells) = [int]:
update_generic_degreesct,[WCell] cells) = void:
generic_degreesct,[Param] parameters) = [int]:
update_generic_degreesct,RealForm G) = void:
update_generic_degreesct)=(RealForm->void):(RealForm G):update_generic_degrees(ct,G)
update_generic_degreesst,RealForm G)=void:update_generic_degrees(st.ct,G)
update_generic_degreesst)=(RealForm->void):(RealForm G):update_generic_degrees(st.ct,G)
generic_degreesct,[WCell] cells, int cell_size_cutoff) = [int]:
show_degreesct) = void:
gg_verbose
equal_subgroupsL,RootDatum M)=bool:
find_LeviG,RootDatum M,RootDatum L)=(RootDatum,WeylElt):
conjugacy_classes_reflections_simplerd)=[WeylElt]:
conjugacy_classes_reflectionsrd)=[WeylElt]:
conjugacy_classes_reflectionswct)=[int]:
omega_Lct, int j,(WeylElt->int) weight_function)=int:
default_weight_functionw):1
max_standard_Levi_conjugacy_representatives(RootDatum rd) = [ [int] ]:
max_Levi_subgroupsrd)=[RootDatum]:
lookup_character_table_oldG,[CharacterTable] tables)=(int,ratmat):
lookup_character_tableM,[CharacterTable] tables)=(int,WeylElt):
a_primeG,[CharacterTable] tables, int table_index, int character_index)=int:
update_one_table_geck([CharacterTable] tables, int table_index) = void:
showtables)=void:
has_all_generic_degreesct)=bool:
update_one_table_mixed_strategytables, int table_index, int cell_size_cutoff)=void:
all_levi_tablesG)=
all_levi_tables_plusG)=
set_generic_degrees_geck_longG)=[CharacterTable]:
set_generic_degrees_geckG)=CharacterTable:set_generic_degrees_geck_long(G)[0]
set_generic_degrees_plusG)=[CharacterTable]:
set_generic_degreesG)=CharacterTable:set_generic_degrees_plus(G)[0]
update_generic_degrees_using_signct)=void:
update_generic_degrees_using_signtables)=void:
set_generic_degrees_2G)=[CharacterTable]:
set_generic_degrees_3G)=[CharacterTable]:
character_table_generic_degreesG)=
Springer_table_generic_degreesG)=
geck_generic_degreerd, CharacterTable ct,int index_rd)=
geck_generic_degreerd,int i)=int:geck_generic_degree(rd,rd.character_table,i)
geck_generic_degreesrd,CharacterTable ct)=[int]:
geck_generic_degreesrd)=[int]:geck_generic_degrees(rd,rd.character_table)
test_geck_generic_degreesct, [int] computed_degrees)=bool:
test_generic_degreesct1,CharacterTable ct2)=
test_generic_degreesG,CharacterTable ct)=
test_generic_degreesG)=
update_generic_degrees_geckspringer_tables)=void:
all_Levi_Springer_tablesG)=