https://github.com/GeomScale/gsoc24/wiki/Spectrahedra-R-interface
https://github.com/GeomScale/gsoc24/wiki/Autodiff-R-interface
https://github.com/GeomScale/gsoc24/wiki/Counting-linear-extensions-with-volume-computation