Unnesting is incorrect in the case of x-x2

Issue #265 resolved
Broes De Cat created an issue

If both x and x2 are variables, they will certainly be ground when they atomgrounder reaches them. In isTwoValued check?

Comments (1)

  1. Broes De Cat reporter

    Fixes #265: Performance bugfix: unnest less.

    Terms which are in fact two-valued should in most cases not be unnested during graphing (except during symbolc propagation ...)

    → <<cset 4ddc99020e2b>>

  2. Log in to comment