Skip to content

Reduce by the GCD before testing whether a quotient terminates - #102

Merged
matt-edmondson merged 1 commit into
mainfrom
claude/divide-exact-after-gcd-reduction
Sep 24, 2026
Merged

matt-edmondson merged 1 commit into
mainfrom
claude/divide-exact-after-gcd-reduction

Commits

Commits on Sep 24, 2026