Guide

One VitePress site for the whole enumeratio monorepo, grouped by kind:

• Site pages — this guide and the home page.
• Math — the subject matter: the collections and their geometry.
• Design docs — the architecture, spikes, and roadmap.
• Packages — one page per package: pg (the SQL core), client, cli, components.

The Explorer is a self-contained app you can browse right here — and, being a Vue component over @enumeratio/client, one you could embed in your own site just as well.

Live, in the browser

Everything is backed by the pure-SQL core running in-browser via pglite — so a component embedded right in the prose can query it live:

Click any collection above to jump into the explorer.

The same core powers client-backed web components you can drop into any page. <enumeratio-expression> evaluates an expression in a collection's carrier algebra — try editing it:

It's a thin wrapper over the client's evaluateExpression; the explorer's richer input (worked examples + green/red verification against known values) reuses that same core.

And <enumeratio-notation> resolves one element's rendered notation from the db — e.g. the rank-5 permutation of [4] is and the rank-3 partition of 6 is .

Figures work the same way — as data. <enumeratio-figure> asks the db for an element's SVG (pg's glyph_svg), and a generic renderer injects it; the geometry lives in SQL, not TS. Here are the five Dyck paths of semilength 3:

Math renders with KaTeX

Inline like $C_n = \frac{1}{n+1}\binom{2n}{n}$, and display:

$$|\mathfrak{S}_n| = n!, \qquad \sum_{k} N(n,k) = C_n, \qquad B_n = \sum_{k=0}^{n} S(n,k)$$