From f6afa5fd17fdea0af2f346e23e0530f5deabe311 Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Wed, 20 Jan 2021 07:29:35 -0300 Subject: [PATCH] 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. --- src/ieee754/part/partsig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2