This website uses Javascript to render markdown documents in your browser, apply syntax highlighting to code fragments and render $\LaTeX$ formulas. Below is the markdown source code of this page. You can either read that or enable Javascript to have it rendered to HTML.
# Enumeration by CI axioms After [installing CInet::Tools](/tut/installation), you can start the program `CImake` which is part of `CInet::Tools`: ``` console $ CImake 0> ``` This presents you with a REPL (read-eval-print loop) for you to enter Perl code, similar to [`polymake`]. The REPL is just an interface to a standard Perl interpreter with all the CInet modules loaded. Using [`CInet::Propositional`], axioms for CI structures can easily be written down. Let's define semigraphoids and determine their counts: ``` console 0> propositional semigraphoids = cube (ijk|L) -> (ij|L) & (ik|jL) => (ik|L) & (ij|kL); 1> semigraphoids(3)->count $res[0] = 22 2> semigraphoids(4)->count $res[1] = 26424 ``` [`polymake`]: https://polymake.org/doku.php [`CInet::Propositional`]: /doc/CInet::Propositional