Script Reference

nilpotent_centralizer.at

Lines:
310
Definitions:
27
Dependencies:
basic.atnilpotent_orbits.atgalois.at
Source:
GitHub

Definitions

NameSignatureDescription
torusO) = mat: { columns are coweights generating torus }columns are coweights generating torus
m_0(ComplexNilpotent O,vec alpha) = int:
m_2(ComplexNilpotent O,vec alpha) = int:
m(ComplexNilpotent O,vec alpha) = int: m_0(O,alpha)-m_2(O,alpha)
centralizer_roots(ComplexNilpotent O)=([vec],[vec]):
centralizer_roots_and_corootsO)=(mat,mat,mat,mat):
centralizerO)=RootDatum:
dim_centralizerO)=int:O.centralizer.dimension
dim_centralizer_nilradicalO)=int:
test(ComplexNilpotent O) = void:
show_nilpotent_orbitsorbits)=void:
show_nilpotent_orbitsrd)=void:
show_nilpotent_orbits_longorbits)=void:
show_nilpotent_orbits_longrd)=void:
show_nilpotent_orbits_longrds)=void:
list
show_nilpotent_orbits_plusorbits)=void:
show_nilpotent_orbits_plusrd)=void:
show_nilpotent_orbitsorbits,RealForm G)=void:
show_nilpotent_orbitsG)=void:
describe_isogenyrd)=void:
describe_isogenyO)=void:describe_isogeny(centralizer(O))
show_centralizer_isogenyO)=void:
show_centralizer_isogeniesrd)=void:
dim_nilradical_parabolic_HO)=int:
check_nilradical_dimensionsO)=
check_nilradical_dimensionsrd)=[int]: