CLI reference

The mondher binary has seven subcommands. All accept any of the five input formats — no --format flag needed for input (auto-detection handles it).

`mondher read`

mondher read <PATH>

Reads the file and prints its dimensions. Used to sanity-check that Mondher recognizes the format.

`mondher compute`

mondher compute <PATH>

Computes every formal concept of the context using NextClosure (Ganter 1984). Prints each concept with its extent, intent, and reduced labeling, then the covering relation as a list of edges.

`mondher implications`

mondher implications <PATH> [--include-vacuous]

Computes the Duquenne-Guigues canonical implication base. By default hides vacuous implications (those with support = 0); pass --include-vacuous to show them.

`mondher rules`

mondher rules <PATH> [--min-support N] [--min-confidence F] [--max-rules N]

Mines association rules above given thresholds.

--min-support (default 1): minimum number of objects whose intent contains the premise.
--min-confidence (default 0.6): minimum value of |extent(conclusion)| / |extent(premise)|, in [0.0, 1.0].
--max-rules: cap the number of rules emitted. Useful for very permissive thresholds.

`mondher verify`

mondher verify <PATH>

Prints a structured report of the context's outputs: concept count, informative implications, vacuous implications, total implications. The format is grep-friendly so it can be diffed against reports from other FCA tools (ConExp, fcaR) for cross-validation. See validation for the methodology.

`mondher export`

mondher export --format svg|tikz <PATH>

Renders the lattice diagram. svg for browsers and Inkscape; tikz for direct inclusion in LaTeX. Output goes to stdout; pipe to a file:

mondher export --format svg ctx.cxt > diagram.svg
mondher export --format tikz ctx.cxt > diagram.tex

`mondher completions`

mondher completions bash|zsh|fish

Prints a shell completion script. Save it to the appropriate location for your shell — see the installation page.