W_K.at Function References


lift_action

lift_action:KGBElt x, W_word w->mat Defined in line number 34.


factor_action

factor_action:KGBElt x,W_word w->mat Defined in line number 60.


small_Levi

small_Levi:KGBElt x->RealForm Defined in line number 68.


small_Levi_coroots_K

small_Levi_coroots_K:KGBElt x->mat Defined in line number 84.


nice_choices_x

nice_choices_x:RealForm G->[KGBElt] Defined in line number 89.


nice_choice_x

nice_choice_x:RealForm G->KGBElt Defined in line number 96.


W_c_perp

W_c_perp:KGBElt x->[(RootDatum,[int])] Defined in line number 100.


convert_W_word

convert_W_word:(RootDatum rd_L,[int] w),RootDatum rd_G->W_word Defined in line number 108.


R_K_dom

R_K_dom:KGBElt x->[W_word] Defined in line number 121.


W_K

W_K:KGBElt x->(RootDatum,[(RootDatum,[int])]) Defined in line number 130.


move_weight

move_weight:(KGBElt x,vec mu),KGBElt y->KHighestWeight Defined in line number 132.


R_K_dom_mu_orbit

R_K_dom_mu_orbit:KHighestWeight (x,mu)->[KHighestWeight] Defined in line number 138.


P_positive_test_coweight

P_positive_test_coweight:KGBElt x,W_word S->vec Defined in line number 169.


P_positive_test_coweights

P_positive_test_coweights:KGBElt x->[vec] Defined in line number 178.


is_P_positive

is_P_positive:KGBElt x,vec mu,[W_word] S->bool Defined in line number 182.


make_strongly_dominant

make_strongly_dominant:KGBElt x,vec mu->((KGBElt,vec),W_word,W_word,bool) Defined in line number 195.


R_K_dom_mu

R_K_dom_mu:KGBElt x,vec mu->[W_word] Defined in line number 231.