Some Properties of the Souriau–Frame Algorithm with Application to the Inversion of Rational Matrices