diff options
author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-07 16:14:43 +0100 |
---|---|---|
committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-07 16:14:43 +0100 |
commit | 759ded07a776b8df39b82452473623ffaeb4d8fb (patch) | |
tree | 3ac3f7d340218e3758cf2a2b80b6dc23b706042a | |
parent | 6fdc4391feb62ca3c311bccca31b95fc899ec927 (diff) | |
download | subgroup-ladders-759ded07a776b8df39b82452473623ffaeb4d8fb.tar.gz subgroup-ladders-759ded07a776b8df39b82452473623ffaeb4d8fb.tar.xz |
Add the group itself to output if it is properly contained in the young subgroup corresponding to the orbits
-rw-r--r-- | subgroupladder.g | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/subgroupladder.g b/subgroupladder.g index 748c1db..15e93cc 100644 --- a/subgroupladder.g +++ b/subgroupladder.g @@ -73,11 +73,14 @@ SubgroupLadder := function(G) output := []; + if (YoungGroupFromPartition(orb) <> G) then + output := [G]; + fi; + partition := List(orb, Length); mapping := List([1..n], x -> FindPos(orb, x)); ladder := [[List(partition), List(mapping)]]; - while (Length(partition) <> 1 or partition[1] < n) do if (Length(partition) = 1 and partition[1] < n) then mapping[Position(mapping, 0)] := 1; |