W_K.at Function Index


Functions

Function Argument(s) -> Results
lift_action KGBElt x, W_word w->mat
factor_action KGBElt x,W_word w->mat
small_Levi KGBElt x->RealForm
small_Levi_coroots_K KGBElt x->mat
nice_choices_x RealForm G->[KGBElt]
nice_choice_x RealForm G->KGBElt
W_c_perp KGBElt x->[(RootDatum,[int])]
convert_W_word (RootDatum rd_L,[int] w),RootDatum rd_G->W_word
R_K_dom KGBElt x->[W_word]
W_K KGBElt x->(RootDatum,[(RootDatum,[int])])
move_weight (KGBElt x,vec mu),KGBElt y->KHighestWeight
R_K_dom_mu_orbit KHighestWeight (x,mu)->[KHighestWeight]
P_positive_test_coweight KGBElt x,W_word S->vec
P_positive_test_coweights KGBElt x->[vec]
is_P_positive KGBElt x,vec mu,[W_word] S->bool
make_strongly_dominant KGBElt x,vec mu->((KGBElt,vec),W_word,W_word,bool)
R_K_dom_mu KGBElt x,vec mu->[W_word]