Matrix operations in Polylib can be found in three source files:
Polylib provides function to:
One of the most important matrix forms which is used extensively in Polylib is Hermite Normal Form (HNF).
The theoretical definition of HNF is as follows. A matrix of full row rank is said to be in Hermite normal form if it has the form:
where is a nonsingular, lower triangular, nonnegative matrix, in which each row has a unique maximum entry, which is located on the main diagonal of .