Weylgroup.at Function IndexΒΆ


Functions

Function Argument(s) -> Results
root_datum W_word(rd,)->RootDatum
word W_word(,w)->[int]
# W_word(,w)->int
act W_word(rd,w), vec v->vec
act W_word ww, ratvec rv->ratvec
co_act vec cowt, W_word(rd,w)->ratvec
co_act ratvec rcv, W_word ww->ratvec
w_matrix W_word(rd,w)->mat
equal W_word w, W_word u->bool
inverse W_word(rd,w)->W_word:  (rd,w~[
non_dominant_index RootDatum rd, vec v->int
dual_non_dominant_index RootDatum rd, vec cowt->int
make_dominant RootDatum rd, vec v->(vec,W_word)
dual_make_dominant RootDatum rd, vec cowt->(vec,W_word)
make_dominant RootDatum rd, ratvec v->(ratvec,W_word)
dual_make_dominant RootDatum rd, ratvec cowt->(ratvec,W_word)
rho RootDatum rd, ratvec v->ratvec
dual_rho RootDatum rd, ratvec cowt->ratvec
w_long RootDatum rd->W_word
dominant RootDatum rd, vec v->vec
dominant RootDatum rd, ratvec v->ratvec
word RootDatum rd, mat M->W_word
word RootDatum rd,mat delta, mat M->W_word
length RootDatum rd, mat M->int
length W_word (rd,):ww->int
lengthens RootDatum rd, mat M, int s->bool
lengthens RootDatum rd, int s, mat M->bool
make_simple_sequence RootDatum rd, vec !root->(W_word, int)
make_simple RootDatum rd, vec root->(mat, int)
reduce W_word (rd,):w->W_word
cross W_word (,w),KGBElt x->KGBElt
cross W_word (,w),Param p->Param
make_dominant_using_roots RootDatum rd, ratvec gamma->(ratvec,vec)
make_dominant_using_roots RootDatum rd, vec v->(vec,vec)
translate_to_dominant Param p->(Param,vec)
make_integrally_dominant RootDatum rd,ratvec v->(ratvec,W_word)
int_dom_act W_word(rd,):ww,ratvec v->ratvec
left_mult int i,W_word(rd,w)->W_word
right_mult int i,W_word(rd,w)->W_word
conjugate int i, W_word(rd,w)->W_word
multiply W_word(rd,v), W_word(,w)->W_word
conjugate W_word(rd,v), W_word(,w)->W_word
^ W_word (!rd,w), int n->W_word
involution InnerClass ic, W_word(,w)->mat
imaginary_roots InnerClass ic, W_word tw->mat
real_roots InnerClass ic, W_word tw->mat
imaginary_coroots InnerClass ic, W_word tw->mat
real_coroots InnerClass ic, W_word tw->mat
invariant_form RootDatum rd->mat
invariant_form RootDatum rd, ratvec v, ratvec w->rat
nondegenerate_invariant_form (RootDatum,ratvec,ratvec)(rd,v,):args->rat
co_invariant_form RootDatum rd->mat
co_invariant_form RootDatum rd, ratvec v, ratvec w->rat
delete [W_word] list, int k->[W_word]: list[:k]##list[k+1
order W_word w->int
is_elliptic W_word w->bool
is_regular W_word w->bool
move_towards_no_Cminus KGBElt x->(KGBElt,int)
make_no_Cminus KGBElt x->(KGBElt,W_word)
move_towards_no_Cplus KGBElt x->(KGBElt,int)
make_no_Cplus KGBElt x->(KGBElt,W_word)
make_no_Cminus Param p->Param
make_no_Cplus Param p->Param

Data Types

Data Type Name Definition
W_word (RootDatum,[int])