Crate hullabaloo 

Engine-agnostic primitives and helpers for polyhedral experiments.

This crate exposes shared primitives used across solver backends:

• numeric traits (calculo)
• compact bitset types (types)
• matrix storage/builders (matrix)
• incidence/adjacency set-families (set_family)
• fast adjacency builders (adjacency)
• geometric constructions (drum, matroid)

Solver engines (e.g. DD/LRS/PPL) live in separate crates and build on top of these APIs.

Modules

adjacency

adjacency_list

drum

geometrizable

matrix

matroid

set_family

types

Structs

AdjacencyList

Simple undirected graph represented by adjacency lists.

AdjacencyListBuilder

CharacteristicPolynomial

chi_M(t) = sum_k c_k t^k with integer coefficients.

Drum

Prismatoid obtained by lifting two parallel base vertex sets into one higher dimension.

DrumBases

Base vertex sets for a drum (top and bot skins) in the drum’s base dimension.

DrumPromotion

Parameters for a single Santos/Williamson “drum promotion” step.

LinearOrientedMatroid

Oriented matroid represented by a matrix of full row rank.

Enums

DrumSkin

Which base facet (“skin”) of a drum a vertex belongs to.

MatroidError

Errors that can occur during matroid computations.

PromotionError

Errors that can occur during drum promotion operations.

Traits

Geometrizable