W_K.at Function References¶

lift_action¶

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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