% Generated by roxygen2: do not edit by hand
% Please edit documentation in R/DisjointSumPOSet.R
\name{DisjointSumPOSet}
\alias{DisjointSumPOSet}
\title{Disjoint sum of posets.}
\usage{
DisjointSumPOSet(poset1, poset2, ...)
}
\arguments{
\item{poset1}{An object of S4 class `POSet`.
Argument `poset1` must be created by using any function contained in the package
aimed at building object of S4 class `POSet`
(e.g. [POSet()], [LinearPOSet()], [ProductPOSet()], ...).}

\item{poset2}{An object of S4 class `POSet`.
Argument `poset2` must be created by using any function contained in the package
aimed at building object of S4 class `POSet`
(e.g. [POSet()], [LinearPOSet()], [ProductPOSet()], ...).}

\item{...}{Optional additional objects of S4 class `POSet`.
Optional arguments must be created by using any function contained in the package
aimed at building object of S4 class `POSet`
(e.g. [POSet()], [LinearPOSet()], [ProductPOSet()], ...).}
}
\value{
The disjoint sum poset, an object of S4 class `POSet`.
}
\description{
Computes the disjoint sum of the input posets.
}
\details{
Let \eqn{P_1=(V_1,\leq_1),\ldots,P_k=(V_k,\leq_k)} be \eqn{k}
posets on disjoint ground sets.
Their disjoint sum is the poset \eqn{P=(V,\lhd)} having as ground
set the union of the input ground sets, with \eqn{a\leq b} if
and only if \eqn{a,b\in V_i} and \eqn{a\leq_i b} for some \eqn{i}.
}
\examples{
elems1 <- c("a", "b", "c", "d")
elems2 <- c("e", "f", "g", "h")

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

dom2 <- matrix(c(
  "e", "f",
  "g", "h",
  "h", "f"
), ncol = 2, byrow = TRUE)

pos1 <- POSet(elements = elems1, dom = dom1)

pos2 <- POSet(elements = elems2, dom = dom2)

dsj.sum <- DisjointSumPOSet(pos1, pos2)


}
