NambooripadPartialOrder: include documentation in manual

semigroups · May 15, 2018 · b934b37 · b934b37
1 parent a2326f5
commit b934b37
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 6 deletions.
diff --git a/doc/attr.xml b/doc/attr.xml
@@ -1253,9 +1253,9 @@ true
 gap> Size(S);
 15
 gap> NambooripadPartialOrder(S);
-[ [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ],
-  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ],
-  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ],
+[ [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
+  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], 
+  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], 
   [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ] ]
 gap> NambooripadLeqRegularSemigroup(S)(Elements(S)[3], Elements(S)[9]);
 false
@@ -1293,9 +1293,9 @@ true
 gap> Size(S);
 15
 gap> NambooripadPartialOrder(S);
-[ [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ],
-  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ],
-  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ],
+[ [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
+  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], 
+  [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], 
   [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ] ]
 gap> NambooripadLeqRegularSemigroup(S)(Elements(S)[3], Elements(S)[9]);
 false

diff --git a/doc/z-chap14.xml b/doc/z-chap14.xml
@@ -277,4 +277,18 @@
   <!--**********************************************************************-->
   <!--**********************************************************************-->
 
+  <Section>
+
+    <Heading>
+      The Namboorpad Partial Order of a regular semigroup
+    </Heading>
+
+    <#Include Label = "NambooripadLeqRegularSemigroup">
+    <#Include Label = "NambooripadPartialOrder">
+
+  </Section>
+
+  <!--**********************************************************************-->
+  <!--**********************************************************************-->
+
 </Chapter>