Script Reference
finite_unipotents.at
Definitions
| Name | Signature | Description |
|---|---|---|
| tri | n)=rat_as_int(n*(n+1)/2) | |
| cc_BC | n)=int:if =n then 1 else #conjugacy_class_reps(Sp(2*n)) fi | |
| cc_D | n)=int:if =n then 1 else #conjugacy_class_reps(SO(2*n)) fi | |
| number_unipotents_BC | n)=int: | |
| number_unipotents_D | n)=int: | |
| number_unipotents_simple | rd)= | |
| number_unipotents | rd)= | |
| print_number_unipotents | n)= | |
| count_orbits_and_centralizers | rd)= | |
| show_count_orbits_and_centralizers | d)=void: | |
| show_count_orbits_and_centralizers | rd)=show_count_orbits_and_centralizers(count_orbits_and_centralizers(rd | |
| count_unipotents | rd)= | |
| show_count_unipotents | rd)= | |
| orbits_and_unipotents | rd)= | |
| orbits_and_unipotents_strict | rd)= |