From 759ded07a776b8df39b82452473623ffaeb4d8fb Mon Sep 17 00:00:00 2001
From: Ulli Kehrle <ulli.kehrle@rwth-aachen.de>
Date: Wed, 7 Nov 2018 16:14:43 +0100
Subject: Add the group itself to output if it is properly contained in the
 young subgroup corresponding to the orbits

---
 subgroupladder.g | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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;
-- 
cgit v1.2.3-24-g4f1b