Added an heuristic zero testing for Lazy Elements.
authorAntonio Jimenez Pastor <ajpastor@risc.uni-linz.ac.at>
Wed, 18 Apr 2018 10:44:38 +0000 (12:44 +0200)
committerAntonio Jimenez Pastor <ajpastor@risc.uni-linz.ac.at>
Wed, 18 Apr 2018 10:44:38 +0000 (12:44 +0200)
commit9ba765b392c56251322ddaef2499bce6fe7a7f24
tree06961d2d26606c9a0f68aab4a6b2b077ab7c1c77
parent6497bd4e396d6069ec60af859f1d6212c7be753a
Added an heuristic zero testing for Lazy Elements.

Now, before going to the real value, it checks that the initial value of
the lazy element at zero is zero. Otherwise, the method is_zero
of the class _LazyElement returns directly False
14 files changed:
ajpastor/dd_functions/ddExamples.py
ajpastor/dd_functions/ddFunction.py
ajpastor/lazy/lazyRing.py
ajpastor/misc/ring_w_sequence.py
ajpastor/operator/fullLazyOperator.py
ajpastor/operator/operator.py
ajpastor/operator/polynomialLazyOperator.py
ajpastor/operator/twoStepsOperator.py
ajpastor/tests/dd_functions/ddFunction.py
ajpastor/tests/dd_functions/ddFunction2.py
ajpastor/tests/dd_functions/examples.py
releases/diff_defined_functions__0.5.zip
releases/old/diff_defined_functions__0.5__18.04.18_12:44:32.zip [new file with mode: 0644]
releases/old/diff_defined_functions__0.5__18.04.18_12:44:33.zip [new file with mode: 0644]