Open khei4 opened 3 years ago
Deriveで良いのでいれると, 標準形とかにめちゃくちゃ楽
というか, 式木を簡約するのにこれがないと厳しいケースがあり, さらなる簡約には二項演算をベクターにしないといけない気がした
一応入れたけど, 木をつくる時やReduce時になにも考えていないのでなにも変わっていない.
Resolve #13
Deriveで良いのでいれると, 標準形とかにめちゃくちゃ楽