%~% | R Documentation |
Equivalence of sets of implications
imps %~% imps2
imps |
A |
imps2 |
Another |
TRUE
of and only if imps
and imps2
are equivalent, that is, if every implication in imps
follows from imps2
and viceversa.
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]
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.