i6 : R = select((flatten apply (G, g-> apply (G, h-> if h % g == 0 then (g,h)))), i -> i =!= null) -- finds all pairs where g divides h
2 2 2 2 2 2 2 3 2
o6 = {(x , x ), (x , x y*z), (x , x y z ), (x*y, x*y), (x*y, x y*z), (x*y,
------------------------------------------------------------------------
3 2 2 3 2 2 2 3 2 2 2 3 2
x*y*z ), (x*y, x y z ), (z , z ), (z , x*y*z ), (z , x y z ), (x y*z,
------------------------------------------------------------------------
2 2 2 2 3 3 3 3 2 2 3 2 2 3
x y*z), (x y*z, x y z ), (x*y*z , x*y*z ), (x*y*z , x y z ), (x y z ,
------------------------------------------------------------------------
2 2 3
x y z )}
o6 : List
|
i8 : P = poset(G,R,M)
o8 = Poset{cache => CacheTable }
2 2 2 3 2 2 3
GroundSet => {x , x*y, z , x y*z, x*y*z , x y z }
RelationMatrix => | 1 0 0 1 0 1 |
| 0 1 0 1 1 1 |
| 0 0 1 0 1 1 |
| 0 0 0 1 0 1 |
| 0 0 0 0 1 1 |
| 0 0 0 0 0 1 |
2 2 2 2 2 2 2 3 2 3 2 2 3 2 2 2 3 2 2 2 3 2 2 2 2 2 3 3 3 3 2 2 3 2 2 3 2 2 3
Relations => {(x , x ), (x , x y*z), (x , x y z ), (x*y, x*y), (x*y, x y*z), (x*y, x*y*z ), (x*y, x y z ), (z , z ), (z , x*y*z ), (z , x y z ), (x y*z, x y*z), (x y*z, x y z ), (x*y*z , x*y*z ), (x*y*z , x y z ), (x y z , x y z )}
o8 : Poset
|