I solve a linear system of equations which is rank deficient. Naturally, when Maple solves it symbolically, it chooses some of its variables to use them as a basis to express the solution.
In a specific problem I'm solving, the basis chosen by Maple is -very- smart, showing a good exploitation of the problem structure.
I'm curious as to what kind of factorization is used by default, or if there's a lot of by hand "black magic" involved, what are its general characteristics.
Best regards
Claudio