Macaulay2 » Documentation
Packages » Posets :: subposet
next | previous | forward | backward | up | index | toc

# subposet -- computes the induced subposet of a poset given a list of elements

- Usage:
    `Q = subposet(P, L)`
- Inputs:
  - P, an instance of the type Poset,
  - L, a list, containing elements in the poset
- Outputs:
  - Q, an instance of the type Poset, the induced subposet of $P$ with ground set $L$

## Description

The induced subposet $Q$ on ground set $L$ of a poset $P$ has a partial order induced by the partial order on $P$.

    i1 : C = chain 7;

    i2 : subposet(C, {2,3,5,6})

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

    o2 : Poset

## See also

- dropElements -- computes the induced subposet of a poset given a list of elements to remove
- poset -- creates a new Poset object

## Ways to use subposet:

- `subposet(Poset,List)`

## For the programmer

The object subposet is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Posets.m2:2963:0.