Matrix

There are several different classes in libsemigroups for representing matrices over various semirings. There are up to three different representations for every type of matrix:

1. those whose dimension and arithmetic operations can be defined at compile time: StaticMatrix.

2. those whose arithmetic operation can be defined at compile time but whose dimensions can be set at run time: DynamicMatrix

3. those whose arithmetic operations and dimensions can be set at run time: DynamicMatrix

It’s unlikely that you will want to use the classes described on this page directly, but rather through the aliases described on the other matrix pages (such as, for example, BMat).

Over specific semirings

The following matrix classes are provided which define matrices over some specific semirings:

• Boolean matrices
• Integer matrices
• Max-plus matrices
• Min-plus matrices
• Truncated max-plus matrices
• Truncated min-plus matrices
• Matrices over the natural numbers quotiented by (t = t + p)
• Projective max-plus matrices

Over arbitrary semirings

The following general matrix classes are provided which can be used to define matrices over arbitrary semirings:

• DynamicMatrix (with compile time arithmetic)
• DynamicMatrix (with run time arithmetic)
• StaticMatrix
• Variable templates
• Validation
• Threshold and period

Row views

A row view is a lightweight representation of a row of a matrix. The following row view classes are provided:

• DynamicRowView
• StaticRowView

Helpers

The namespace matrix_helpers contains a number of helper functions for certain types of matrices:

• pow
• rows
• row_basis
• row_space_size
• bitset_rows
• bitset_row_basis

Adapters

There are various specialisations of the adapters described on this page<Adapters> for the matrices described on this page:

• Complexity
• Degree
• IncreaseDegree
• One
• Product