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]] |