k_modular.h File Reference

Recognition of (strongly) k-modular matrices. More...

#include <cmr/env.h>
#include <cmr/matrix.h>

Go to the source code of this file.

Functions
CMR_EXPORT CMR_ERROR	CMRtestUnimodularity (CMR *cmr, CMR_CHRMAT *matrix, bool *pisUnimodular)
	Tests a matrix \( M \) for being unimodular. More...
CMR_EXPORT CMR_ERROR	CMRtestStrongUnimodularity (CMR *cmr, CMR_CHRMAT *matrix, bool *pisStronglyUnimodular)
	Tests a matrix \( M \) for being strongly unimodular. More...
CMR_EXPORT CMR_ERROR	CMRtestKmodularity (CMR *cmr, CMR_CHRMAT *matrix, bool *pisKmodular, size_t *pk)
	Tests a matrix \( M \) for being k-modular. More...
CMR_EXPORT CMR_ERROR	CMRtestStrongKmodularity (CMR *cmr, CMR_CHRMAT *matrix, bool *pisStronglyKmodular, size_t *pk)
	Tests a matrix \( M \) for being strongly kmodular. More...

Detailed Description

Recognition of (strongly) k-modular matrices.

Author

Matthias Walter and Klaus Truemper

Function Documentation

CMRtestKmodularity()

CMR_EXPORT CMR_ERROR CMRtestKmodularity	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		bool *	pisKmodular,
		size_t *	pk
	)

Tests a matrix \( M \) for being k-modular.

Tests if matrix \( M \) is k-modular and sets *pisKmodular accordingly.

Parameters

cmr	CMR environment
matrix	Matrix \( M \).
pisKmodular	Pointer for storing whether \( M \) is k-modular.
pk	Pointer for storing the value of \( k \).

CMRtestStrongKmodularity()

CMR_EXPORT CMR_ERROR CMRtestStrongKmodularity	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		bool *	pisStronglyKmodular,
		size_t *	pk
	)

Tests a matrix \( M \) for being strongly kmodular.

Tests if matrix \( M \) is strongly k-modular and sets *pisStronglyKmodular accordingly.

Parameters

cmr	CMR environment
matrix	Matrix \( M \).
pisStronglyKmodular	Pointer for storing whether \( M \) is strongly k-modular.
pk	Pointer for storing the value of \( k \).

CMRtestStrongUnimodularity()

CMR_EXPORT CMR_ERROR CMRtestStrongUnimodularity	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		bool *	pisStronglyUnimodular
	)

Tests a matrix \( M \) for being strongly unimodular.

Tests if matrix \( M \) is strongly unimodular and sets *pisStronglyUnimodular accordingly.

Parameters

cmr	CMR environment
matrix	Matrix \( M \).
pisStronglyUnimodular	Pointer for storing whether \( M \) is strongly unimodular.

CMRtestUnimodularity()

CMR_EXPORT CMR_ERROR CMRtestUnimodularity	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		bool *	pisUnimodular
	)

Tests a matrix \( M \) for being unimodular.

Tests if matrix \( M \) is unimodular and sets *pisUnimodular accordingly.

Parameters

cmr	CMR environment
matrix	Matrix \( M \).
pisUnimodular	Pointer for storing whether \( M \) is unimodular.