#include "unimodularity.hpp"
#include "common.hpp"
#include "smith_normal_form.hpp"
#include "total_unimodularity.hpp"
#include "linear_algebra.hpp"

Namespaces
	tu

Functions
template<typename Matrix >
bool	tu::test_k_modularity (const Matrix &matrix, size_t &rank, unsigned int *pk, bool enforce_unimodularity, log_level level)

bool	tu::is_unimodular (const integer_matrix &matrix, size_t &rank, log_level level)

bool	tu::is_strongly_unimodular (const integer_matrix &matrix, size_t &rank, log_level level)

bool	tu::is_k_modular (const integer_matrix &matrix, size_t &rank, log_level level)

bool	tu::is_k_modular (const integer_matrix &matrix, size_t &rank, unsigned int &k, log_level level)

bool	tu::is_strongly_k_modular (const integer_matrix &matrix, size_t &rank, log_level level)

bool	tu::is_strongly_k_modular (const integer_matrix &matrix, size_t &rank, unsigned int &k, log_level level)

unsigned int	tu::get_k_modular_integrality (const integer_matrix &matrix, const integer_matrix &rhs)

bool	tu::is_k_modular_integral (const integer_matrix &matrix, const integer_matrix &rhs)

bool	tu::is_complement_total_unimodular (const integer_matrix &matrix, std::size_t &complementedRow, std::size_t &complementedColumn, log_level level)

Namespaces

Functions