Skip to content

FLINT`Inverse

Status: Stable

documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

Description

FLINT`Inverse[m] gives the inverse of the square matrix m when every entry is an integer or rational, computed exactly via FLINT (fmpq_mat_inv). Returns unevaluated for a singular or non-rational matrix.

Examples

All examples below are verified against the current Mathilda build.

In[1]:= FLINT`Inverse[{{1, 2}, {3, 4}}]
Out[1]= {{-2, 1}, {3/2, -1/2}}

Implementation notes

Attributes: Protected.

Implementation status

Stable — documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

References