refactor FSMP jumping, pretty printing, and one-step jump

整理了一下代码，并实现了基于 直接 (precise) 矩阵求逆基础上一步 FSMP 的运算结果。