closedInterval -- computes the subposet contained between two points

Synopsis

Usage:
I = closedInterval(P, p, q)
Inputs:
- P, an object of class Poset
- p, a thing, an element of the poset
- q, a thing, an element of the poset
Outputs:
- I, an object of class Poset, the closed interval in P between p and q

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 = Poset{cache => CacheTable{}                                                    }
           GroundSet => {001, 011, 101, 111}
           RelationMatrix => | 1 1 1 1 |
                             | 0 1 0 1 |
                             | 0 0 1 1 |
                             | 0 0 0 1 |
           Relations => {{001, 011}, {001, 101}, {001, 111}, {011, 111}, {101, 111}}

o2 : Poset

Ways to use `closedInterval` :

closedInterval(Poset,Thing,Thing)

closedInterval -- computes the subposet contained between two points

Synopsis

Description

See also

Ways to use closedInterval :

Ways to use `closedInterval` :