Smallest-transformation-only does not reduce all double cuts to single cuts #59

New issue

Open

opened 2025-10-14 17:04:09 -06:00 by navan · 0 comments

navan commented

2025-10-14 17:04:09 -06:00

Owner

Originally created by @KramerChristian on 11/29/2019

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

*Originally created by @KramerChristian on 11/29/2019* 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