special_rep.at

Lines:
278
Definitions:
18
Dependencies:
basic.atcharacter_tables.atspringer_tables.atgeck_generic.attruncated_induction.at
Source:
GitHub

Definitions

NameSignatureDescription
fig_verbose
find_induced_genericlevi_tables,
special_geck_datalevi_springer_tables, int index_table_G, (int index_char_G,bool tensor_sgn))=
special_geck_datalevi_springer_tables, int index_table_G,int index_char_G)=
special_geck_datalevi_springer_tables,int index_char_G)=
collapsetables, [(RootDatum,int,(int,bool))] triples)=(RootDatum,int,(int,bool)):
to_special_geck_longlevi_springer_tables, int index_table_G, (int index_char_G,bool tensor_sign))=(
to_special_geck_longlevi_springer_tables, int index_table_G,int index_char_G)=(int,RootDatum,int,in
to_special_geck_longlevi_springer_tables, int index_char_G)=(int,RootDatum,int,int,int):
to_special_gecklevi_springer_tables, int index_table_G,int index_char_G)=int:
to_special_gecklevi_springer_tables, int index_char_G)=int:
test_special_gecktables)=void:
to_specialG)=(int->int):
to_special_geckG,int i)=int:to_special_geck(all_Levi_Springer_tables(G),i)
test_special_mapsG)=bool:
test_special_mapsgroups)=[bool]:
test_special_maps
inducetables, int table_L, int table_G,int char_L)=[int]: