.. _Weylgroup.at_ref: Weylgroup.at Function References ======================================================= | .. _root_datum_w_word(rd,)->rootdatum1: root_datum ------------------------------------------------- | ``root_datum:W_word(rd,)->RootDatum`` Defined in line number 8. | | .. _word_w_word(,w)->[int]1: word ------------------------------------------------- | ``word:W_word(,w)->[int]`` Defined in line number 9. | | .. _\#_W_word(,w)->int1: \# ------------------------------------------------- | ``#:W_word(,w)->int`` Defined in line number 10. | | .. _act_w_word(rd,w),_vec_v->vec1: act ------------------------------------------------- | ``act:W_word(rd,w), vec v->vec`` Defined in line number 14. | | .. _act_w_word_ww,_ratvec_rv->ratvec1: act ------------------------------------------------- | ``act:W_word ww, ratvec rv->ratvec`` Defined in line number 18. | | .. _co_act_vec_cowt,_w_word(rd,w)->ratvec1: co_act ------------------------------------------------- | ``co_act:vec cowt, W_word(rd,w)->ratvec`` Defined in line number 21. | | .. _co_act_ratvec_rcv,_w_word_ww->ratvec1: co_act ------------------------------------------------- | ``co_act:ratvec rcv, W_word ww->ratvec`` Defined in line number 25. | | .. _w_matrix_w_word(rd,w)->mat1: w_matrix ------------------------------------------------- | ``w_matrix:W_word(rd,w)->mat`` Defined in line number 28. | | .. _equal_w_word_w,_w_word_u->bool1: equal ------------------------------------------------- | ``equal:W_word w, W_word u->bool`` Defined in line number 33. | | .. _inverse_w_word(rd,w)->w_word:__(rd,w~[1: inverse ------------------------------------------------- | ``inverse:W_word(rd,w)->W_word: (rd,w~[`` Defined in line number 35. | | .. _non_dominant_index_rootdatum_rd,_vec_v->int1: non_dominant_index ------------------------------------------------- | ``non_dominant_index:RootDatum rd, vec v->int`` Defined in line number 39. | | .. _dual_non_dominant_index_rootdatum_rd,_vec_cowt->int1: dual_non_dominant_index ------------------------------------------------- | ``dual_non_dominant_index:RootDatum rd, vec cowt->int`` Defined in line number 42. | | .. _make_dominant_rootdatum_rd,_vec_v->(vec,w_word)1: make_dominant ------------------------------------------------- | ``make_dominant:RootDatum rd, vec v->(vec,W_word)`` Defined in line number 48. | | .. _dual_make_dominant_rootdatum_rd,_vec_cowt->(vec,w_word)1: dual_make_dominant ------------------------------------------------- | ``dual_make_dominant:RootDatum rd, vec cowt->(vec,W_word)`` Defined in line number 57. | | .. _make_dominant_rootdatum_rd,_ratvec_v->(ratvec,w_word)1: make_dominant ------------------------------------------------- | ``make_dominant:RootDatum rd, ratvec v->(ratvec,W_word)`` Defined in line number 64. | | .. _dual_make_dominant_rootdatum_rd,_ratvec_cowt->(ratvec,w_word)1: dual_make_dominant ------------------------------------------------- | ``dual_make_dominant:RootDatum rd, ratvec cowt->(ratvec,W_word)`` Defined in line number 67. | | .. _rho_rootdatum_rd,_ratvec_v->ratvec1: rho ------------------------------------------------- | ``rho:RootDatum rd, ratvec v->ratvec`` Defined in line number 71. | | .. _dual_rho_rootdatum_rd,_ratvec_cowt->ratvec1: dual_rho ------------------------------------------------- | ``dual_rho:RootDatum rd, ratvec cowt->ratvec`` Defined in line number 73. | | .. _w_long_rootdatum_rd->w_word1: w_long ------------------------------------------------- | ``w_long:RootDatum rd->W_word`` Defined in line number 76. | | .. _dominant_rootdatum_rd,_vec_v->vec1: dominant ------------------------------------------------- | ``dominant:RootDatum rd, vec v->vec`` Defined in line number 80. | | .. _dominant_rootdatum_rd,_ratvec_v->ratvec1: dominant ------------------------------------------------- | ``dominant:RootDatum rd, ratvec v->ratvec`` Defined in line number 82. | | .. _word_rootdatum_rd,_mat_m->w_word1: word ------------------------------------------------- | ``word:RootDatum rd, mat M->W_word`` Defined in line number 86. | | .. _word_rootdatum_rd,mat_delta,_mat_m->w_word1: word ------------------------------------------------- | ``word:RootDatum rd,mat delta, mat M->W_word`` Defined in line number 91. | | .. _length_rootdatum_rd,_mat_m->int1: length ------------------------------------------------- | ``length:RootDatum rd, mat M->int`` Defined in line number 94. | | .. _length_w_word_(rd,):ww->int1: length ------------------------------------------------- | ``length:W_word (rd,):ww->int`` Defined in line number 98. | | .. _lengthens_rootdatum_rd,_mat_m,_int_s->bool1: lengthens ------------------------------------------------- | ``lengthens:RootDatum rd, mat M, int s->bool`` Defined in line number 101. | | .. _lengthens_rootdatum_rd,_int_s,_mat_m->bool1: lengthens ------------------------------------------------- | ``lengthens:RootDatum rd, int s, mat M->bool`` Defined in line number 103. | | .. _make_simple_sequence_rootdatum_rd,_vec_!root->(w_word,_int)1: make_simple_sequence ------------------------------------------------- | ``make_simple_sequence:RootDatum rd, vec !root->(W_word, int)`` Defined in line number 110. | | .. _make_simple_rootdatum_rd,_vec_root->(mat,_int)1: make_simple ------------------------------------------------- | ``make_simple:RootDatum rd, vec root->(mat, int)`` Defined in line number 121. | | .. _reduce_w_word_(rd,):w->w_word1: reduce ------------------------------------------------- | ``reduce:W_word (rd,):w->W_word`` Defined in line number 126. | | .. _cross_w_word_(,w),kgbelt_x->kgbelt1: cross ------------------------------------------------- | ``cross:W_word (,w),KGBElt x->KGBElt`` Defined in line number 130. | | .. _cross_w_word_(,w),param_p->param1: cross ------------------------------------------------- | ``cross:W_word (,w),Param p->Param`` Defined in line number 132. | | .. _make_dominant_using_roots_rootdatum_rd,_ratvec_gamma->(ratvec,vec)1: make_dominant_using_roots ------------------------------------------------- | ``make_dominant_using_roots:RootDatum rd, ratvec gamma->(ratvec,vec)`` Defined in line number 145. | | .. _make_dominant_using_roots_rootdatum_rd,_vec_v->(vec,vec)1: make_dominant_using_roots ------------------------------------------------- | ``make_dominant_using_roots:RootDatum rd, vec v->(vec,vec)`` Defined in line number 153. | | .. _translate_to_dominant_param_p->(param,vec)1: translate_to_dominant ------------------------------------------------- | ``translate_to_dominant:Param p->(Param,vec)`` Defined in line number 160. | | .. _make_integrally_dominant_rootdatum_rd,ratvec_v->(ratvec,w_word)1: make_integrally_dominant ------------------------------------------------- | ``make_integrally_dominant:RootDatum rd,ratvec v->(ratvec,W_word)`` Defined in line number 170. | | .. _int_dom_act_w_word(rd,):ww,ratvec_v->ratvec1: int_dom_act ------------------------------------------------- | ``int_dom_act:W_word(rd,):ww,ratvec v->ratvec`` Defined in line number 174. | | .. _left_mult_int_i,w_word(rd,w)->w_word1: left_mult ------------------------------------------------- | ``left_mult:int i,W_word(rd,w)->W_word`` Defined in line number 179. | | .. _right_mult_int_i,w_word(rd,w)->w_word1: right_mult ------------------------------------------------- | ``right_mult:int i,W_word(rd,w)->W_word`` Defined in line number 180. | | .. _conjugate_int_i,_w_word(rd,w)->w_word1: conjugate ------------------------------------------------- | ``conjugate:int i, W_word(rd,w)->W_word`` Defined in line number 181. | | .. _multiply_w_word(rd,v),_w_word(,w)->w_word1: multiply ------------------------------------------------- | ``multiply:W_word(rd,v), W_word(,w)->W_word`` Defined in line number 183. | | .. _conjugate_w_word(rd,v),_w_word(,w)->w_word1: conjugate ------------------------------------------------- | ``conjugate:W_word(rd,v), W_word(,w)->W_word`` Defined in line number 186. | | .. _\^_W_word_(!rd,w),_int_n->W_word1: \^ ------------------------------------------------- | ``^:W_word (!rd,w), int n->W_word`` Defined in line number 190. | | .. _involution_innerclass_ic,_w_word(,w)->mat1: involution ------------------------------------------------- | ``involution:InnerClass ic, W_word(,w)->mat`` Defined in line number 199. | | .. _imaginary_roots_innerclass_ic,_w_word_tw->mat1: imaginary_roots ------------------------------------------------- | ``imaginary_roots:InnerClass ic, W_word tw->mat`` Defined in line number 204. | | .. _real_roots_innerclass_ic,_w_word_tw->mat1: real_roots ------------------------------------------------- | ``real_roots:InnerClass ic, W_word tw->mat`` Defined in line number 206. | | .. _imaginary_coroots_innerclass_ic,_w_word_tw->mat1: imaginary_coroots ------------------------------------------------- | ``imaginary_coroots:InnerClass ic, W_word tw->mat`` Defined in line number 208. | | .. _real_coroots_innerclass_ic,_w_word_tw->mat1: real_coroots ------------------------------------------------- | ``real_coroots:InnerClass ic, W_word tw->mat`` Defined in line number 210. | | .. _invariant_form_rootdatum_rd->mat1: invariant_form ------------------------------------------------- | ``invariant_form:RootDatum rd->mat`` Defined in line number 220. | | .. _invariant_form_rootdatum_rd,_ratvec_v,_ratvec_w->rat1: invariant_form ------------------------------------------------- | ``invariant_form:RootDatum rd, ratvec v, ratvec w->rat`` Defined in line number 221. | | .. _nondegenerate_invariant_form_(rootdatum,ratvec,ratvec)(rd,v,):args->rat1: nondegenerate_invariant_form ------------------------------------------------- | ``nondegenerate_invariant_form:(RootDatum,ratvec,ratvec)(rd,v,):args->rat`` Defined in line number 224. | | .. _co_invariant_form_rootdatum_rd->mat1: co_invariant_form ------------------------------------------------- | ``co_invariant_form:RootDatum rd->mat`` Defined in line number 228. | | .. _co_invariant_form_rootdatum_rd,_ratvec_v,_ratvec_w->rat1: co_invariant_form ------------------------------------------------- | ``co_invariant_form:RootDatum rd, ratvec v, ratvec w->rat`` Defined in line number 229. | | .. _delete_[w_word]_list,_int_k->[w_word]:_list[:k]##list[k+11: delete ------------------------------------------------- | ``delete:[W_word] list, int k->[W_word]: list[:k]##list[k+1`` Defined in line number 233. | | .. _order_w_word_w->int1: order ------------------------------------------------- | ``order:W_word w->int`` Defined in line number 236. | | .. _is_elliptic_w_word_w->bool1: is_elliptic ------------------------------------------------- | ``is_elliptic:W_word w->bool`` Defined in line number 238. | | .. _is_regular_w_word_w->bool1: is_regular ------------------------------------------------- | ``is_regular:W_word w->bool`` Defined in line number 239. | | .. _move_towards_no_cminus_kgbelt_x->(kgbelt,int)1: move_towards_no_Cminus ------------------------------------------------- | ``move_towards_no_Cminus:KGBElt x->(KGBElt,int)`` Defined in line number 246. | | .. _make_no_cminus_kgbelt_x->(kgbelt,w_word)1: make_no_Cminus ------------------------------------------------- | ``make_no_Cminus:KGBElt x->(KGBElt,W_word)`` Defined in line number 250. | | .. _move_towards_no_cplus_kgbelt_x->(kgbelt,int)1: move_towards_no_Cplus ------------------------------------------------- | ``move_towards_no_Cplus:KGBElt x->(KGBElt,int)`` Defined in line number 257. | | .. _make_no_cplus_kgbelt_x->(kgbelt,w_word)1: make_no_Cplus ------------------------------------------------- | ``make_no_Cplus:KGBElt x->(KGBElt,W_word)`` Defined in line number 261. | | .. _make_no_cminus_param_p->param1: make_no_Cminus ------------------------------------------------- | ``make_no_Cminus:Param p->Param`` Defined in line number 268. | | .. _make_no_cplus_param_p->param1: make_no_Cplus ------------------------------------------------- | ``make_no_Cplus:Param p->Param`` Defined in line number 271. | | .. _W_word1: W_word ----------------------------------------- | ``(RootDatum,[int])`` Defined in line number 6. | |