SymPy の…

jrf> SymPy の Issue、↓が私がここまでやっていいのでは？…と思いつつ、それでも、GenericZeroMatrix があることに何か理由があるのだろう…と踏み込めなかったところ。踏み込んでよいなら、この Commit、ぜひ取り込まれてほしい。

《Use zero and one for generic matrix identity by sylee957 · Pull Request #24555 · sympy/sympy》  
https://github.com/sympy/sympy/pull/24555