Kmeakin opened PR #6053 from imul-cancel
to main
:
;; ineg(ineg(x)) == x. ;; iabs(x) * iabs(y) == x*y.
fitzgen submitted PR review.
fitzgen has enabled auto merge for PR #6053.
Kmeakin edited PR #6053 from imul-cancel
to main
:
;; ineg(x) * ineg(y) == x*y. ;; iabs(x) * iabs(y) == x*y.
fitzgen has disabled auto merge for PR #6053.
Kmeakin updated PR #6053 from imul-cancel
to main
.
Kmeakin edited PR #6053 from imul-cancel
to main
:
;; ineg(x) * ineg(y) == x*y.
Last updated: Nov 22 2024 at 16:03 UTC