G1 | G2 | DS({G_1}{\dot \vee _T}{G_2}) |
Px | Py | {(2 + y)2, (4 + y)x−2, 32, 4(x − 3), (1 + x)2, (2 + x)y−2} |
Px | Ky | {(2 + y)2, (4 + y)x−2, 32, 4(x − 3), (y − 1 + x)y} |
Px | Cy | {(2 + y)2, (4 + y)x−2, 32, 4x−3, (2 + x)y} |
Px | Sy | {(2 + y)2, (4 + y)x−2, 32, 4x−3, (1 + x)y−1, (x + y − 1)} |
Px | K(y, z) | {(2 + y + z)2, (4 + y + z)x−2, 32, 4x−3, (y + x)z, (z + x)y} |
Px | r – regular | {(2 + y)2, (4 + y)x−2, 32, 4x−3, (r + x)y} |
Kx | Py | {(2x − 2 + y)x, (2x − 2)x(x−1)/2, (1 + x)2, (2 + x)y−2} |
Kx | Ky | {(2x − 2 + y)x, (2x − 2)x(x−1)/2, (x + y − 1)y} |
Kx | Cy | {(2x − 2 + y)x, (2x − 2)x(x−1)/2, (2 + x)y} |
Kx | Sy | {(2x − 2 + y)x, (2x − 2)x(x−1)/2, (1 + x)y−1, (y − 1 + x)} |
Kx | K(y, z) | {(2x − 2 + y + z)x, (2x − 2)x(x−1)/2, (x + y)z, (x + z)y} |
Kx | r – regular | {(2x − 2 + y)x, (2x − 2)x(x−1)/2, (r + x)y} |
Cx | Py | {(4 + y)x, 4x, (1 + x)2, (2 + x)y−2} |
Cx | Ky | {(4 + y)x, 4x, (y − 1 + x)y} |
Cx | Cy | {(4 + y)x, 4x, (2 + x)y} |
Cx | Sy | {(4 + y)x, 4x, (1 + x)y−1, (y − 1 + x)} |
Cx | K(y, z) | {(4 + y + z)x, 4x, (y + x)z, (z + x)y} |
Cx | r – regular | {(4 + y)x, 4x, (r + x)y} |
Sx | Py | {(2 + y)x−1, (2x − 2 + y), xx−1, (1 + x)2, (2 + x)y−2} |
Sx | Ky | {(2 + y)x−1, (2x − 2 + y), xx−1, (y − 1 + x)y} |
Sx | Cy | {(2 + y)x−1, (2x − 2 + y), xx−1, (2 + x)y} |
Sx | Sy | {(2 + y)x−1, (2x − 2 + y), xx−1, (1 + x)y−1, (y − 1 + x)} |
Sx | K(y, z) | {(2 + y + z)x−1, (2x − 2 + y + z), xx−1, (z + x)y, (y + x)z} |
Sx | r – regular | {(2 + y)x−1, (2x − 2 + y), xx−1, (r + x)y} |
G1 | G2 | DS({G_1}{\dot \vee _T}{G_2}) |
Kx,y | Pz | {(2x + z)y, (2y + z)x, (x + y)xy, (1 + x + y)2, (2 + x + y)z−2} |
Kx,y | Kz | {(2x + z)y, (2y + z)x, (x + y)xy, (z − 1 + x + y)z} |
Kx,y | Cz | {2x + z)y, (2y + z)x, (x + y)xy, (2 + x + y)z} |
Kx,y | Sz | {(2x + z)y, (2y + z)x, (x + y)xy, (1 + x + y)z−1, (z − 1 + x + y)} |
Kx,y | Kz,t | {(2x + z + t)y, (2y + z + t)x, (x + y)xy, (x + y + z)t, (x + y + t)z} |
Kx,y | r – regular | (2x + z)y, (2y + z)x, (x + y)xy, (r + x + y)z |
r – regular | Pz | {(2r + y)x, (2r)xr/2, (1 + x)2, (2 + x)y−2} |
r – regular | Ky | {(2r + y)x, (2r)xr/2, (x + y − 1)y} |
r – regular | Cy | {(2r + y)x, (2r)xr/2, (2 + x)y} |
r – regular | Sy | {(2r + y)x, (2r)xr/2, (1 + x)y−1, (x + y − 1)} |
r – regular | Ky,z | {(2r + y + z)x, (2r)xr/2, (x + y)z, (x + z)y} |
r1 – regular | r2 – regular | {(2r1 + y)x, (2r1)xr1/2, (r − 2 + x)y} |