2D zonotope outer cover

The input set ID is diamond-source, center (0,0), coordinate labels x and y, and unconstrained generator rows [[1, 0, 0.5], [0, 1, 0.5]] with factor IDs ['x', 'y', 'diagonal']. Request identity: problem app03-report, request diamond, ideal output diamond-physical. Select csl.geometry.zonotope.axis-cover with output representation csl.zonotope, outer relation, generator budget 2 and numerical assurance. The public output has generator rows [[1.5, 0], [0, 1.5]] and encloses every signed input combination. The independent policy verifies the cover from stored binary64 coefficients.

Blue input zonotope inside orange axis cover, with x-y labels

The source support in direction (1,−1) is 2; the output support is 3. See the full saved report and fixture record.

Reproduce on Windows with MSVC

Check out source commit e105a86b8e2ab7d09b1e7042fc5f0d5bc0ce5c40, then run:

cmake -S . -B build/app03-example -DBUILD_TESTING=OFF -DCSL_ENABLE_HIGHS=OFF -DCSL_ENABLE_QHULL=OFF -DCSL_BUILD_APP03_REPORT=ON
cmake --build build/app03-example --config Release --target csl_app03_zonotope_report
build/app03-example/Release/csl_app03_zonotope_report.exe smoke