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: Dec 06 2025 at 06:05 UTC