semigrp.xml: update doc for DirectProduct

semigroups · Sep 14, 2017 · 10cd103 · 10cd103
1 parent fe922b7
commit 10cd103
Show file tree

Hide file tree

Showing 2 changed files with 39 additions and 36 deletions.
diff --git a/doc/semigrp.xml b/doc/semigrp.xml
@@ -8,6 +8,43 @@
 #############################################################################
 ##
 
+<#GAPDoc Label="DirectProduct">
+<ManSection>
+  <Func Name = "DirectProduct" Arg = "S[, T, ...]"/>
+  <Oper Name = "DirectProductOp" Arg = "list, S"/>
+  <Returns>A transformation semigroup.</Returns>
+  <Description>
+    The function <C>DirectProduct</C> takes an arbitrary positive number of
+    either transformation semigroups, or partial perm semigroups, or bipartition
+    semigroups, and returns a semigroup of the same type that is isomorphic to
+    their direct product. <P/>
+
+    The operation <C>DirectProductOp</C> is included for consistency with the
+    &GAP; library (see <Ref Oper="DirectProductOp" BookName="ref"/>).  It takes
+    exactly two arguments, namely a non-empty list <A>list</A> of semigroups and
+    one of these semigroups, <A>S</A>, and returns the same result as
+    <C>CallFuncList(DirectProduct, <A>list</A>)</C>. <P/>
+
+    <Example><![CDATA[
+gap> S := Semigroup(Transformation([2, 1]));;
+gap> T := Semigroup(Transformation([1, 2, 3, 3, 3]));;
+gap> DP := DirectProduct(S, T);
+<commutative transformation semigroup of degree 7 with 2 generators>
+gap> Elements(DP);
+[ Transformation( [ 1, 2, 3, 4, 5, 5, 5 ] ), 
+  Transformation( [ 2, 1, 3, 4, 5, 5, 5 ] ) ]
+gap> S := Monoid([
+>  Transformation([2, 4, 3, 4]),
+>  Transformation([3, 3, 2, 3, 3])]);;
+gap> T := Semigroup(Transformation([3, 5, 4, 2, 6, 3]));;
+gap> DP := DirectProduct(S, T);
+<transformation semigroup of degree 11 with 4 generators>
+gap> Size(DP);
+35]]></Example>
+  </Description>
+</ManSection>
+<#/GAPDoc>
+
 <#GAPDoc Label="IsomorphismSemigroup">
 <ManSection>
   <Oper Name = "IsomorphismSemigroup" Arg = "filt, S"/>

diff --git a/doc/semitrans.xml b/doc/semitrans.xml
@@ -330,44 +330,10 @@ true]]></Example>
   </ManSection>
 <#/GAPDoc>
 
-<#GAPDoc Label="DirectProduct">
-<ManSection>
-  <Func Name = "DirectProduct" Arg = "S[, T, ...]"/>
-  <Oper Name = "DirectProductOp" Arg = "list, S"/>
-  <Returns>A transformation semigroup.</Returns>
-  <Description>
-    The function <C>DirectProduct</C> takes an arbitrary positive number of
-    transformation semigroups and returns another transformation semigroup
-    isomorphic to their direct product.
-
-    The operation <C>DirectProductOp</C> is included for consistency with the
-    &GAP; library (see <Ref Oper="DirectProductOp" BookName="ref"/>).  It takes
-    exactly two arguments, namely a non-empty list <C>list</C> of transformation
-    semigroups and one of these semigroups, <C>S</C>. <P/>
-
-    <Example><![CDATA[
-gap> S := Semigroup(Transformation([2, 1]));;
-gap> T := Semigroup(Transformation([1, 2, 3, 3, 3]));;
-gap> DP := DirectProduct(S, T);
-<commutative transformation semigroup of degree 7 with 2 generators>
-gap> Elements(DP);
-[ Transformation( [ 1, 2, 3, 4, 5, 5, 5 ] ), 
-  Transformation( [ 2, 1, 3, 4, 5, 5, 5 ] ) ]
-gap> S := Monoid([Transformation([2, 4, 3, 4]),
->                 Transformation([3, 3, 2, 3, 3])]);;
-gap> T := Semigroup([Transformation([3, 5, 4, 2, 6, 3])]);;
-gap> DP := DirectProduct(S, T);
-<transformation semigroup of degree 11 with 4 generators>
-gap> Size(DP);
-35
-]]></Example>
-  </Description>
-</ManSection>
-<#/GAPDoc>
-
 <#GAPDoc Label="FixedPointsOfTransformationSemigroup">
   <ManSection>
-    <Attr Name="FixedPointsOfTransformationSemigroup" Arg="S" Label="for a transformation semigroup"/>
+    <Attr Name="FixedPointsOfTransformationSemigroup" Arg="S"
+      Label="for a transformation semigroup"/>
     <Returns>A set of positive integers.</Returns>
     <Description>
       If <A>S</A> is a transformation semigroup, then