Polymake Extension

Matthias Walter edited this page Aug 22, 2014 · 4 revisions
Clone this wiki locally

There is also a Polymake extension for the unimodularity test.

Current version is 1.2c: unimodularity-library-Polymake-1.2c.tar.gz.

Usage

Download the tarball, unpack it and open Polymake. Then type:

import_extension ("/unpacked/directory/");

The implemented methods are in application common:

  • is_totally_unimodular: returns a pair (answer, certificate).
  • is_k_modular
  • is_strongly_k_modular
  • is_unimodular
  • is_strongly_unimodular