LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
cartesianproducts [2015/04/21 17:43]
wikiadmin
cartesianproducts [2015/04/21 17:44]
wikiadmin
Line 129: Line 129:
 Here we have two positions ("​annoted"​ [a] and [b]). The types A and B are both Tree. We hence have $s = Tree \times Tree$. Here we have two positions ("​annoted"​ [a] and [b]). The types A and B are both Tree. We hence have $s = Tree \times Tree$.
 The constraints on the patterns are: The constraints on the patterns are:
-\[p_1 = EvenNode \times OddNode \] +\begin{equation*}p_1 = EvenNode \times OddNode \end{equation*} 
-\[p_2 = EvenNode \times EvenNode \] +\begin{equation*}_2 ​= EvenNode \times EvenNode \end{equation*} 
-\[p_3 = OddNode \times Tree \] +\begin{equation*}p_3 = OddNode \times Tree \end{equation*} 
-\[p_4 = ELeaf \times Tree \]+\begin{equation*}p_4 = ELeaf \times Tree \end{equation*}
 (recall that when a position is not present in a pattern we use its general type) (recall that when a position is not present in a pattern we use its general type)