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.


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.