Differences

This shows you the differences between two versions of the page.

quantales [2017/08/05 13:04]
jipsen
quantales [2019/10/13 18:50] (current)
jipsen
Line 53: Line 53:
$\begin{array}{lr} $\begin{array}{lr}
  f(1)= &1\\   f(1)= &1\\
-  f(2)= &\\ +  f(2)= &2\\ 
-  f(3)= &\\ +  f(3)= &12\\ 
-  f(4)= &\\ +  f(4)= &129\\ 
-  f(5)= &\\ +  f(5)= &1852\\ 
-\end{array}$      +  f(6)= &33391\\
-$\begin{array}{lr} +
-  f(6)= &\\ +
-  f(7)= &\\ +
-  f(8)= &\\ +
-  f(9)= &\\ +
-  f(10)= &\\+
\end{array}$ \end{array}$
 +Model search done by Mace4 https://www.cs.unm.edu/~mccune/mace4/
====Subclasses==== ====Subclasses====