poseticDataAnalysis (version 1.0.0)

DualPOSet: Dual of a poset.

Description

Computes the dual of the input poset.

Usage

DualPOSet(poset)

Value

The dual of the input poset, an object of S4 class POSet.

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(), ...).

Details

Let \(P=(V,\leq)\) be a poset. Then its dual \(P_d=(V,\leq_d)\) is defined by \(a\leq_d b\) if and only if \(b\leq a\) in \(P\). In other words, the dual of \(P\) is obtained by reversing its dominances.

Examples

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

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

pos1 <- POSet(elements = elems, dom = doms)

dual <- DualPOSet(pos1)