didericis

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:14:55 -04:00

d2156f06ee Scaffold the 2^(n-2) constraint-floor proposition

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:12:58 -04:00

60c9f1d3a8 Add Heawood boundary-restriction experiments and findings note

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:33:10 -04:00

351ae0cdfe Account for the outer face in the Heawood face-sum identity

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:10:34 -04:00

c5f81842c7 Run Heawood pigeonhole between nested connected tire clusters

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:03:41 -04:00

646cf9d12f Add connected tire clusters with two-cluster-per-vertex proposition

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 00:45:07 -04:00

251c453437 Add Heawood chain-pigeonhole programme to tire-dual paper

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 00:31:52 -04:00

851ca7fbed Scaffold Heawood restrictions on nested tire graph duals paper

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-16 03:59:25 -04:00

af60c3b241 Draw source-dual cut on a valid straight-line embedding

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-16 03:42:13 -04:00

4ba9ce47d1 Add walk-distance labelling to source-dual cut

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 21:56:35 -04:00

696a6b3104 Add second full medial tire cut walk (seed 2)

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 21:47:13 -04:00

1e8bee04ce Handle compound medial tires in cut labelling

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 20:55:47 -04:00

37a7ff0b00 Update medial tire cut labelling

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 20:29:15 -04:00

9ef231655e Draw compound medial tires as separated cycles

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 16:26:03 -04:00

d541aea526 Move medial tire drawing script into lib

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 16:15:08 -04:00

2a56322841 Define simple and compound medial tires

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 14:42:07 -04:00

51c9efa7f2 Stop splitting random medial treads into components

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 14:35:25 -04:00

464335082d Augment same-level faces before medial tire extraction

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 14:19:08 -04:00

5829938ab0 Add branching medial tire decomposition example

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 14:11:44 -04:00

f537db9758 Draw random medial tire decompositions

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-15 14:05:29 -04:00

6ef1dc710c Extract medial tire decomposition helpers