更新。 sympy_matrix_tools。バージョン 0.2.7。…

jrf> 更新。

sympy_matrix_tools。バージョン 0.2.7。

resolve_implications 系でいろいろな index や num について、論理式に関する query を付せるようにした。get_prems_index や formula_match がその処理をする関数。