Initial population.

1 files changed, 32 insertions, 0 deletions

diff --git a/src/hyper/pages/ug12.pht b/src/hyper/pages/ug12.pht
new file mode 100644
index 00000000..118e4a50
--- /dev/null
+++ b/src/hyper/pages/ug12.pht
@@ -0,0 +1,32 @@
+\begin{patch}{ugCategoriesAttributesPagePatch1}
+\begin{paste}{ugCategoriesAttributesPageFull1}{ugCategoriesAttributesPageEmpty1}
+\pastebutton{ugCategoriesAttributesPageFull1}{\hidepaste}
+\tab{5}\spadcommand{Polynomial Integer has commutative("*")}
+\indentrel{3}\begin{verbatim}
+   (1)  true
+                                          Type: Boolean
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugCategoriesAttributesPageEmpty1}
+\begin{paste}{ugCategoriesAttributesPageEmpty1}{ugCategoriesAttributesPagePatch1}
+\pastebutton{ugCategoriesAttributesPageEmpty1}{\showpaste}
+\tab{5}\spadcommand{Polynomial Integer has commutative("*")}
+\end{paste}\end{patch}
+
+\begin{patch}{ugCategoriesAttributesPagePatch2}
+\begin{paste}{ugCategoriesAttributesPageFull2}{ugCategoriesAttributesPageEmpty2}
+\pastebutton{ugCategoriesAttributesPageFull2}{\hidepaste}
+\tab{5}\spadcommand{Matrix Integer has commutative("*")}
+\indentrel{3}\begin{verbatim}
+   (2)  false
+                                          Type: Boolean
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugCategoriesAttributesPageEmpty2}
+\begin{paste}{ugCategoriesAttributesPageEmpty2}{ugCategoriesAttributesPagePatch2}
+\pastebutton{ugCategoriesAttributesPageEmpty2}{\showpaste}
+\tab{5}\spadcommand{Matrix Integer has commutative("*")}
+\end{paste}\end{patch}
+