Skip to content

Prune zero polynomial zonotope terms - #187

Merged
MoritzMaibaum merged 1 commit into
better-intfrom
codex/add-zero-term-pruning-to-polynomial-zonotopes
Jul 23, 2026
Merged

Prune zero polynomial zonotope terms#187
MoritzMaibaum merged 1 commit into
better-intfrom
codex/add-zero-term-pruning-to-polynomial-zonotopes

Commits

Commits on Jul 23, 2026