unimodularity.hpp

Go to the documentation of this file.

#pragma once
 
#include <cmr/config.h>
#include <cmr/export.h>
 
#include "common.hpp"
 
namespace tu
{
  CMR_EXPORT
  bool is_unimodular(const integer_matrix& matrix, size_t& rank, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  bool is_strongly_unimodular(const integer_matrix& matrix, size_t& rank, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  bool is_k_modular(const integer_matrix& matrix, size_t& rank, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  bool is_k_modular(const integer_matrix& matrix, size_t& rank, unsigned int& k, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  bool is_strongly_k_modular(const integer_matrix& matrix, size_t& rank, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  bool is_strongly_k_modular(const integer_matrix& matrix, size_t& rank, unsigned int& k, log_level level = LOG_QUIET);
 
  CMR_EXPORT
  unsigned int get_k_modular_integrality(const integer_matrix& matrix, const integer_matrix& rhs);
 
  CMR_EXPORT
  bool is_k_modular_integral(const integer_matrix& matrix, const integer_matrix& rhs);
 
  CMR_EXPORT
  bool is_complement_total_unimodular(const integer_matrix& matrix, std::size_t& complementedRow, std::size_t& complementedColumn, log_level level = LOG_QUIET);
 
} /* namespace tu */