didericis/math-research
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove unused step param from reduce function

Browse Source 
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
didericis
2026-04-21 01:47:08 -04:00
parent a4d51a6cfc
commit 9e4d17bd50
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
colored_pentagon_reduction/example.py
+3 -4
View File
@@ -143,7 +143,6 @@ def reduce(
g: Graph, g: Graph,
coloring: VertexColoring, coloring: VertexColoring,
before_cid: ColoredGraphId, before_cid: ColoredGraphId,
step: int = 1,
steps: list[Step] | None = None, steps: list[Step] | None = None,
) -> list[Step]: ) -> list[Step]:
"""Repeatedly apply pluck/squish reductions until no candidates remain.""" """Repeatedly apply pluck/squish reductions until no candidates remain."""
@@ -161,7 +160,7 @@ def reduce(
print(f"\nG' (after pluck v0={v}): {g_prime.order()} vertices, {g_prime.size()} edges") print(f"\nG' (after pluck v0={v}): {g_prime.order()} vertices, {g_prime.size()} edges")
_, _, after_cid = save_colored_graph(g_prime, coloring_prime) _, _, after_cid = save_colored_graph(g_prime, coloring_prime)
steps.append(PluckOperation(name='pluck', meta=PluckMeta(v0=v), before=before_cid, after=after_cid)) steps.append(PluckOperation(name='pluck', meta=PluckMeta(v0=v), before=before_cid, after=after_cid))
return reduce(g_prime, coloring_prime, after_cid, step + 1, steps) return reduce(g_prime, coloring_prime, after_cid, steps)
if g.degree(v) == 4 and _neighbors_form_cycle(g, v): if g.degree(v) == 4 and _neighbors_form_cycle(g, v):
degree_4_candidates.append(v) degree_4_candidates.append(v)
elif g.degree(v) == 5 and _neighbors_form_cycle(g, v): elif g.degree(v) == 5 and _neighbors_form_cycle(g, v):
@@ -174,7 +173,7 @@ def reduce(
print(f"\nG' (after squish v0={v0}): {g_prime.order()} vertices, {g_prime.size()} edges") print(f"\nG' (after squish v0={v0}): {g_prime.order()} vertices, {g_prime.size()} edges")
_, _, after_cid = save_colored_graph(g_prime, coloring_prime) _, _, after_cid = save_colored_graph(g_prime, coloring_prime)
steps.append(SquishOperation(name='squish', meta=SquishMeta(v0=v0, v_merged=[v1, v2]), before=before_cid, after=after_cid)) steps.append(SquishOperation(name='squish', meta=SquishMeta(v0=v0, v_merged=[v1, v2]), before=before_cid, after=after_cid))
return reduce(g_prime, coloring_prime, after_cid, step + 1, steps) return reduce(g_prime, coloring_prime, after_cid, steps)
if degree_5_candidates: if degree_5_candidates:
v0 = degree_5_candidates[0] v0 = degree_5_candidates[0]
@@ -183,7 +182,7 @@ def reduce(
print(f"\nG' (after squish v0={v0}): {g_prime.order()} vertices, {g_prime.size()} edges") print(f"\nG' (after squish v0={v0}): {g_prime.order()} vertices, {g_prime.size()} edges")
_, _, after_cid = save_colored_graph(g_prime, coloring_prime) _, _, after_cid = save_colored_graph(g_prime, coloring_prime)
steps.append(SquishOperation(name='squish', meta=SquishMeta(v0=v0, v_merged=[v1, v2]), before=before_cid, after=after_cid)) steps.append(SquishOperation(name='squish', meta=SquishMeta(v0=v0, v_merged=[v1, v2]), before=before_cid, after=after_cid))
return reduce(g_prime, coloring_prime, after_cid, step + 1, steps) return reduce(g_prime, coloring_prime, after_cid, steps)
print("DONE") print("DONE")
return steps return steps