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 3d3cd675dae4ea82248cdc4261d6a9cc030ad6ae..ab14bf9909fff362e132fab4b676bb228d9fd121 100644 (file)
--- 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.
             ``1`` otherwise.
         """
         # amazingly, this should actually work.

-        return ~premise | conclusion
+        return conclusion | ~premise