EquivalenceClass: Simplifies H-representation by exploiting symmetry
Description
The marginal polytope and related objects have many symmetries. By relabelling the levels
of discrete variables we transform facets into other facets. This function reduces a list of
halfspace normals to its equivalence classes.
Usage
EquivalenceClass(bS, M, Hrep)
Value
A list of representative halfspace normals.
Arguments
bS
A binary matrix specifying the set of observation patterns. Each row encodes a single pattern.
M
A vector of positive integers giving the alphabet sizes of the discrete variables.
Hrep
An H-representation generated by MargPolyHrep, ConsMinkSumHrep or InconsMinkSumHrep.