TY - RPRT TI - An Algorithm for Diagonalizing Matrices of Formal Power Series AU - Zihao Dai AU - Hao Liang AU - Jingyu Lu AU - Lihong Zhi PY - 2026 UR - https://arxiv.org/abs/2602.08313 ID - 2602.08313 ER -