%~% {fcaR}

Equivalence of sets of implications

Description

Equivalence of sets of implications

Usage

imps %~% imps2

Arguments

imps

A ImplicationSet.

imps2

Another ImplicationSet.

Value

TRUE of and only if imps and imps2 are equivalent, that is, if every implication in imps follows from imps2 and viceversa.

Examples

fc <- FormalContext$new(planets)
fc$find_implications()
imps <- fc$implications$clone()
imps2 <- imps$clone()
imps2$apply_rules(c("simp", "rsimp"))
imps %~% imps2
imps %~% imps2[1:9]