diff options
| author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-07 13:42:11 +0100 |
|---|---|---|
| committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-07 13:42:11 +0100 |
| commit | 20e35a046acd858bbf9472058e47008fc52207f6 (patch) | |
| tree | a0e084f02cabea777810eac026cc826b7d55b69e | |
| parent | bcc0be0b7c616bb41c91adb27672c831b80a16e5 (diff) | |
| download | subgroup-ladders-20e35a046acd858bbf9472058e47008fc52207f6.tar.gz subgroup-ladders-20e35a046acd858bbf9472058e47008fc52207f6.tar.xz | |
Don't change the names of the generators when computing the direct product.
| -rw-r--r-- | subgroupladder.g | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/subgroupladder.g b/subgroupladder.g index e1235a1..21f4ac4 100644 --- a/subgroupladder.g +++ b/subgroupladder.g @@ -21,6 +21,7 @@ Subgroupladder := function(G) pair, ladder, directfactors, + generators, mapping, output, partition; @@ -75,10 +76,11 @@ Subgroupladder := function(G) k := Length(pair[1]); mapping := pair[2]; directfactors := []; + generators := []; for i in [1..k] do - Add(directfactors, SymmetricGroup(Filtered([1..n], x -> i = mapping[x]))); + Append(generators, GeneratorsOfGroup(SymmetricGroup(Filtered([1..n], x -> i = mapping[x])))); od; - Add(output, DirectProduct(directfactors)); + Add(output, Group(generators)); od; return output; |