Closed kmyk closed 2 years ago
@hotman78 が #135 で src/Jikka/Core/Convert/EqualitySolving.hs を足してくれた。整数についてはそこそこ動く。しかし全部をやりきったわけではないはずで、さらなる改善の余地はある。
例:
b >= a
b > a
a <= b
a < b
>=
>
a < b || a == b
a <= b && a != b
f
f(a) = f(b)
a = b
... = 0
f(a) - f(b) = 0
- f(a) + f(b) = 0
a - b = 0
- a = - b
- a = 0
a = 0
Description / 説明
@hotman78 が #135 で src/Jikka/Core/Convert/EqualitySolving.hs を足してくれた。整数についてはそこそこ動く。しかし全部をやりきったわけではないはずで、さらなる改善の余地はある。
例:
b >= aやb > aをa <= bやa < bに直す。>=と>のことは考えなくてよくなって楽a <= bをa < b || a == bにするとかa < bをa <= b && a != bにするとかは、するべきかすべきでないか不明fに対しf(a) = f(b)があったらa = bにできる... = 0に揃えられてるのでf(a) - f(b) = 0や- f(a) + f(b) = 0をa - b = 0にするやつも- a = - bをa = bにできるだけでなく- a = 0もa = 0にできる