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