Method integerInverse
val integerInverse: Tensor<bigint> -> Tensor<Rat> * Tensor<bigint> * Tensor<bigint>
Computes the inverse I, solvability constraints S and null-space N of the specified integer matrix M,
which can be of any shape and rank.
The inversion is carried out over the domain of integers.
The return values is a tuple (I, S, N), which fulfilles the following properties:
Inverse: M .* I .* M = M.
Solvability: S .* M = 0.
Null-space: M .* N = 0.
The equation system M .* x = y is solvable when S .* y = 0 and I .* y is an integer vector.
In this case, the set of solutions is given by x = I .* y + N .* z where z is any integer vector.
Declaration
val integerInverse: M:Tensor<bigint> -> Tensor<Rat> * Tensor<bigint> * Tensor<bigint>
Parameters
| Type |
Name |
Description |
| Tensor<bigint> |
M |
|
Returns