test.g


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

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 Order(l[i-1])/Order(l[i]) <= n) then
        return false;
      fi;
    else
      if not (IsSubgroup(l[i],l[i-1]) and Order(l[i])/Order(l[i-1]) <= n) then
        return false;
      fi;
    fi;
  od;

  return true;
end;