BinaryVariablePOSet: Constructing a component-wise poset of binary vectors.
Description
Constructs a component-wise poset, starting from a collection of binary variables.
Usage
BinaryVariablePOSet(variables)
Value
An object of S4 class BinarVariablePOSet (subclass of POSet).
Arguments
variables
A vector of character strings (the names of the input binary variables).
Details
Given \(k\) input binary variables, the function produces a poset \((V,\leq_{cmp})\), where \(V\) is the set of \(2^k\) binary vectors built from the variables, and \(\leq_{cmp}\) is the component-wise order.