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])