summaryrefslogtreecommitdiffstats
path: root/gap/subgroupladders.gd
diff options
context:
space:
mode:
authorFriedrich Rober <friedrich.rober@rwth-aachen.de>2018-11-08 13:22:59 +0100
committerFriedrich Rober <friedrich.rober@rwth-aachen.de>2018-11-08 13:22:59 +0100
commit758e91dbeed3acd594b007c2cc618fe220cf3a99 (patch)
tree1b40da23eac9793e0a7891c94553ffe09d738627 /gap/subgroupladders.gd
parent75929417aeca94fed8cb3a5d75d01c8aa5d9d4d6 (diff)
parent12c5e8a03fe7db036a2e432079f162317c1c7c68 (diff)
downloadsubgroup-ladders-758e91dbeed3acd594b007c2cc618fe220cf3a99.tar.gz
subgroup-ladders-758e91dbeed3acd594b007c2cc618fe220cf3a99.tar.xz
Merge branch 'master' of github.com:ehwat/subgroup-ladders
Diffstat (limited to 'gap/subgroupladders.gd')
-rw-r--r--gap/subgroupladders.gd6
1 files changed, 3 insertions, 3 deletions
diff --git a/gap/subgroupladders.gd b/gap/subgroupladders.gd
index 59b9325..2291eb7 100644
--- a/gap/subgroupladders.gd
+++ b/gap/subgroupladders.gd
@@ -4,14 +4,13 @@
# Declarations
#
-#! @Chapter subgroup-ladders
-#! @Section subgroup-ladders
-
#! @Description
#! Given a list of lists <A>part</A> of positive integers, this will compute
#! the Young subgroup corresponding to this partition.
+#! This function does not check whether the supplied lists are actually disjoint.
#! @Returns a group
#! @Arguments part
+#! @ChapterInfo subgroupladders, subgroupladders
DeclareGlobalFunction( "YoungGroupFromPartition" );
#! @Description
#! Given a permutation group <A>G</A>, this will compute a subgroup ladder
@@ -26,4 +25,5 @@ DeclareGlobalFunction( "YoungGroupFromPartition" );
#! At this step, the index may be larger than the degree.
#! @Returns a list of groups
#! @Arguments G
+#! @ChapterInfo subgroupladders, subgroupladders
DeclareGlobalFunction( "SubgroupLadder");