group_operations.at Function References


inner_forms

inner_forms:RealForm G->real_forms(InnerClass Defined in line number 12.


split_form

split_form:InnerClass ic->RealForm Defined in line number 24.


*

*:RootDatum R,RootDatum S->RootDatum Defined in line number 36.


*

*:InnerClass ic1,InnerClass ic2->InnerClass Defined in line number 40.


*

*:RealForm G,RealForm H->RealForm Defined in line number 45.


radical

radical:RootDatum rd->RootDatum Defined in line number 56.


radical

radical:InnerClass ic->RealForm Defined in line number 59.


derived

derived:InnerClass ic->InnerClass Defined in line number 69.


mod_central_torus

mod_central_torus:InnerClass ic->InnerClass Defined in line number 73.


adjoint_transform

adjoint_transform:RootDatum rd, mat theta->mat Defined in line number 78.


adjoint

adjoint:InnerClass ic->InnerClass Defined in line number 83.


derived

derived:RealForm G->RealForm Defined in line number 89.


adjoint

adjoint:RealForm G->RealForm Defined in line number 100.


is_relatively_split

is_relatively_split:RealForm G->bool Defined in line number 111.


adjoint_info

adjoint_info:RootDatum rd->(RootDatum,mat) Defined in line number 135.

Adjoint root datum and change of basis matrix

simply_connected_cover_info

simply_connected_cover_info:RootDatum rd->(RootDatum, ratmat) Defined in line number 142.

Simply connected cover of complex group, with change of basis matrix

simply_connected_cover

simply_connected_cover:RootDatum rd->RootDatum Defined in line number 150.


simply_connected_cover_derived_info

simply_connected_cover_derived_info:RootDatum rd->(RootDatum,ratmat) Defined in line number 154.

Simply connected cover of derived group, with change of basis matrix

simply_connected_cover_derived

simply_connected_cover_derived:RootDatum rd->RootDatum Defined in line number 159.