i4 : P.Relations
2 2
o4 = {(1, 1), (1, d), (1, b), (1, b*d), (1, b ), (1, b d), (1, a), (1, a*d),
------------------------------------------------------------------------
2 2 2
(1, a*b), (1, a*b*d), (1, a*b ), (1, a*b d), (d, d), (d, b*d), (d, b d),
------------------------------------------------------------------------
2 2 2
(d, a*d), (d, a*b*d), (d, a*b d), (b, b), (b, b*d), (b, b ), (b, b d),
------------------------------------------------------------------------
2 2 2
(b, a*b), (b, a*b*d), (b, a*b ), (b, a*b d), (b*d, b*d), (b*d, b d),
------------------------------------------------------------------------
2 2 2 2 2 2 2 2
(b*d, a*b*d), (b*d, a*b d), (b , b ), (b , b d), (b , a*b ), (b ,
------------------------------------------------------------------------
2 2 2 2 2
a*b d), (b d, b d), (b d, a*b d), (a, a), (a, a*d), (a, a*b), (a,
------------------------------------------------------------------------
2 2 2
a*b*d), (a, a*b ), (a, a*b d), (a*d, a*d), (a*d, a*b*d), (a*d, a*b d),
------------------------------------------------------------------------
2 2
(a*b, a*b), (a*b, a*b*d), (a*b, a*b ), (a*b, a*b d), (a*b*d, a*b*d),
------------------------------------------------------------------------
2 2 2 2 2 2 2
(a*b*d, a*b d), (a*b , a*b ), (a*b , a*b d), (a*b d, a*b d)}
o4 : List
|
i5 : C = coveringRelations P
2
o5 = {(1, d), (1, b), (1, a), (d, b*d), (d, a*d), (b, b*d), (b, b ), (b,
------------------------------------------------------------------------
2 2 2 2 2 2 2
a*b), (b*d, b d), (b*d, a*b*d), (b , b d), (b , a*b ), (b d, a*b d), (a,
------------------------------------------------------------------------
2 2
a*d), (a, a*b), (a*d, a*b*d), (a*b, a*b*d), (a*b, a*b ), (a*b*d, a*b d),
------------------------------------------------------------------------
2 2
(a*b , a*b d)}
o5 : List
|