K_highest_weights.at Function Index¶
Functions
| Function | Argument(s) -> Results |
|---|---|
| = | KHighestWeight (x,mu), KHighestWeight (y,tau)->bool |
| LKTs | Param p->[K_Type] |
| LKT | Param p->K_Type |
| is_split_spherical | Param p->bool |
| is_split_spherical | K_Type p->bool |
| highest_weight_split_spherical | K_Type p->KHighestWeight |
| highest_weight_split_spherical | Param p->KHighestWeight |
| highest_weight_split_spherical | K_Type p,KGBElt x_K->KHighestWeight |
| highest_weight_split_spherical | Param p,KGBElt x_K->KHighestWeight |
| highest_weight_one | K_Type p->KHighestWeight |
| highest_weight_one | K_Type p,KGBElt x_K->KHighestWeight |
| highest_weights | K_Type p->[KHighestWeight] |
| highest_weights | K_Type p,KGBElt x_K->[KHighestWeight] |
| highest_weights | Param p->[KHighestWeight] |
| highest_weights | Param p,KGBElt x_K->[KHighestWeight] |
| highest_weight | K_Type p->KHighestWeight |
| highest_weight | K_Type p,KGBElt x_K->KHighestWeight |
| highest_weight | Param p->KHighestWeight |
| centralizer | KGBElt x,ratvec v->(KGBElt,RootDatum) |
| find_nci_root | KGBElt x,ratvec tau->int |
| tworho_K | KGBElt x->ratvec |
| project_on_dominant_cone | KGBElt x, ratvec mu->(KGBElt,ratvec,ratvec) |
| project_on_dominant_cone | KGBElt x, vec mu->(KGBElt,ratvec,ratvec) |
| characters_order_2 | KGBElt x->[vec] |
| all_G_spherical_same_differential | K_Type p->[K_Type] |
| all_G_spherical_same_differential | Param p->[K_Type] |
| parabolic_LKT | KHighestWeight (x,mu)->Parabolic |
| make_strongly_dominant | KHighestWeight mu,KGBElt x_Q->KHighestWeight |
| K_types | KHighestWeight mu_in->[K_Type] |
| K_type | KHighestWeight(x,mu)->K_Type |
| K0_highest_weight | KHighestWeight(x,mu)->Param |
| dimension_rat | KHighestWeight mu->rat |
| dimension | KHighestWeight mu->int |
| dimension_rat | K_Type p->rat |
| dimension | K_Type p->int |
| H_weight | KGBElt x,vec mu_K->KHighestWeight |
| fundamental_weights_K_H | KGBElt x->[ratvec] |
| K0_param | K_Type p,KGBElt x_K->Param |
| K0_param | K_Type p->Param |
| K0_params | Param p,KGBElt x_K->[Param] |
| K0_params | Param p->[Param] |
| K0_param | Param p,KGBElt x_K->Param |
| K0_param | Param p->Param |
| fundamental_weight_coordinates | KHighestWeight (x,mu)->vec |
| K_highest_weight_from_fundamental_weights | KGBElt x,vec tau->KHighestWeight |
| dimensions | Param p, KGBElt x_K->[int] |
| dimensions | Param p->[int] |
| dimensions | [Param] B->[[int]] |