Script Reference
weak_packets_precomputed_cell_traces.at
Computes weak Arthur packets using precomputed cell characters, mainly intended for E8_s where computing cell data from scratch is prohibitively expensive.
Note
To enable the E8 functionality, delete the {CUT and /CUT} lines near the end of the file, which prevent loading the E8 data by default: loading it is slow and requires about 100 GB of RAM.
Definitions
| Name | Signature | Description |
|---|---|---|
| real_form | ([(([Param],[WCell]),[([int],[int])])] data)=RealForm: | get RealForm from cell_and_character_data |
| weak_packet_int | (SpringerTable st_int, ComplexNilpotent O_check, [(([Param],[WCell]),[([int],[int])])] cell_and_character_data) | weak packet of an even dual orbit from precomputed cell characters |
| weak_packet_int | (SpringerTable st_int, ComplexNilpotent O_check, (([Param],[WCell]),[([int],[int])]) cell_and_character_data) | single-block variant of the previous |
| weak_packets | (SpringerTable st, [ComplexNilpotent] dual_orbits, [(([Param],[WCell]),[([int],[int])])] cell_and_character_data) | run over a set of orbits; use the precomputed version iff the orbit is even |
| weak_packet | (SpringerTable st, ComplexNilpotent O_check, [(([Param],[WCell]),[([int],[int])])] cell_and_character_data) | |
| weak_packets | (SpringerTable st, [ComplexNilpotent] dual_orbits, (([Param],[WCell]),[([int],[int])]) cell_and_character_data) | single-block variant |
| weak_packets | (SpringerTable st, [(([Param],[WCell]),[([int],[int])])] cell_and_character_data) | run over G.root_datum.dual_orbits (G is included in data) |
| weak_packets | (RealForm G, [ComplexNilpotent] dual_orbits, [(([Param],[WCell]),[([int],[int])])] cell_and_character_data) | compute the SpringerTable also |
| weak_packets | (RealForm G, [ComplexNilpotent] dual_orbits, (([Param],[WCell]),[([int],[int])]) cell_and_character_data) | single-block variant, computing the SpringerTable |
| cell_and_character_data | (CharacterTable ct,[Param] parameters) | prepare cell_data for input to weak_packets(st,O,cell_data) |
| cell_and_character_data | (CharacterTable ct,RealForm G) | |
| weak_packets_pre | (RealForm G,CharacterTable ct) |