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

Reduce by the GCD before testing whether a quotient terminates#102
matt-edmondson merged 1 commit into
mainfrom
claude/divide-exact-after-gcd-reduction

Reduce by the GCD before testing whether a quotient terminates [patch]

02efb0f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar