Given an incidence geometry D, return the set of elements of D. These elements are the points of the incidence graph of D.
Given an incidence geometry D, return the set of types of D.
Given a coset geometry C, return the set of types of C.
Given an incidence geometry D, return the rank of D, i.e. the cardinality of the set of types.
Given a coset geometry C, return the rank of C.
Given an incidence geometry D, return the incidence graph of D, its vertex set and its edge set.We remark that this function is not implemented for coset geometries but we may convert a coset geometry into an incidence geometry using IncidenceGeometry and then compute its incidence graph.
Given a coset geometry C, return the group from which C is constructed.
Given a coset geometry C, return an indexed set containing the maximal parabolics of C.
Given a coset geometry C, return an indexed set containing the minimal parabolics of C.
Given a coset geometry C, return the Borel subgroup of C, i.e. the intersection of all maximal parabolic subgroups of C.
Given a coset geometry C, return a permutation group which is its kernel, i.e. the subgroup of the Borel subgroup of C that fixes all elements of the geometry C.
Given a coset geometry C, return a sequence containing the i-kernel Ki of each maximal parabolic subgroup Gi of C. The i-kernel of the subgroup Gi is the subgroup consisting of all the elements of Gi that fix all the elements of the residue of Gi.
Given a coset geometry C = (G; (Gi)i∈I) and a permutation group K, return the coset geometry (G/K; (Gi/K)i∈I) provided that K is a normal subgroup of G and of all the maximal parabolic subgroups of C.