Moser-Barkatou Rank Reduction
MoserUnivariate computes an equivalent system to that of the input matrix, which has the lowest possible Poincare rank and algebraic rank for the leading coefficient. The output is the equivalent system, the transformation, and computation time.
| > | ![A := `+`(`/`(`*`(Matrix(4, 4, [0, 0, 0, 0, 4, 0, 0, 0, -2, 0, 0, 0, 0, 2, 0, 0])), `*`(`^`(x, 3))), `/`(`*`(Matrix(4, 4, [1, -8, 3, 0, 0, 2, 0, -4, 0, 0, 0, 2, 0, 0, 0, 1])), `*`(`^`(x, 2)))); 1; B, T...](images/miniISOLDE_examples_61.gif){kind=small} ![A := `+`(`/`(`*`(Matrix(4, 4, [0, 0, 0, 0, 4, 0, 0, 0, -2, 0, 0, 0, 0, 2, 0, 0])), `*`(`^`(x, 3))), `/`(`*`(Matrix(4, 4, [1, -8, 3, 0, 0, 2, 0, -4, 0, 0, 0, 2, 0, 0, 0, 1])), `*`(`^`(x, 2)))); 1; B, T...](images/miniISOLDE_examples_62.gif){kind=small} |
 |
|
 |
(2.1) |
| > |   |
 |
|
 |
(2.2) |
| > |  |
 |
|
 |
(2.3) |
| > |   |
 |
|
 |
(2.4) |
| > |
| > |
| > |   |
 |
|
 |
(2.5) |
| > |