sympy_matrix_tools をアップデートした。バージョン…

jrf> sympy_matrix_tools をアップデートした。バージョン 0.2.0。

Higher-Order Logic ライクな推論が行えるように Apply と resolve_mp を作った。

MatrixWild, MatrixDummy も作ったが、使い道があるのかどうか…。MatrixWild, MatrixDummy を使いたい場合は SymPy のバージョンが 1.10.1 以上である必要がある。