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 |