A right coset is represented by a domain record with the following tag components.
isDomain
:true
.
isRightCoset
:true
.
The right coset is determined by the following identity components, which every right coset record has.
group
:
representative
:In addition, a right coset record may have the following optional information components.
elements
:
isFinite
:true
if the coset is finite, and false
if the coset is infinite. If not present it is not known whether
the coset is finite or infinite.
size
:GAP 3.4.4