summaryrefslogtreecommitdiffstats
path: root/tst/test01.tst
diff options
context:
space:
mode:
Diffstat (limited to 'tst/test01.tst')
-rw-r--r--tst/test01.tst31
1 files changed, 31 insertions, 0 deletions
diff --git a/tst/test01.tst b/tst/test01.tst
new file mode 100644
index 0000000..56cf0a8
--- /dev/null
+++ b/tst/test01.tst
@@ -0,0 +1,31 @@
+gap> TestRandom := function(n)
+> local
+> p,
+> g,
+> l,
+> i;
+> p := RandomPartialPerm(n);
+> p := ComponentsOfPartialPerm(p);
+> g := YoungGroupFromPartition(p);
+> l := SubgroupLadder(g);
+> for i in [2..Length(l)] do
+> if Order(l[i]) < Order(l[i-1]) then
+> if not (IsSubgroup(l[i-1],l[i]) and Index(l[i-1],l[i]) <= n) then
+> return false;
+> fi;
+> else
+> if not (IsSubgroup(l[i],l[i-1]) and Index(l[i],l[i-1]) <= n) then
+> return false;
+> fi;
+> fi;
+> od;
+> return true;
+> end;;
+
+#
+gap> TestRandom(20);
+true
+gap> TestRandom(30);
+true
+gap> TestRandom(40);
+true