projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce581d1) | patch
Fix PartitionedSignal.neg and its test case
authorCesar Strauss <cestrauss@gmail.com>
Sun, 17 Jan 2021 21:45:47 +0000 (18:45 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 17 Jan 2021 21:45:47 +0000 (18:45 -0300)
commit15ba1ebff6dc8e1991118d9064338717ab582749
treef4e9080318907414e6aa79621852b87b66fd82fetree
parentce581d19b45e1ee7b414cec8b470cfc5ac27c6cdcommit | diff
Fix PartitionedSignal.neg and its test case

For some reason, neg(a) was returning (a - 1) instead of (-a).
Implemented it as (0 - a).
For the test case, shifted down the input, negated it and shifted it
back again. Could have done it also by (0 - a), but this way it is more
independent of the implementation.
Added a formal proof.
src/ieee754/part/formal/proof_partition.py diff | blob | history
src/ieee754/part/partsig.py diff | blob | history
src/ieee754/part/test/test_partsig.py diff | blob | history