Script Reference
truncated_induction.at
Definitions
| Name | Signature | Description |
|---|---|---|
| ti_verbose | ||
| truncate | ct_G,[int] char,(int->int) degree_function) = | |
| truncate_induce_character | = | |
| truncate | (SpringerTable st_G,[int] char,(int->int) degree_function) = | |
| induce_orbit | st_G,ComplexNilpotent O_L) = ComplexNilpotent: | |
| induce_orbit | (RootDatum G,ComplexNilpotent O_L) = ComplexNilpotent: | |
| test_induce_orbits | G,[int] simple_roots_of_L) = void: | |
| select | ct, [int] character, int desired_value, (int->int) function)=[(int,int)]: | |
| select_degree | ct, [int] character, int desired_value)=[(int,int)]: | |
| select_generic_degree | ct, [int] character, int desired_value)=[(int,int)]: | |
| select | ct, [int] character, int desired_value_1,int desired_value_2, (int->int) function_1,(int->int) | |
| J_induce | (CharacterTable ct_L,CharacterTable ct_G,int index_character_L) = | |
| J_induce | (CharacterTable ct_L,CharacterTable ct_G,int index_character_L, mat P) = | |
| j_induce | (CharacterTable ct_L,CharacterTable ct_G,int index_character_L)= | |
| j_induce | (CharacterTable ct_L,CharacterTable ct_G,int index_character_L, mat P)= | |
| jJ_induce | ct_L,CharacterTable ct_G,int index_character_L) = |