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]