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)