.. _tits.at_index: tits.at Function Index ======================================================= | Functions .. list-table:: :widths: 10 20 :header-rows: 1 * - Function - Argument(s) -> Results * - :ref:`\=_Tits_elt(,v,theta),Tits_elt(,u,eta)->bool1` - ``Tits_elt(,v,theta),Tits_elt(,u,eta)->bool`` * - :ref:`\!=_(Tits_elt,Tits_elt)p->bool1` - ``(Tits_elt,Tits_elt)p->bool`` * - :ref:`tits_identity_rootdatum_rd->tits_elt1` - ``RootDatum rd->Tits_elt`` * - :ref:`tits_delta_rootdatum_rd,mat_delta->tits_elt1` - ``RootDatum rd,mat delta->Tits_elt`` * - :ref:`tits_delta_realform_g->tits_elt1` - ``RealForm G->Tits_elt`` * - :ref:`left_int_s,tits_elt(rd,v,theta)->tits_elt1` - ``int s,Tits_elt(rd,v,theta)->Tits_elt`` * - :ref:`right_tits_elt(rd,v,theta),_int_s->tits_elt1` - ``Tits_elt(rd,v,theta), int s->Tits_elt`` * - :ref:`left_w_word(,w),tits_elt_xi->tits_elt1` - ``W_word(,w),Tits_elt xi->Tits_elt`` * - :ref:`right_tits_elt_xi,_w_word(,w)->tits_elt1` - ``Tits_elt xi, W_word(,w)->Tits_elt`` * - :ref:`left_(ratvec,int)(v,s),_tits_elt_xi->tits_elt1` - ``(ratvec,int)(v,s), Tits_elt xi->Tits_elt`` * - :ref:`right_tits_elt_xi,_(ratvec,int)(v,s)->tits_elt1` - ``Tits_elt xi, (ratvec,int)(v,s)->Tits_elt`` * - :ref:`conjugate_int_s,_tits_elt_xi->tits_elt1` - ``int s, Tits_elt xi->Tits_elt`` * - :ref:`conjugate_w_word(,w),_tits_elt_xi->tits_elt1` - ``W_word(,w), Tits_elt xi->Tits_elt`` * - :ref:`multiply_tits_elt(rd,v,theta),_tits_elt(,u,eta)->tits_elt1` - ``Tits_elt(rd,v,theta), Tits_elt(,u,eta)->Tits_elt`` * - :ref:`inverse_tits_elt(rd,v,theta)->tits_elt1` - ``Tits_elt(rd,v,theta)->Tits_elt`` * - :ref:`lift_w_word_w->tits_elt1` - ``W_word w->Tits_elt`` * - :ref:`lift_mat_delta,_w_word_w->tits_elt1` - ``mat delta, W_word w->Tits_elt`` * - :ref:`lift_realform_g,_w_word_w->tits_elt1` - ``RealForm G, W_word w->Tits_elt`` * - :ref:`\^_Tits_elt_!xi,_int_n->Tits_elt1` - ``Tits_elt !xi, int n->Tits_elt`` * - :ref:`order_tits_elt_xi->int1` - ``Tits_elt xi->int`` Data Types .. list-table:: :widths: 10 20 :header-rows: 1 * - Data Type Name - Definition * - :ref:`Tits_elt1` - ``(RootDatum root_datum,ratvec torus_part,mat theta)``