Chao, P. (2022). halfspace-ldos-bounds [Computer software]. https://github.com/PengningChao/ldos-bound-halfspace