From: Cesar Strauss <cestrauss@gmail.com>
Date: Wed, 20 Jan 2021 10:29:35 +0000 (-0300)
Subject: Reverse order of operations in implies()
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6afa5fd17fdea0af2f346e23e0530f5deabe311;p=ieee754fpu.git

Reverse order of operations in implies()

Put the negation last, since it returns a Signal, and then Signal OR
was being called instead of PartitionedSignal OR.
---

diff --git a/src/ieee754/part/partsig.py b/src/ieee754/part/partsig.py
index 3d3cd675..ab14bf99 100644
--- a/src/ieee754/part/partsig.py
+++ b/src/ieee754/part/partsig.py
@@ -320,4 +320,4 @@ class PartitionedSignal:
             ``1`` otherwise.
         """
         # amazingly, this should actually work.
-        return ~premise | conclusion
+        return conclusion | ~premise