Module geode

Modules§

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

catalan_from_geode_dimension: Returns the one-dimensional Catalan value that matches [n].
checked_factorial: Returns n! using checked u128 arithmetic.
checked_product_factorials: Returns the checked product of each factorial in values.
diagonal_geode_2d: Returns the diagonal Geode coefficient for [n, n].
diagonal_geode_3d: Returns the diagonal Geode coefficient for [n, n, n].
diagonal_geode_4d: Returns the diagonal Geode coefficient for [n, n, n, n].
exact_divide: Returns an exact integer quotient.
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.
geode_on_first_axis: Returns the Geode coefficient along the first axis [n].
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.