Message326333
> j is even implies (j ^ -3) == -(j ^ 3)
This follows from what I posted before: if j is even, then j ^ 3 is odd, so we can apply the rule x ^ -2 = -x to x = j ^ 3:
(j ^ 3) ^ -2 = -(j ^ 3)
which implies
j ^ (3 ^ -2) = -(j ^ 3)
or equivalently
j ^ -3 = -(j ^ 3) |
|
Date |
User |
Action |
Args |
2018-09-25 08:46:24 | jdemeyer | set | recipients:
+ jdemeyer, tim.peters, rhettinger, mark.dickinson, eric.smith, sir-sigurd |
2018-09-25 08:46:24 | jdemeyer | set | messageid: <1537865184.74.0.545547206417.issue34751@psf.upfronthosting.co.za> |
2018-09-25 08:46:24 | jdemeyer | link | issue34751 messages |
2018-09-25 08:46:24 | jdemeyer | create | |
|