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.