tits.at Function References¶
=¶
=:Tits_elt(,v,theta),Tits_elt(,u,eta)->bool Defined in line number 21.!=¶
!=:(Tits_elt,Tits_elt)p->bool Defined in line number 22.tits_identity¶
tits_identity:RootDatum rd->Tits_elt Defined in line number 25.tits_delta¶
tits_delta:RootDatum rd,mat delta->Tits_elt Defined in line number 29.tits_delta¶
tits_delta:RealForm G->Tits_elt Defined in line number 30.left¶
left:int s,Tits_elt(rd,v,theta)->Tits_elt Defined in line number 34.right¶
right:Tits_elt(rd,v,theta), int s->Tits_elt Defined in line number 45.left¶
left:W_word(,w),Tits_elt xi->Tits_elt Defined in line number 55.right¶
right:Tits_elt xi, W_word(,w)->Tits_elt Defined in line number 58.left¶
left:(ratvec,int)(v,s), Tits_elt xi->Tits_elt Defined in line number 62.right¶
right:Tits_elt xi, (ratvec,int)(v,s)->Tits_elt Defined in line number 66.conjugate¶
conjugate:int s, Tits_elt xi->Tits_elt Defined in line number 70.conjugate¶
conjugate:W_word(,w), Tits_elt xi->Tits_elt Defined in line number 74.multiply¶
multiply:Tits_elt(rd,v,theta), Tits_elt(,u,eta)->Tits_elt Defined in line number 91.inverse¶
inverse:Tits_elt(rd,v,theta)->Tits_elt Defined in line number 110.lift¶
lift:W_word w->Tits_elt Defined in line number 114.lift¶
lift:mat delta, W_word w->Tits_elt Defined in line number 117.lift¶
lift:RealForm G, W_word w->Tits_elt Defined in line number 119.^¶
^:Tits_elt !xi, int n->Tits_elt Defined in line number 123.order¶
order:Tits_elt xi->int Defined in line number 130.Tits_elt¶
(RootDatum root_datum,ratvec torus_part,mat theta) Defined in line number 18.