fc_planets$plot()
fc_I$plot()
Also, we can export the formal context as a LaTeX table:
fc_planets$to_latex()
#> \begin{table} \caption{}\label{} \centering \begin{tabular}{r|ccccccc}
diff --git a/doc/implications.html b/doc/implications.html
index b20ad26..64a6aca 100644
--- a/doc/implications.html
+++ b/doc/implications.html
@@ -975,9 +975,9 @@ Simplification Logic
fc_I$implications$apply_rules(rules = c("composition",
"simplification"))
#> Processing batch
-#> --> Composition: from 12 to 12 in 0.001 secs.
-#> --> Simplification: from 12 to 12 in 0.03 secs.
-#> Batch took 0.031 secs.
+#> --> Composition: from 12 to 12 in 0 secs.
+#> --> Simplification: from 12 to 12 in 0.029 secs.
+#> Batch took 0.029 secs.This enables the reduction of the cardinality and/or the size of the
ImplicationSet.
In addition, the “simplification” rule to remove redundancies can be @@ -1011,8 +1011,8 @@
# Reordered implications
fc$implications
#> Implication set with 10 implications.
-#> Rule 1: {small, near, far, moon} -> {medium, large, no_moon}
-#> Rule 2: {medium, large, far, moon} -> {small, near, no_moon}
-#> Rule 3: {small, near, moon, no_moon} -> {medium, large, far}
-#> Rule 4: {large} -> {far, moon}
+#> Rule 1: {medium, large, far, moon} -> {small, near, no_moon}
+#> Rule 2: {medium} -> {far, moon}
+#> Rule 3: {small, large, far, moon} -> {medium, near, no_moon}
+#> Rule 4: {near} -> {small}
#> Rule 5: {no_moon} -> {small, near}
-#> Rule 6: {small, medium, far, moon} -> {large, near, no_moon}
-#> Rule 7: {small, large, far, moon} -> {medium, near, no_moon}
-#> Rule 8: {far} -> {moon}
-#> Rule 9: {medium} -> {far, moon}
-#> Rule 10: {near} -> {small}This enables the reduction of the cardinality and/or the size of the
ImplicationSet.