closedInterval -- computes the subposet contained between two points

Synopsis

• Usage:

  I = closedInterval(P, p, q)

• Inputs:
  • P, an instance of the type Poset,
  • p, a thing, an element of the poset
  • q, a thing, an element of the poset
• Outputs:
  • I, an instance of the type Poset, the closed interval in $P$ between $p$ and $q$

Description

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

• openInterval -- computes the subposet contained strictly between two points