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]