tits.at Function Index

Functions

Function	Argument(s) -> Results
=	Tits_elt(,v,theta),Tits_elt(,u,eta)->bool
!=	(Tits_elt,Tits_elt)p->bool
tits_identity	RootDatum rd->Tits_elt
tits_delta	RootDatum rd,mat delta->Tits_elt
tits_delta	RealForm G->Tits_elt
left	int s,Tits_elt(rd,v,theta)->Tits_elt
right	Tits_elt(rd,v,theta), int s->Tits_elt
left	W_word(,w),Tits_elt xi->Tits_elt
right	Tits_elt xi, W_word(,w)->Tits_elt
left	(ratvec,int)(v,s), Tits_elt xi->Tits_elt
right	Tits_elt xi, (ratvec,int)(v,s)->Tits_elt
conjugate	int s, Tits_elt xi->Tits_elt
conjugate	W_word(,w), Tits_elt xi->Tits_elt
multiply	Tits_elt(rd,v,theta), Tits_elt(,u,eta)->Tits_elt
inverse	Tits_elt(rd,v,theta)->Tits_elt
lift	W_word w->Tits_elt
lift	mat delta, W_word w->Tits_elt
lift	RealForm G, W_word w->Tits_elt
^	Tits_elt !xi, int n->Tits_elt
order	Tits_elt xi->int

Data Types

Data Type Name	Definition
Tits_elt	(RootDatum root_datum,ratvec torus_part,mat theta)