aql.at Function Index¶
Functions
Function | Argument(s) -> Results |
---|---|
inf_chars_dom_for_L | Param p, Parabolic P->[ratvec] |
inf_chars_for_L | Param p,Parabolic P->[ratvec] |
inf_chars_for_L | ratvec gamma,Parabolic P->[ratvec] |
one_dim_params_gamma | ratvec ic, Parabolic P->[Param] |
wf_one_dim_params | ratvec ic, Parabolic P->[Param] |
wf_aqs_param_pol | Param p, Parabolic P->[(Param,ParamPol)] |
wf_aqs_param | Param p, Parabolic P->[(Param,Param)] |
is_weakly_fair_Aq_from_P | Param p, Parabolic P->bool |
special_theta_stable_parabolics | RealForm G->[Parabolic] |
all_wf_Aq_with_ic_of | Param p->[Param] |
is_weakly_fair_Aq | Param p->bool |
is_wf_induced_from_one_dim | Param p->[(Parabolic,Param)] |
one_dim_real_induced_param_pol | Param p, Parabolic P->[(Param,ParamPol)] |
one_dim_real_induced_param | Param p, Parabolic P->[(Param,Param)] |
is_real_induced_from_character_from_P | Param p, Parabolic P->bool |
is_real_induced_from_one_dimensional | Param p->bool |
real_induced_from_one_dim | Param p->[(Parabolic,Param)] |
wf_aqs_param_pol | ratvec gamma, Parabolic P->[(Param,ParamPol)] |
wf_aqs_param | ratvec gamma, Parabolic P->[(Param,Param)] |
is_unitary_by_cases | Param p->bool |
is_unitary_sr | Param p->bool |
is_unitary_reduced_with_form | Param p->(ParamPol,bool) |
is_unitary_reduced | Param p->bool |