1\begin{patch}{ugCategoriesAttributesPagePatch1} 2\begin{paste}{ugCategoriesAttributesPageFull1}{ugCategoriesAttributesPageEmpty1} 3\pastebutton{ugCategoriesAttributesPageFull1}{\hidepaste} 4\tab{5}\spadcommand{Polynomial Integer has CommutativeStar} 5\indentrel{3}\begin{verbatim} 6 (1) true 7 Type: Boolean 8\end{verbatim} 9\indentrel{-3}\end{paste}\end{patch} 10 11\begin{patch}{ugCategoriesAttributesPageEmpty1} 12\begin{paste}{ugCategoriesAttributesPageEmpty1}{ugCategoriesAttributesPagePatch1} 13\pastebutton{ugCategoriesAttributesPageEmpty1}{\showpaste} 14\tab{5}\spadcommand{Polynomial Integer has CommutativeStar} 15\end{paste}\end{patch} 16 17\begin{patch}{ugCategoriesAttributesPagePatch2} 18\begin{paste}{ugCategoriesAttributesPageFull2}{ugCategoriesAttributesPageEmpty2} 19\pastebutton{ugCategoriesAttributesPageFull2}{\hidepaste} 20\tab{5}\spadcommand{Matrix Integer has CommutativeStar} 21\indentrel{3}\begin{verbatim} 22 (2) false 23 Type: Boolean 24\end{verbatim} 25\indentrel{-3}\end{paste}\end{patch} 26 27\begin{patch}{ugCategoriesAttributesPageEmpty2} 28\begin{paste}{ugCategoriesAttributesPageEmpty2}{ugCategoriesAttributesPagePatch2} 29\pastebutton{ugCategoriesAttributesPageEmpty2}{\showpaste} 30\tab{5}\spadcommand{Matrix Integer has CommutativeStar} 31\end{paste}\end{patch} 32 33