# parabolics.at Function Index¶

Functions

Function Argument(s) -> Results
sort_by (KGBElt -> int) f->([KGBElt] v) [KGBElt]
KGP_elt KGPElt pair->KGPElt
S KGPElt(S,)->[int]
root_datum KGPElt(,x)->RootDatum
real_form KGPElt(,x)->RealForm
complement int n,[int] S->[int]
find_ascent [int] S, KGBElt x->[KGBElt]
down_neighbors [int] S,KGBElt x->[int]
is_maximal_in_partial_order [int] S,KGBElt x->bool
maxima_in_partial_order RealForm G,[int] S->[KGBElt]
maximal [int] S, KGBElt x->KGBElt
canonical_representative KGPElt y->KGPElt
= KGPElt (S,x),KGPElt (T,y)->bool
equivalence_class_of KGPElt(S,x)->[KGBElt]
rec_fun x_min KGPElt P->KGBElt
KGP RealForm G,[int] S->[KGPElt]
KGP_numbers RealForm G,[int] S->[int]
is_open KGPElt y->bool
is_closed KGPElt P->bool
KGP_elt ratvec lambda,KGBElt x->KGPElt
complex_parabolic Parabolic(S,x)->ComplexParabolic
complex_Levi RootDatum rd, (int->bool) select->RootDatum
is_Levi_theta_stable Parabolic (S,x)->bool
Levi Parabolic(S,x):P->RealForm
is_parabolic_theta_stable Parabolic (S,x):P->bool
is_parabolic_real Parabolic (S,x):P->bool
rho_u ComplexParabolic P->ratvec
rho_u Parabolic P->ratvec
rho_l Parabolic P->ratvec
zero_simple_coroots RootDatum rd, vec lambda->[int]
parabolic ratvec lambda,KGBElt x->Parabolic
parabolic_mute ratvec lambda,KGBElt x->Parabolic
theta_stable_parabolic ratvec lambda,KGBElt x->Parabolic
real_parabolic ratvec lambda,KGBElt x->Parabolic
Levi ratvec lambda,KGBElt x->RealForm
theta_stable_Levi ratvec lambda, KGBElt x->RealForm
real_Levi ratvec lambda, KGBElt x->RealForm
rho_u ratvec lambda,KGBElt x->ratvec
zero_simple_roots RootDatum rd, vec cowt->[int]
parabolic_alt ratvec H,KGBElt x->Parabolic
Levi_alt ratvec H,KGBElt x->RealForm
rho_u_alt ratvec H,KGBElt x->ratvec
rho_Levi_alt ratvec H,KGBElt x->ratvec
real_parabolic KGBElt x->Parabolic
real_Levi KGBElt x->RealForm
theta_stable_parabolic KGBElt x->Parabolic
theta_stable_Levi KGBElt x->RealForm
is_standard_Levi RealForm L,RealForm G->bool
KGP RealForm G,ComplexParabolic (rd,S)->[KGPElt]
parabolics RealForm G,ComplexParabolic (rd,S)->[Parabolic]
theta_stable_parabolics RealForm G,ComplexParabolic P->[Parabolic]
theta_stable_parabolics RealForm G->[Parabolic]
theta_stable_parabolics_type RealForm G,[int] P->[Parabolic]
all_rel_split_theta_stable_parabolics RealForm G->[Parabolic]
print_theta_stable_parabolics RealForm G->void
support KGBElt x->[int]
support_alt KGBElt x->[int]

Data Types

Data Type Name Definition
KGPElt ([int], KGBElt)
Parabolic ([int], KGBElt)
ComplexParabolic (RootDatum,[int])