next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Posets :: closedInterval

closedInterval -- computes the subposet contained between two points

Synopsis

Description

The closed interval between p and q is the subposet of P induced by the elements z such that p ≤z ≤q. If p and q are incomparable, then an error is thrown.

i1 : P = booleanLattice 3;
i2 : closedInterval(P, "001", "111")

o2 = Relation Matrix: | 1 1 1 1 |
                      | 0 1 0 1 |
                      | 0 0 1 1 |
                      | 0 0 0 1 |

o2 : Poset

See also

Ways to use closedInterval :