Use polymake's JSON format, require polymake 4 - #29

Open

fingolfin wants to merge 6 commits into

Commits on Aug 16, 2026

Use polymake's JSON format, require polymake 4

fingolfin
and
claude
committed
408eac1
Require GAP 4.12, as the json package does

fingolfin
and
claude
committed
c879ecd
Test that polymake before 4.0 is refused

fingolfin
and
claude
committed
3cbea08
Test the sparse matrix shapes polymake actually emits

fingolfin
and
claude
committed
038f259
Do not refer to the old file format in the manual

fingolfin
and
claude
committed
4338f18

Commits on Aug 17, 2026

Keep the polymaking 0.8 interface working

fingolfin
and
claude
committed
702efbb