Weylgroup.at Function References¶
root_datum¶
root_datum:W_word(rd,)->RootDatum
Defined in line number 8.word¶
word:W_word(,w)->[int]
Defined in line number 9.#¶
#:W_word(,w)->int
Defined in line number 10.act¶
act:W_word(rd,w), vec v->vec
Defined in line number 14.act¶
act:W_word ww, ratvec rv->ratvec
Defined in line number 18.co_act¶
co_act:vec cowt, W_word(rd,w)->ratvec
Defined in line number 21.co_act¶
co_act:ratvec rcv, W_word ww->ratvec
Defined in line number 25.w_matrix¶
w_matrix:W_word(rd,w)->mat
Defined in line number 28.equal¶
equal:W_word w, W_word u->bool
Defined in line number 33.inverse¶
inverse:W_word(rd,w)->W_word: (rd,w~[
Defined in line number 35.non_dominant_index¶
non_dominant_index:RootDatum rd, vec v->int
Defined in line number 39.dual_non_dominant_index¶
dual_non_dominant_index:RootDatum rd, vec cowt->int
Defined in line number 42.make_dominant¶
make_dominant:RootDatum rd, vec v->(vec,W_word)
Defined in line number 48.dual_make_dominant¶
dual_make_dominant:RootDatum rd, vec cowt->(vec,W_word)
Defined in line number 57.make_dominant¶
make_dominant:RootDatum rd, ratvec v->(ratvec,W_word)
Defined in line number 64.dual_make_dominant¶
dual_make_dominant:RootDatum rd, ratvec cowt->(ratvec,W_word)
Defined in line number 67.rho¶
rho:RootDatum rd, ratvec v->ratvec
Defined in line number 71.dual_rho¶
dual_rho:RootDatum rd, ratvec cowt->ratvec
Defined in line number 73.w_long¶
w_long:RootDatum rd->W_word
Defined in line number 76.dominant¶
dominant:RootDatum rd, vec v->vec
Defined in line number 80.dominant¶
dominant:RootDatum rd, ratvec v->ratvec
Defined in line number 82.word¶
word:RootDatum rd, mat M->W_word
Defined in line number 86.word¶
word:RootDatum rd,mat delta, mat M->W_word
Defined in line number 91.length¶
length:RootDatum rd, mat M->int
Defined in line number 94.length¶
length:W_word (rd,):ww->int
Defined in line number 98.lengthens¶
lengthens:RootDatum rd, mat M, int s->bool
Defined in line number 101.lengthens¶
lengthens:RootDatum rd, int s, mat M->bool
Defined in line number 103.make_simple_sequence¶
make_simple_sequence:RootDatum rd, vec !root->(W_word, int)
Defined in line number 110.make_simple¶
make_simple:RootDatum rd, vec root->(mat, int)
Defined in line number 121.reduce¶
reduce:W_word (rd,):w->W_word
Defined in line number 126.cross¶
cross:W_word (,w),KGBElt x->KGBElt
Defined in line number 130.cross¶
cross:W_word (,w),Param p->Param
Defined in line number 132.make_dominant_using_roots¶
make_dominant_using_roots:RootDatum rd, ratvec gamma->(ratvec,vec)
Defined in line number 145.make_dominant_using_roots¶
make_dominant_using_roots:RootDatum rd, vec v->(vec,vec)
Defined in line number 153.translate_to_dominant¶
translate_to_dominant:Param p->(Param,vec)
Defined in line number 160.make_integrally_dominant¶
make_integrally_dominant:RootDatum rd,ratvec v->(ratvec,W_word)
Defined in line number 170.int_dom_act¶
int_dom_act:W_word(rd,):ww,ratvec v->ratvec
Defined in line number 174.left_mult¶
left_mult:int i,W_word(rd,w)->W_word
Defined in line number 179.right_mult¶
right_mult:int i,W_word(rd,w)->W_word
Defined in line number 180.conjugate¶
conjugate:int i, W_word(rd,w)->W_word
Defined in line number 181.multiply¶
multiply:W_word(rd,v), W_word(,w)->W_word
Defined in line number 183.conjugate¶
conjugate:W_word(rd,v), W_word(,w)->W_word
Defined in line number 186.^¶
^:W_word (!rd,w), int n->W_word
Defined in line number 190.involution¶
involution:InnerClass ic, W_word(,w)->mat
Defined in line number 199.imaginary_roots¶
imaginary_roots:InnerClass ic, W_word tw->mat
Defined in line number 204.real_roots¶
real_roots:InnerClass ic, W_word tw->mat
Defined in line number 206.imaginary_coroots¶
imaginary_coroots:InnerClass ic, W_word tw->mat
Defined in line number 208.real_coroots¶
real_coroots:InnerClass ic, W_word tw->mat
Defined in line number 210.invariant_form¶
invariant_form:RootDatum rd->mat
Defined in line number 220.invariant_form¶
invariant_form:RootDatum rd, ratvec v, ratvec w->rat
Defined in line number 221.nondegenerate_invariant_form¶
nondegenerate_invariant_form:(RootDatum,ratvec,ratvec)(rd,v,):args->rat
Defined in line number 224.co_invariant_form¶
co_invariant_form:RootDatum rd->mat
Defined in line number 228.co_invariant_form¶
co_invariant_form:RootDatum rd, ratvec v, ratvec w->rat
Defined in line number 229.delete¶
delete:[W_word] list, int k->[W_word]: list[:k]##list[k+1
Defined in line number 233.order¶
order:W_word w->int
Defined in line number 236.is_elliptic¶
is_elliptic:W_word w->bool
Defined in line number 238.is_regular¶
is_regular:W_word w->bool
Defined in line number 239.move_towards_no_Cminus¶
move_towards_no_Cminus:KGBElt x->(KGBElt,int)
Defined in line number 246.make_no_Cminus¶
make_no_Cminus:KGBElt x->(KGBElt,W_word)
Defined in line number 250.move_towards_no_Cplus¶
move_towards_no_Cplus:KGBElt x->(KGBElt,int)
Defined in line number 257.make_no_Cplus¶
make_no_Cplus:KGBElt x->(KGBElt,W_word)
Defined in line number 261.make_no_Cminus¶
make_no_Cminus:Param p->Param
Defined in line number 268.make_no_Cplus¶
make_no_Cplus:Param p->Param
Defined in line number 271.W_word¶
(RootDatum,[int])
Defined in line number 6.