Skip to content

PET v0.1.5 — Fix target-aware dropped-prime exponents

Choose a tag to compare

View all tags
@gcomneno gcomneno released this 30 Apr 14:48
v0.1.5
00a01b0

Fix target-aware rewrite paths when removing a source prime with exponent greater than 1.

Previously, target-aware rewrite divided by the removed prime only once, so paths such as 18 -> 2, 50 -> 2, and 3718 -> 22 stopped early.

The path now applies unit DEC steps down to exponent 1 before applying DROP.

Validated with targeted CLI rewrite tests.

Assets 2
Loading