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 |
nilrad | Parabolic P->mat |
nilrad_roots | Parabolic P->mat |
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 |
nilrad | ratvec lambda,KGBElt x->mat |
nilrad_roots | ratvec lambda,KGBElt x->mat |
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 |
nilrad_alt | ratvec H,KGBElt x->mat |
nilrad_roots_alt | ratvec H,KGBElt x->mat |
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]) |