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.