poseticDataAnalysis (version 1.0.0)

IsDownset: Checking for downsets.

Description

Checks whether the input elements form a downset, in the input poset.

Usage

IsDownset(poset, elements)

Value

A boolean value.

Arguments

poset

An object of S4 class POSet. Argument poset must be created by using any function contained in the package aimed at building object of S4 class POSet (e.g. POSet(), LinearPOSet(), ProductPOSet(), ...) .

elements

A vector of character strings (the names of the input) elements).

Examples

elems <- c("a", "b", "c", "d")

dom <- matrix(c(
  "a", "b",
  "c", "b",
  "b", "d"
), ncol = 2, byrow = TRUE)

pos <- POSet(elements = elems, dom = dom)

chk <- IsDownset(pos, c("a", "b", "c"))