Open KramerChristian opened 4 years ago
With the current implementation of smallest-transformation only, some reducible double-cut transformations are still present in the database. For example, this transformation
[:1]C(F)[:2] >> [:1]C(Cl)[:2]
can be reduced to that transformation
[:1]F >> [:1]Cl
With the current implementation of smallest-transformation only, some reducible double-cut transformations are still present in the database. For example, this transformation
[:1]C(F)[:2] >> [:1]C(Cl)[:2]
can be reduced to that transformation
[:1]F >> [:1]Cl