Module prelude 

Structs

TypeVector

Finite hyper-Catalan type vectors of the form [m2, m3, m4, ...].

Enums

GeodeError

Errors returned by checked Geode helpers.

Functions

face_count

Returns the total face count F = m2 + m3 + m4 + ....

geode

Returns the Geode coefficient G[m] for small exact inputs.

geode_memoized

Returns the Geode coefficient G[m] using internal memoization.

hyper_catalan

Returns the finite-type hyper-Catalan coefficient for m.

polygon_edge_count

Returns E = 1 + 2m2 + 3m3 + 4m4 + ... using checked u128 arithmetic.

polygon_vertex_count

Returns V = 2 + m2 + 2m3 + 3m4 + ... using checked u128 arithmetic.