  $ sudo zypper install 4ti2 4ti2-devel bliss bliss-devel coxeter fricas gp2c \
        graphviz libxml2 llvm lrslib lrslib-devel pari-elldata pari-galpol \
        pari-nftables pari-seadata pdf2svg perl\(Term::ReadLine::Gnu\) \
        pkgconfig\(isl\) pkgconfig\(libsemigroups\) polymake R-base sbcl \
        symengine tbb
