induction.at Function Index


Functions

Function Argument(s) -> Results
embed_KGB KGBElt x_L,RealForm G->KGBElt
inverse_embed_KGB KGBElt x_G,RealForm L->KGBElt
makeS mat theta,RootDatum rd->mat
makeS KGBElt x->mat
rho_S (mat,RootDatum)pair->ratvec
rho_S KGBElt x->ratvec
make_parabolic RealForm L,RealForm G->Parabolic
real_induce_standard Param p_L,RealForm G->Param
real_induce_standard ParamPol P,RealForm G->ParamPol
real_induce_irreducible_as_sum_of_standards Param p_L, RealForm G->ParamPol
real_induce_irreducible_final Param p_L, RealForm G->ParamPol
real_induce_irreducible ParamPol P,RealForm G->ParamPol
cuspidal_data Param p->(Parabolic,Param)
theta_stable_data Param p->(Parabolic,Param)
coherent_std_imaginary W_word w,Param p->ParamPol
standardize Param p->ParamPol
standardize ParamPol P->ParamPol
theta_induce_standard Param p_L,RealForm G->ParamPol
theta_induce_parampol ParamPol P, RealForm G->ParamPol
theta_induce_irreducible_as_sum_of_standards Param p_L, RealForm G->ParamPol
theta_induce_irreducible_final Param p_L, RealForm G->ParamPol
theta_induce_irreducible ParamPol P,RealForm G->ParamPol
map_into_distinguished_fiber KGBElt x->KGBElt
strong_map_into_distinguished_fiber KGBElt x->KGBElt
canonical_x_K KGBElt x->KGBElt
canonical_x_K Param p->KGBElt
u KGBElt x->mat
rho_u_cx Parabolic P->ratvec
rho_u_cx_T Parabolic P->vec
rho_u_ic Parabolic P->ratvec
two_rho_u_cap_k Parabolic P->vec
two_rho_u_cap_s Parabolic P->vec
rho_u_cap_k Parabolic P->ratvec
rho_u_cap_s Parabolic P->ratvec
dim_u Parabolic P->int
dim_u KGBElt x->int
dim_u_cap_k Parabolic (,x):P->int
dim_u_cap_k KGBElt x->int
dim_u_cap_k ratvec lambda,KGBElt x->int
dim_u_cap_p Parabolic (,x):P->int
dim_u_cap_p KGBElt x->int
dim_u_cap_p ratvec lambda,KGBElt x->int
dim_u_cap_k_2 Parabolic P,ratvec H->int
dim_u_cap_k_ge2 Parabolic P,ratvec H->int
dim_u_cap_p_ge2 Parabolic P,ratvec H->int
dim_u_cap_k_1 Parabolic P,ratvec H->int
make_dominant KGBElt x_in,ratvec lambda_in, ratvec lambda_q_in->(KGBElt,ratvec,ratvec)
Aq_reducible KGBElt x_in,ratvec lambda_in, ratvec lambda_q->ParamPol
Aq KGBElt x_in,ratvec lambda_in, ratvec lambda_q->Param
Aq KGBElt x,ratvec lambda_in->Param
Aq RealForm G,ratvec lambda_in, ratvec lambda_q->Param
Aq RealForm G,ratvec lambda_in->Param
is_one_dimensional Param p->bool
is_unitary_character Param p->bool
is_good KGBElt x_in,ratvec lambda_in,ratvec lambda_q_in->bool
is_weakly_good KGBElt x_in,ratvec lambda_in,ratvec lambda_q_in->bool
is_fair KGBElt x_in,ratvec lambda_in,ratvec lambda_q_in->bool
is_weakly_fair KGBElt x_in,ratvec lambda_in,ratvec lambda_q_in->bool
goodness KGBElt x,ratvec lambda_in,ratvec lambda_q->string
is_good Param p_L,RealForm G->bool
is_weakly_good Param p_L,RealForm G->bool
is_fair Param p_L,RealForm G->bool
is_weakly_fair Param p_L,RealForm G->bool
goodness Param p_L,RealForm G->string
Aq_packet RealForm G,ComplexParabolic P->[Param]
Aq_packet RealForm G,[int] S->[Param]:Aq_packet(G,ComplexParabolic
Aq_packet RealForm G,[*] S->[Param]:Aq_packet(G,[int]
Aq_zeros RealForm G->[Param]
theta_stable_parabolics_max KGBElt x->[Parabolic]
theta_stable_parabolics_with KGBElt x->[Parabolic]
theta_stable_parabolics_with [Parabolic] tsp,KGBElt x->[Parabolic]
is_theta_x KGBElt x->bool
is_good_range_induced_from Param p->[Param]
reduce_good_range Param p->(Parabolic,Param)
is_good_Aq Param p->bool
is_proper_Aq Param p->bool
all_real_induced_one_dimensional RealForm G->[Param]