Free cookie consent management tool by TermsFeed Policy Generator

Changes between Initial Version and Version 2 of Ticket #2624


Ignore:
Timestamp:
10/14/16 11:31:34 (8 years ago)
Author:
gkronber
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2624 – Description

    initial v2  
    11Related to #2609. Where it was observed that "I'm surprised that it is necessary to check the case of only one sub-tree for multiplications. Does the simplifier really produce these cases? It would be trivial to remove the multiplication node in such cases."
     2
     3Probably it's time to completely refactor the simplifier. Potentially helpful resources:
     4 * ​http://www-math.uni-paderborn.de/~stefanw/Papers/mathPAD_Vol11_art07.pdf
     5 * http://stackoverflow.com/a/7542438