GDeFranceschi

I sketched a piece of code in the file `src/Groups/julia_GAP.jl` (I think the only branch where this file is located is `GDeFranceschi/Oscar.jl/GAPGroups`), where there are functions converting GAP fields and...

Since GAP uses inner constructions, GAP does not distinguish `inner_direct_product(A,B)` from `A` whenever `B` is a trivial group (and same changing the order). If we want something like: >julia> inner_direct_product(symmetric_group(4),...

Actually, GAP recognizes `SymmetricGroup(1)` as a permutation group of degree 0. Do we want it to have degree 1?

To see whether a coset `C` it is left or right, it is sufficient to display it: if it's left, it is displayed as `xH`, otherwise as `Hx`. At machine...

> Some internal documentation should be added, which explains what we do to "fake" left cosets, even though GAP only support right cosets Where do I document it? Just on...

The issue came out when I tried to compute `deepcopy(x)` where `x` is a variable of type `MatrixGroupElem`, having a field `:X` of type `GapObj`. An eventual example of a...