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])