Script Reference
sommers.at
Definitions
| Name | Signature | Description |
|---|---|---|
| partition_sum | P,Partition Q)=Partition: | |
| multiplicity | = multiplicity(=@(int,int)) | |
| add_one | P)=Partition:P[0]+:=1;P | |
| subtract_one | P)=Partition:P~[0]-:=1;P | |
| dual_orbit | P)= | |
| complex_nilpotent_from_partition | rd, Partition p)= | |
| dim_nilpotent_partition | rd,Partition p)= | |
| star | (bool b) = string: { return a star if the condition is met, else empty } | return a star if the condition is met, else empty |
| print_nilpotent_orbit_partitions | rd)= | |
| print_nilpotent_orbit_partitions_special_only | rd)= | |
| print_nilpotent_orbit_partitions | rd,[vec] orbits)= | |
| print_nilpotent_orbit_partition | rd,vec orbit)= | |
| first | (a,,))=a | |
| last | (,,a))=a | |
| middle | (,a,))=a | |
| GL_part | (pairs,))=[(int,int)]: pairs | |
| classical_part | (,qdsymbol))=ClassicalOrbitSymbol:qdsymbol | |
| sum | S)= | |
| sum | S)= | |
| root_datum | S)= | |
| partitions_all_even_parts | n)= | |
| partitions_all_odd_parts | n)= | |
| cores | n)= | |
| underlying_orbit | S)= | |
| first | (b,,))=int:b | |
| last | (,,a))=int:a | |
| middle | (,middle,))=[(int,int,bool)]:middle | |
| validate_signs | first,[(int,int,bool)] m,int last)=bool: | |
| rank | (first,middle,last))=int: | |
| core | (a,b,c))=(a,for (x,y,) in b do (x,y) od,c) | |
| validate | (first,middle,last))=bool: | |
| validate | S)=bool: | |
| root_datum | S)= | |
| signs | S)= | |
| valid_signs | S)= | |
| dual_data | n)= | |
| dual_symbols | n)=## | |
| q | S)=Partition: | |
| p | S)= | |
| dual_orbit | S)= | |
| dual_orbit | S)=Partition: | |
| GL_part | P)= | |
| parts_C | P)= | |
| parts_B | P)= | |
| classical_part_C | P)= | |
| classical_part_B | P)= | |
| default_orbit_symbol_C | P)= | |
| default_orbit_symbol_B | P)= | |
| default_orbit_symbol | P)= | |
| ungroup | S)= | |
| regroup | P)= | |
| delete_all | i,[int] list)= | |
| delete_all | deletes,[int] list)= | |
| variants_C | S)= | |
| variants_B | S)= | |
| sort | list)= | |
| variants_C | S)= | |
| variants_B | S)= | |
| orbit_symbols_C | P)= | |
| orbit_symbols_B | P)= | |
| orbit_symbols | P)= | |
| sort_by_dual_orbit | = ([OrbitSymbol]->[OrbitSymbol]): | |
| birational_induction | S)= | |
| birational_induction | S)= | |
| orbit_symbols | rd)=[OrbitSymbol]: | |
| valid_symbols | rd)=[OrbitSymbol]: | |
| chain | a, int b)= | |
| infinitesimal_character_old | S)= | |
| infinitesimal_character | S)= | |
| is_distinguished | S)=bool: | |
| is_birigid | P)=bool:#sort_u(P)=max(P) | |
| test | rd)= | |
| test_valid_only | rd)= | |
| test | rd,Partition P)= |