A Polymake extension to compute slack factorizations from extended formulations and vice versa.
Primary LanguageProlog