  $ sudo pacman -S  4ti2 clang coin-or-cbc coxeter graphviz igraph libxml2 lrs pari-elldata pari-galpol pari-seadata pdf2svg perl-term-readline-gnu polymake r
