Skip to contents

Lexigraphical sort the matrices, and then compare them elementwise. Is symmetric.

Usage

hreps_are_equal(H1, H2)

Arguments

H1

first hrep

H2

second hrep

Value

Logical vector of length 1

Examples

ivhrep <- structure(c(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0,
0, 1, 1, 0, 1, 0, 1, 0, 0, -1, -1, 0, 1, 0, 1, 0, -1, 0, 0, 0,
-1, 0, 0, 1, 0, 0, 1, -1, 0, 0, 0, 0, 0, 1, -1, 0, 0, 1, 0, 0,
1, 0, 0, -1, 0, 0, 0, 0, -1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, -1, 0, 0, -1, 0, 0, 0, 0, 0,
1, 0, -1, 1, 0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0,
-1, 0, -1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 1), dim = c(14L, 10L), representation = "H")

ivd <- dhvm(caugi(Z %-->% X %-->% Y, U %-->% X + Y))
ivrels2 <- dhvm_linear_relations(ivd)
hrepiv2 <- cf_relations_to_hrep(ivrels2)
#> Error in cf_relations_to_hrep(ivrels2): could not find function "cf_relations_to_hrep"
hreps_are_equal(hrepiv2$Hrep[[1]], ivhrep)
#> Error: object 'hrepiv2' not found