{
  "schema": "AN02-CD034-diagram-geometry/v1",
  "mathematical_status": "exact coordinate example and algebraic schematic; samples are not a proof",
  "left": {
    "ambient": "C* = R^2 minus the origin",
    "centers_exact": [
      "exp(i*pi*0/4)",
      "exp(i*pi*1/4)",
      "exp(i*pi*2/4)",
      "exp(i*pi*3/4)",
      "exp(i*pi*4/4)",
      "exp(i*pi*5/4)",
      "exp(i*pi*6/4)",
      "exp(i*pi*7/4)"
    ],
    "centers_numerical": [
      [
        1.0,
        0.0
      ],
      [
        0.7071067811865476,
        0.7071067811865476
      ],
      [
        6.123233995736766e-17,
        1.0
      ],
      [
        -0.7071067811865475,
        0.7071067811865476
      ],
      [
        -1.0,
        1.2246467991473532e-16
      ],
      [
        -0.7071067811865477,
        -0.7071067811865475
      ],
      [
        -1.8369701987210297e-16,
        -1.0
      ],
      [
        0.7071067811865474,
        -0.7071067811865477
      ]
    ],
    "radius_exact": "3/5",
    "arcs_exact": "sigma_j(t)=exp(i*(pi*j/4-pi/8+(pi/4)*t)), 0<=t<=1",
    "arc_distance_bound_exact": "2*sin(pi/16)<3/5",
    "orientation": "counterclockwise",
    "period_exact": "integral_z dz/z = 8*(i*pi/4) = 2*pi*i",
    "scope": "covers the unit circle; not the whole noncompact punctured plane",
    "circle_samples": [
      [
        1.0,
        0.0
      ],
      [
        0.999951808959328,
        0.009817319337149617
      ],
      [
        0.9998072404820648,
        0.0196336924606283
      ],
      [
        0.9995663085020212,
        0.02944817324796316
      ],
      [
        0.9992290362407229,
        0.03925981575906861
      ],
      [
        0.9987954562051724,
        0.049067674327418015
      ],
      [
        0.9982656101847159,
        0.05887080365118903
      ],
      [
        0.9976395492470157,
        0.06866825888437376
      ],
      [
        0.996917333733128,
        0.07845909572784494
      ],
      [
        0.9960990332516871,
        0.08824237052036951
      ],
      [
        0.9951847266721969,
        0.0980171403295606
      ],
      [
        0.9941745021174282,
        0.10778246304275933
      ],
      [
        0.9930684569549263,
        0.11753739745783764
      ],
      [
        0.991866697787626,
        0.1272810033739132
      ],
      [
        0.9905693404435773,
        0.13701234168196802
      ],
      [
        0.989176509964781,
        0.14673047445536175
      ],
      [
        0.9876883405951378,
        0.15643446504023087
      ],
      [
        0.9861049757675088,
        0.16612337814576547
      ],
      [
        0.9844265680898916,
        0.1757962799343545
      ],
      [
        0.9826532793307118,
        0.18545223811159092
      ],
      [
        0.9807852804032304,
        0.19509032201612825
      ],
      [
        0.9788227513490724,
        0.2047096027093796
      ],
      [
        0.9767658813208724,
        0.21430915306505074
      ],
      [
        0.974614868564045,
        0.2238880478584984
      ],
      [
        0.9723699203976766,
        0.2334453638559054
      ],
      [
        0.970031253194544,
        0.24298017990326387
      ],
      [
        0.9675990923602598,
        0.25249157701515795
      ],
      [
        0.9650736723115474,
        0.26197863846333747
      ],
      [
        0.9624552364536473,
        0.27144044986507426
      ],
      [
        0.9597440371568574,
        0.2808760992712921
      ],
      [
        0.9569403357322088,
        0.29028467725446233
      ],
      [
        0.9540444024062804,
        0.2996652769962566
      ],
      [
        0.9510565162951535,
        0.3090169943749474
      ],
      [
        0.9479769653775104,
        0.3183389280525497
      ],
      [
        0.944806046466878,
        0.3276301795616935
      ],
      [
        0.9415440651830208,
        0.33688985339222005
      ],
      [
        0.9381913359224842,
        0.34611705707749296
      ],
      [
        0.9347481818282924,
        0.3553109012804161
      ],
      [
        0.9312149347588036,
        0.36447049987914965
      ],
      [
        0.927591935255724,
        0.37359497005251635
      ],
      [
        0.9238795325112867,
        0.3826834323650898
      ],
      [
        0.9200780843345949,
        0.39173501085195594
      ],
      [
        0.916187957117136,
        0.40074883310314097
      ],
      [
        0.9122095257974677,
        0.4097240303476953
      ],
      [
        0.9081431738250813,
        0.4186597375374281
      ],
      [
        0.9039892931234433,
        0.4275550934302821
      ],
      [
        0.8997482840522215,
        0.4364092406733421
      ],
      [
        0.895420555368697,
        0.4452213258854682
      ],
      [
        0.8910065241883679,
        0.45399049973954675
      ],
      [
        0.8865066159447464,
        0.46271591704435006
      ],
      [
        0.881921264348355,
        0.47139673682599764
      ],
      [
        0.8772509113449243,
        0.4800321224090111
      ],
      [
        0.8724960070727972,
        0.4886212414969549
      ],
      [
        0.867657009819544,
        0.4971632662526544
      ],
      [
        0.8627343859777918,
        0.5056573733779846
      ],
      [
        0.8577286100002721,
        0.5141027441932217
      ],
      [
        0.8526401643540923,
        0.5224985647159488
      ],
      [
        0.8474695394742344,
        0.5308440257395095
      ],
      [
        0.8422172337162865,
        0.5391383229110002
      ],
      [
        0.8368837533084094,
        0.5473806568087964
      ],
      [
        0.8314696123025452,
        0.5555702330196022
      ],
      [
        0.8259753325248732,
        0.5637062622150167
      ],
      [
        0.8204014435255136,
        0.5717879602276122
      ],
      [
        0.8147484825274894,
        0.5798145481265136
      ],
      [
        0.8090169943749475,
        0.5877852522924731
      ],
      [
        0.8032075314806449,
        0.5956993044924334
      ],
      [
        0.7973206537727071,
        0.6035559419535714
      ],
      [
        0.7913569286406603,
        0.6113544074368165
      ],
      [
        0.785316930880745,
        0.619093949309834
      ],
      [
        0.7792012426405167,
        0.6267738216194696
      ],
      [
        0.773010453362737,
        0.6343932841636455
      ],
      [
        0.7667451597285615,
        0.6419516025627031
      ],
      [
        0.7604059656000309,
        0.6494480483301837
      ],
      [
        0.7539934819618695,
        0.6568818989430414
      ],
      [
        0.7475083268625968,
        0.6642524379112816
      ],
      [
        0.7409511253549592,
        0.6715589548470183
      ],
      [
        0.7343225094356856,
        0.6788007455329417
      ],
      [
        0.7276231179845748,
        0.6859771119901927
      ],
      [
        0.7208535967029188,
        0.6930873625456359
      ],
      [
        0.7140145980512683,
        0.7001308118985236
      ],
      [
        0.7071067811865476,
        0.7071067811865476
      ],
      [
        0.7001308118985236,
        0.7140145980512682
      ],
      [
        0.6930873625456359,
        0.7208535967029188
      ],
      [
        0.6859771119901928,
        0.7276231179845748
      ],
      [
        0.6788007455329418,
        0.7343225094356856
      ],
      [
        0.6715589548470183,
        0.7409511253549591
      ],
      [
        0.6642524379112817,
        0.7475083268625967
      ],
      [
        0.6568818989430414,
        0.7539934819618694
      ],
      [
        0.6494480483301837,
        0.7604059656000309
      ],
      [
        0.6419516025627031,
        0.7667451597285615
      ],
      [
        0.6343932841636455,
        0.7730104533627369
      ],
      [
        0.6267738216194696,
        0.7792012426405166
      ],
      [
        0.619093949309834,
        0.785316930880745
      ],
      [
        0.6113544074368165,
        0.7913569286406602
      ],
      [
        0.6035559419535714,
        0.7973206537727071
      ],
      [
        0.5956993044924335,
        0.8032075314806448
      ],
      [
        0.5877852522924731,
        0.8090169943749475
      ],
      [
        0.5798145481265137,
        0.8147484825274894
      ],
      [
        0.5717879602276124,
        0.8204014435255136
      ],
      [
        0.5637062622150167,
        0.8259753325248731
      ],
      [
        0.5555702330196023,
        0.8314696123025452
      ],
      [
        0.5473806568087966,
        0.8368837533084094
      ],
      [
        0.5391383229110004,
        0.8422172337162864
      ],
      [
        0.5308440257395095,
        0.8474695394742344
      ],
      [
        0.5224985647159489,
        0.8526401643540922
      ],
      [
        0.5141027441932217,
        0.8577286100002721
      ],
      [
        0.5056573733779846,
        0.8627343859777918
      ],
      [
        0.49716326625265445,
        0.867657009819544
      ],
      [
        0.48862124149695496,
        0.8724960070727971
      ],
      [
        0.48003212240901116,
        0.8772509113449243
      ],
      [
        0.4713967368259978,
        0.8819212643483549
      ],
      [
        0.46271591704435017,
        0.8865066159447463
      ],
      [
        0.4539904997395468,
        0.8910065241883678
      ],
      [
        0.4452213258854682,
        0.895420555368697
      ],
      [
        0.436409240673342,
        0.8997482840522215
      ],
      [
        0.4275550934302822,
        0.9039892931234433
      ],
      [
        0.41865973753742813,
        0.9081431738250813
      ],
      [
        0.4097240303476953,
        0.9122095257974677
      ],
      [
        0.4007488331031411,
        0.9161879571171359
      ],
      [
        0.39173501085195606,
        0.9200780843345948
      ],
      [
        0.38268343236508984,
        0.9238795325112867
      ],
      [
        0.37359497005251635,
        0.927591935255724
      ],
      [
        0.3644704998791496,
        0.9312149347588036
      ],
      [
        0.3553109012804162,
        0.9347481818282923
      ],
      [
        0.346117057077493,
        0.9381913359224842
      ],
      [
        0.33688985339222005,
        0.9415440651830208
      ],
      [
        0.32763017956169366,
        0.9448060464668779
      ],
      [
        0.3183389280525498,
        0.9479769653775104
      ],
      [
        0.30901699437494745,
        0.9510565162951535
      ],
      [
        0.2996652769962566,
        0.9540444024062804
      ],
      [
        0.29028467725446233,
        0.9569403357322089
      ],
      [
        0.2808760992712922,
        0.9597440371568574
      ],
      [
        0.2714404498650743,
        0.9624552364536473
      ],
      [
        0.26197863846333747,
        0.9650736723115474
      ],
      [
        0.2524915770151581,
        0.9675990923602598
      ],
      [
        0.24298017990326398,
        0.970031253194544
      ],
      [
        0.23344536385590547,
        0.9723699203976766
      ],
      [
        0.2238880478584984,
        0.974614868564045
      ],
      [
        0.2143091530650507,
        0.9767658813208725
      ],
      [
        0.20470960270937974,
        0.9788227513490724
      ],
      [
        0.19509032201612833,
        0.9807852804032304
      ],
      [
        0.18545223811159092,
        0.9826532793307118
      ],
      [
        0.17579627993435468,
        0.9844265680898916
      ],
      [
        0.16612337814576558,
        0.9861049757675088
      ],
      [
        0.15643446504023092,
        0.9876883405951378
      ],
      [
        0.14673047445536175,
        0.989176509964781
      ],
      [
        0.137012341681968,
        0.9905693404435773
      ],
      [
        0.12728100337391332,
        0.991866697787626
      ],
      [
        0.1175373974578377,
        0.9930684569549263
      ],
      [
        0.10778246304275935,
        0.9941745021174282
      ],
      [
        0.09801714032956077,
        0.9951847266721968
      ],
      [
        0.08824237052036962,
        0.9960990332516871
      ],
      [
        0.078459095727845,
        0.996917333733128
      ],
      [
        0.06866825888437376,
        0.9976395492470157
      ],
      [
        0.058870803651188984,
        0.9982656101847159
      ],
      [
        0.049067674327418126,
        0.9987954562051724
      ],
      [
        0.039259815759068666,
        0.9992290362407229
      ],
      [
        0.02944817324796317,
        0.9995663085020212
      ],
      [
        0.019633692460628474,
        0.9998072404820648
      ],
      [
        0.009817319337149733,
        0.999951808959328
      ],
      [
        6.123233995736766e-17,
        1.0
      ],
      [
        -0.009817319337149612,
        0.999951808959328
      ],
      [
        -0.019633692460628353,
        0.9998072404820648
      ],
      [
        -0.029448173247963047,
        0.9995663085020212
      ],
      [
        -0.03925981575906855,
        0.9992290362407229
      ],
      [
        -0.04906767432741801,
        0.9987954562051724
      ],
      [
        -0.05887080365118886,
        0.9982656101847159
      ],
      [
        -0.06866825888437364,
        0.9976395492470157
      ],
      [
        -0.07845909572784487,
        0.996917333733128
      ],
      [
        -0.0882423705203695,
        0.9960990332516871
      ],
      [
        -0.09801714032956065,
        0.9951847266721969
      ],
      [
        -0.10778246304275922,
        0.9941745021174282
      ],
      [
        -0.11753739745783758,
        0.9930684569549263
      ],
      [
        -0.12728100337391318,
        0.991866697787626
      ],
      [
        -0.13701234168196785,
        0.9905693404435773
      ],
      [
        -0.14673047445536164,
        0.989176509964781
      ],
      [
        -0.1564344650402308,
        0.9876883405951378
      ],
      [
        -0.16612337814576547,
        0.9861049757675088
      ],
      [
        -0.17579627993435454,
        0.9844265680898916
      ],
      [
        -0.1854522381115908,
        0.9826532793307118
      ],
      [
        -0.1950903220161282,
        0.9807852804032304
      ],
      [
        -0.2047096027093796,
        0.9788227513490724
      ],
      [
        -0.21430915306505058,
        0.9767658813208725
      ],
      [
        -0.22388804785849828,
        0.974614868564045
      ],
      [
        -0.23344536385590534,
        0.9723699203976767
      ],
      [
        -0.24298017990326387,
        0.970031253194544
      ],
      [
        -0.252491577015158,
        0.9675990923602598
      ],
      [
        -0.26197863846333735,
        0.9650736723115474
      ],
      [
        -0.2714404498650742,
        0.9624552364536473
      ],
      [
        -0.2808760992712921,
        0.9597440371568574
      ],
      [
        -0.29028467725446216,
        0.9569403357322089
      ],
      [
        -0.2996652769962565,
        0.9540444024062805
      ],
      [
        -0.30901699437494734,
        0.9510565162951536
      ],
      [
        -0.3183389280525497,
        0.9479769653775104
      ],
      [
        -0.32763017956169355,
        0.944806046466878
      ],
      [
        -0.33688985339221994,
        0.9415440651830208
      ],
      [
        -0.3461170570774929,
        0.9381913359224842
      ],
      [
        -0.3553109012804161,
        0.9347481818282924
      ],
      [
        -0.3644704998791495,
        0.9312149347588036
      ],
      [
        -0.37359497005251624,
        0.9275919352557241
      ],
      [
        -0.3826834323650897,
        0.9238795325112867
      ],
      [
        -0.39173501085195594,
        0.9200780843345949
      ],
      [
        -0.40074883310314097,
        0.9161879571171359
      ],
      [
        -0.40972403034769517,
        0.9122095257974677
      ],
      [
        -0.4186597375374278,
        0.9081431738250815
      ],
      [
        -0.42755509343028186,
        0.9039892931234434
      ],
      [
        -0.4364092406733419,
        0.8997482840522215
      ],
      [
        -0.4452213258854681,
        0.895420555368697
      ],
      [
        -0.45399049973954675,
        0.8910065241883679
      ],
      [
        -0.46271591704435006,
        0.8865066159447464
      ],
      [
        -0.4713967368259977,
        0.881921264348355
      ],
      [
        -0.4800321224090112,
        0.8772509113449242
      ],
      [
        -0.48862124149695507,
        0.8724960070727971
      ],
      [
        -0.49716326625265417,
        0.8676570098195441
      ],
      [
        -0.5056573733779844,
        0.862734385977792
      ],
      [
        -0.5141027441932216,
        0.8577286100002721
      ],
      [
        -0.5224985647159488,
        0.8526401643540923
      ],
      [
        -0.5308440257395094,
        0.8474695394742344
      ],
      [
        -0.5391383229110003,
        0.8422172337162865
      ],
      [
        -0.5473806568087967,
        0.8368837533084093
      ],
      [
        -0.555570233019602,
        0.8314696123025453
      ],
      [
        -0.5637062622150165,
        0.8259753325248733
      ],
      [
        -0.5717879602276121,
        0.8204014435255137
      ],
      [
        -0.5798145481265136,
        0.8147484825274895
      ],
      [
        -0.587785252292473,
        0.8090169943749475
      ],
      [
        -0.5956993044924334,
        0.8032075314806449
      ],
      [
        -0.6035559419535714,
        0.7973206537727071
      ],
      [
        -0.6113544074368166,
        0.7913569286406602
      ],
      [
        -0.6190939493098341,
        0.7853169308807448
      ],
      [
        -0.6267738216194694,
        0.7792012426405168
      ],
      [
        -0.6343932841636454,
        0.7730104533627371
      ],
      [
        -0.641951602562703,
        0.7667451597285616
      ],
      [
        -0.6494480483301835,
        0.7604059656000309
      ],
      [
        -0.6568818989430413,
        0.7539934819618695
      ],
      [
        -0.6642524379112817,
        0.7475083268625967
      ],
      [
        -0.6715589548470184,
        0.740951125354959
      ],
      [
        -0.6788007455329415,
        0.7343225094356857
      ],
      [
        -0.6859771119901926,
        0.727623117984575
      ],
      [
        -0.6930873625456357,
        0.7208535967029189
      ],
      [
        -0.7001308118985234,
        0.7140145980512683
      ],
      [
        -0.7071067811865475,
        0.7071067811865476
      ],
      [
        -0.7140145980512682,
        0.7001308118985237
      ],
      [
        -0.7208535967029188,
        0.6930873625456359
      ],
      [
        -0.7276231179845749,
        0.6859771119901927
      ],
      [
        -0.7343225094356856,
        0.6788007455329417
      ],
      [
        -0.7409511253549589,
        0.6715589548470186
      ],
      [
        -0.7475083268625966,
        0.6642524379112819
      ],
      [
        -0.7539934819618694,
        0.6568818989430415
      ],
      [
        -0.7604059656000309,
        0.6494480483301838
      ],
      [
        -0.7667451597285615,
        0.6419516025627031
      ],
      [
        -0.773010453362737,
        0.6343932841636455
      ],
      [
        -0.7792012426405167,
        0.6267738216194695
      ],
      [
        -0.7853169308807447,
        0.6190939493098342
      ],
      [
        -0.7913569286406601,
        0.6113544074368167
      ],
      [
        -0.797320653772707,
        0.6035559419535715
      ],
      [
        -0.8032075314806448,
        0.5956993044924335
      ],
      [
        -0.8090169943749473,
        0.5877852522924732
      ],
      [
        -0.8147484825274894,
        0.5798145481265137
      ],
      [
        -0.8204014435255136,
        0.5717879602276122
      ],
      [
        -0.8259753325248732,
        0.5637062622150166
      ],
      [
        -0.8314696123025453,
        0.5555702330196022
      ],
      [
        -0.8368837533084091,
        0.5473806568087968
      ],
      [
        -0.8422172337162864,
        0.5391383229110004
      ],
      [
        -0.8474695394742344,
        0.5308440257395096
      ],
      [
        -0.8526401643540922,
        0.5224985647159489
      ],
      [
        -0.857728610000272,
        0.5141027441932218
      ],
      [
        -0.8627343859777918,
        0.5056573733779846
      ],
      [
        -0.8676570098195441,
        0.49716326625265433
      ],
      [
        -0.872496007072797,
        0.48862124149695524
      ],
      [
        -0.8772509113449241,
        0.4800321224090114
      ],
      [
        -0.8819212643483549,
        0.4713967368259978
      ],
      [
        -0.8865066159447463,
        0.4627159170443502
      ],
      [
        -0.8910065241883678,
        0.45399049973954686
      ],
      [
        -0.8954205553686969,
        0.44522132588546826
      ],
      [
        -0.8997482840522214,
        0.4364092406733421
      ],
      [
        -0.9039892931234433,
        0.42755509343028203
      ],
      [
        -0.9081431738250814,
        0.41865973753742797
      ],
      [
        -0.9122095257974676,
        0.40972403034769556
      ],
      [
        -0.9161879571171359,
        0.40074883310314113
      ],
      [
        -0.9200780843345948,
        0.3917350108519561
      ],
      [
        -0.9238795325112867,
        0.3826834323650899
      ],
      [
        -0.927591935255724,
        0.3735949700525164
      ],
      [
        -0.9312149347588036,
        0.36447049987914965
      ],
      [
        -0.9347481818282924,
        0.3553109012804161
      ],
      [
        -0.938191335922484,
        0.3461170570774933
      ],
      [
        -0.9415440651830207,
        0.33688985339222033
      ],
      [
        -0.9448060464668779,
        0.3276301795616937
      ],
      [
        -0.9479769653775103,
        0.3183389280525499
      ],
      [
        -0.9510565162951535,
        0.3090169943749475
      ],
      [
        -0.9540444024062804,
        0.29966527699625667
      ],
      [
        -0.9569403357322088,
        0.2902846772544624
      ],
      [
        -0.9597440371568574,
        0.28087609927129203
      ],
      [
        -0.9624552364536473,
        0.27144044986507415
      ],
      [
        -0.9650736723115473,
        0.26197863846333774
      ],
      [
        -0.9675990923602598,
        0.2524915770151582
      ],
      [
        -0.970031253194544,
        0.24298017990326407
      ],
      [
        -0.9723699203976766,
        0.23344536385590553
      ],
      [
        -0.974614868564045,
        0.22388804785849845
      ],
      [
        -0.9767658813208724,
        0.21430915306505074
      ],
      [
        -0.9788227513490724,
        0.20470960270937957
      ],
      [
        -0.9807852804032304,
        0.1950903220161286
      ],
      [
        -0.9826532793307117,
        0.1854522381115912
      ],
      [
        -0.9844265680898916,
        0.17579627993435473
      ],
      [
        -0.9861049757675087,
        0.16612337814576564
      ],
      [
        -0.9876883405951377,
        0.15643446504023098
      ],
      [
        -0.989176509964781,
        0.1467304744553618
      ],
      [
        -0.9905693404435773,
        0.13701234168196805
      ],
      [
        -0.991866697787626,
        0.12728100337391315
      ],
      [
        -0.9930684569549263,
        0.11753739745783755
      ],
      [
        -0.9941745021174282,
        0.10778246304275962
      ],
      [
        -0.9951847266721968,
        0.09801714032956083
      ],
      [
        -0.9960990332516871,
        0.08824237052036969
      ],
      [
        -0.996917333733128,
        0.07845909572784507
      ],
      [
        -0.9976395492470157,
        0.06866825888437382
      ],
      [
        -0.9982656101847159,
        0.058870803651189046
      ],
      [
        -0.9987954562051724,
        0.049067674327417966
      ],
      [
        -0.9992290362407229,
        0.03925981575906895
      ],
      [
        -0.9995663085020212,
        0.029448173247963453
      ],
      [
        -0.9998072404820648,
        0.019633692460628533
      ],
      [
        -0.999951808959328,
        0.009817319337149796
      ],
      [
        -1.0,
        1.2246467991473532e-16
      ],
      [
        -0.999951808959328,
        -0.009817319337149551
      ],
      [
        -0.9998072404820648,
        -0.01963369246062829
      ],
      [
        -0.9995663085020212,
        -0.029448173247963207
      ],
      [
        -0.9992290362407229,
        -0.03925981575906871
      ],
      [
        -0.9987954562051724,
        -0.049067674327417724
      ],
      [
        -0.9982656101847159,
        -0.0588708036511888
      ],
      [
        -0.9976395492470157,
        -0.06866825888437358
      ],
      [
        -0.996917333733128,
        -0.07845909572784482
      ],
      [
        -0.9960990332516872,
        -0.08824237052036944
      ],
      [
        -0.9951847266721969,
        -0.09801714032956059
      ],
      [
        -0.9941745021174282,
        -0.10778246304275939
      ],
      [
        -0.9930684569549263,
        -0.1175373974578373
      ],
      [
        -0.991866697787626,
        -0.1272810033739129
      ],
      [
        -0.9905693404435773,
        -0.1370123416819678
      ],
      [
        -0.989176509964781,
        -0.14673047445536158
      ],
      [
        -0.9876883405951378,
        -0.15643446504023073
      ],
      [
        -0.9861049757675088,
        -0.16612337814576542
      ],
      [
        -0.9844265680898916,
        -0.17579627993435448
      ],
      [
        -0.9826532793307117,
        -0.18545223811159098
      ],
      [
        -0.9807852804032304,
        -0.19509032201612836
      ],
      [
        -0.9788227513490725,
        -0.20470960270937932
      ],
      [
        -0.9767658813208725,
        -0.21430915306505052
      ],
      [
        -0.974614868564045,
        -0.22388804785849822
      ],
      [
        -0.9723699203976767,
        -0.23344536385590528
      ],
      [
        -0.970031253194544,
        -0.24298017990326382
      ],
      [
        -0.9675990923602598,
        -0.25249157701515795
      ],
      [
        -0.9650736723115474,
        -0.2619786384633375
      ],
      [
        -0.9624552364536474,
        -0.27144044986507393
      ],
      [
        -0.9597440371568575,
        -0.2808760992712918
      ],
      [
        -0.9569403357322089,
        -0.2902846772544621
      ],
      [
        -0.9540444024062805,
        -0.29966527699625645
      ],
      [
        -0.9510565162951536,
        -0.3090169943749473
      ],
      [
        -0.9479769653775104,
        -0.31833892805254965
      ],
      [
        -0.944806046466878,
        -0.3276301795616935
      ],
      [
        -0.9415440651830208,
        -0.3368898533922201
      ],
      [
        -0.9381913359224842,
        -0.3461170570774931
      ],
      [
        -0.9347481818282926,
        -0.3553109012804158
      ],
      [
        -0.9312149347588037,
        -0.3644704998791494
      ],
      [
        -0.9275919352557241,
        -0.3735949700525162
      ],
      [
        -0.9238795325112868,
        -0.38268343236508967
      ],
      [
        -0.9200780843345949,
        -0.3917350108519559
      ],
      [
        -0.916187957117136,
        -0.4007488331031409
      ],
      [
        -0.9122095257974677,
        -0.40972403034769533
      ],
      [
        -0.9081431738250815,
        -0.41865973753742775
      ],
      [
        -0.9039892931234434,
        -0.4275550934302818
      ],
      [
        -0.8997482840522216,
        -0.43640924067334186
      ],
      [
        -0.895420555368697,
        -0.44522132588546803
      ],
      [
        -0.8910065241883679,
        -0.45399049973954664
      ],
      [
        -0.8865066159447464,
        -0.46271591704435
      ],
      [
        -0.881921264348355,
        -0.47139673682599764
      ],
      [
        -0.8772509113449242,
        -0.48003212240901116
      ],
      [
        -0.8724960070727971,
        -0.488621241496955
      ],
      [
        -0.8676570098195442,
        -0.4971632662526541
      ],
      [
        -0.862734385977792,
        -0.5056573733779843
      ],
      [
        -0.8577286100002721,
        -0.5141027441932216
      ],
      [
        -0.8526401643540923,
        -0.5224985647159487
      ],
      [
        -0.8474695394742345,
        -0.5308440257395094
      ],
      [
        -0.8422172337162865,
        -0.5391383229110002
      ],
      [
        -0.8368837533084093,
        -0.5473806568087966
      ],
      [
        -0.8314696123025455,
        -0.555570233019602
      ],
      [
        -0.8259753325248733,
        -0.5637062622150164
      ],
      [
        -0.8204014435255138,
        -0.571787960227612
      ],
      [
        -0.8147484825274895,
        -0.5798145481265136
      ],
      [
        -0.8090169943749475,
        -0.587785252292473
      ],
      [
        -0.8032075314806449,
        -0.5956993044924332
      ],
      [
        -0.7973206537727071,
        -0.6035559419535714
      ],
      [
        -0.7913569286406602,
        -0.6113544074368165
      ],
      [
        -0.7853169308807448,
        -0.6190939493098341
      ],
      [
        -0.7792012426405169,
        -0.6267738216194693
      ],
      [
        -0.7730104533627371,
        -0.6343932841636453
      ],
      [
        -0.7667451597285616,
        -0.641951602562703
      ],
      [
        -0.760405965600031,
        -0.6494480483301835
      ],
      [
        -0.7539934819618695,
        -0.6568818989430413
      ],
      [
        -0.7475083268625968,
        -0.6642524379112816
      ],
      [
        -0.7409511253549591,
        -0.6715589548470184
      ],
      [
        -0.7343225094356858,
        -0.6788007455329415
      ],
      [
        -0.727623117984575,
        -0.6859771119901925
      ],
      [
        -0.720853596702919,
        -0.6930873625456356
      ],
      [
        -0.7140145980512683,
        -0.7001308118985234
      ],
      [
        -0.7071067811865477,
        -0.7071067811865475
      ],
      [
        -0.7001308118985237,
        -0.7140145980512682
      ],
      [
        -0.6930873625456359,
        -0.7208535967029188
      ],
      [
        -0.6859771119901927,
        -0.7276231179845749
      ],
      [
        -0.6788007455329417,
        -0.7343225094356856
      ],
      [
        -0.6715589548470187,
        -0.7409511253549589
      ],
      [
        -0.664252437911282,
        -0.7475083268625966
      ],
      [
        -0.6568818989430415,
        -0.7539934819618693
      ],
      [
        -0.6494480483301841,
        -0.7604059656000306
      ],
      [
        -0.6419516025627032,
        -0.7667451597285614
      ],
      [
        -0.6343932841636459,
        -0.7730104533627367
      ],
      [
        -0.6267738216194696,
        -0.7792012426405167
      ],
      [
        -0.6190939493098343,
        -0.7853169308807447
      ],
      [
        -0.6113544074368163,
        -0.7913569286406603
      ],
      [
        -0.6035559419535717,
        -0.797320653772707
      ],
      [
        -0.5956993044924331,
        -0.803207531480645
      ],
      [
        -0.5877852522924732,
        -0.8090169943749473
      ],
      [
        -0.5798145481265141,
        -0.8147484825274891
      ],
      [
        -0.5717879602276124,
        -0.8204014435255136
      ],
      [
        -0.5637062622150171,
        -0.825975332524873
      ],
      [
        -0.5555702330196022,
        -0.8314696123025452
      ],
      [
        -0.5473806568087969,
        -0.8368837533084091
      ],
      [
        -0.5391383229110001,
        -0.8422172337162867
      ],
      [
        -0.5308440257395096,
        -0.8474695394742343
      ],
      [
        -0.5224985647159486,
        -0.8526401643540924
      ],
      [
        -0.5141027441932218,
        -0.857728610000272
      ],
      [
        -0.505657373377985,
        -0.8627343859777916
      ],
      [
        -0.4971632662526544,
        -0.867657009819544
      ],
      [
        -0.4886212414969553,
        -0.872496007072797
      ],
      [
        -0.48003212240901105,
        -0.8772509113449243
      ],
      [
        -0.47139673682599786,
        -0.8819212643483549
      ],
      [
        -0.4627159170443499,
        -0.8865066159447466
      ],
      [
        -0.4539904997395469,
        -0.8910065241883678
      ],
      [
        -0.4452213258854687,
        -0.8954205553686967
      ],
      [
        -0.43640924067334214,
        -0.8997482840522214
      ],
      [
        -0.4275550934302825,
        -0.9039892931234431
      ],
      [
        -0.418659737537428,
        -0.9081431738250814
      ],
      [
        -0.4097240303476956,
        -0.9122095257974675
      ],
      [
        -0.4007488331031408,
        -0.916187957117136
      ],
      [
        -0.39173501085195617,
        -0.9200780843345948
      ],
      [
        -0.38268343236509034,
        -0.9238795325112865
      ],
      [
        -0.37359497005251646,
        -0.927591935255724
      ],
      [
        -0.36447049987915014,
        -0.9312149347588033
      ],
      [
        -0.35531090128041615,
        -0.9347481818282924
      ],
      [
        -0.34611705707749335,
        -0.938191335922484
      ],
      [
        -0.33688985339221994,
        -0.9415440651830208
      ],
      [
        -0.32763017956169377,
        -0.9448060464668779
      ],
      [
        -0.31833892805254954,
        -0.9479769653775105
      ],
      [
        -0.30901699437494756,
        -0.9510565162951535
      ],
      [
        -0.2996652769962571,
        -0.9540444024062803
      ],
      [
        -0.29028467725446244,
        -0.9569403357322088
      ],
      [
        -0.28087609927129253,
        -0.9597440371568573
      ],
      [
        -0.2714404498650742,
        -0.9624552364536473
      ],
      [
        -0.2619786384633378,
        -0.9650736723115473
      ],
      [
        -0.2524915770151578,
        -0.9675990923602599
      ],
      [
        -0.24298017990326412,
        -0.970031253194544
      ],
      [
        -0.23344536385590514,
        -0.9723699203976767
      ],
      [
        -0.22388804785849853,
        -0.974614868564045
      ],
      [
        -0.21430915306505124,
        -0.9767658813208723
      ],
      [
        -0.20470960270937963,
        -0.9788227513490724
      ],
      [
        -0.19509032201612866,
        -0.9807852804032303
      ],
      [
        -0.18545223811159084,
        -0.9826532793307118
      ],
      [
        -0.1757962799343548,
        -0.9844265680898916
      ],
      [
        -0.16612337814576528,
        -0.9861049757675088
      ],
      [
        -0.15643446504023104,
        -0.9876883405951377
      ],
      [
        -0.1467304744553623,
        -0.9891765099647809
      ],
      [
        -0.1370123416819681,
        -0.9905693404435773
      ],
      [
        -0.12728100337391365,
        -0.991866697787626
      ],
      [
        -0.1175373974578376,
        -0.9930684569549263
      ],
      [
        -0.1077824630427597,
        -0.9941745021174282
      ],
      [
        -0.09801714032956045,
        -0.9951847266721969
      ],
      [
        -0.08824237052036975,
        -0.9960990332516871
      ],
      [
        -0.07845909572784557,
        -0.996917333733128
      ],
      [
        -0.06866825888437389,
        -0.9976395492470157
      ],
      [
        -0.058870803651189546,
        -0.9982656101847158
      ],
      [
        -0.04906767432741803,
        -0.9987954562051724
      ],
      [
        -0.03925981575906901,
        -0.9992290362407229
      ],
      [
        -0.029448173247963068,
        -0.9995663085020212
      ],
      [
        -0.019633692460628595,
        -0.9998072404820648
      ],
      [
        -0.009817319337149412,
        -0.999951808959328
      ],
      [
        -1.8369701987210297e-16,
        -1.0
      ],
      [
        0.009817319337149044,
        -0.999951808959328
      ],
      [
        0.019633692460628228,
        -0.9998072404820648
      ],
      [
        0.0294481732479627,
        -0.9995663085020213
      ],
      [
        0.039259815759068645,
        -0.9992290362407229
      ],
      [
        0.04906767432741766,
        -0.9987954562051724
      ],
      [
        0.05887080365118918,
        -0.9982656101847159
      ],
      [
        0.06866825888437351,
        -0.9976395492470157
      ],
      [
        0.07845909572784521,
        -0.996917333733128
      ],
      [
        0.08824237052036939,
        -0.9960990332516872
      ],
      [
        0.09801714032956009,
        -0.9951847266721969
      ],
      [
        0.10778246304275932,
        -0.9941745021174282
      ],
      [
        0.11753739745783724,
        -0.9930684569549263
      ],
      [
        0.1272810033739133,
        -0.991866697787626
      ],
      [
        0.13701234168196774,
        -0.9905693404435773
      ],
      [
        0.14673047445536194,
        -0.9891765099647809
      ],
      [
        0.15643446504023067,
        -0.9876883405951378
      ],
      [
        0.16612337814576492,
        -0.9861049757675089
      ],
      [
        0.17579627993435443,
        -0.9844265680898917
      ],
      [
        0.18545223811159048,
        -0.9826532793307118
      ],
      [
        0.1950903220161283,
        -0.9807852804032304
      ],
      [
        0.20470960270937927,
        -0.9788227513490725
      ],
      [
        0.21430915306505088,
        -0.9767658813208724
      ],
      [
        0.22388804785849817,
        -0.9746148685640451
      ],
      [
        0.23344536385590478,
        -0.9723699203976768
      ],
      [
        0.24298017990326376,
        -0.970031253194544
      ],
      [
        0.25249157701515745,
        -0.9675990923602599
      ],
      [
        0.26197863846333747,
        -0.9650736723115474
      ],
      [
        0.2714404498650739,
        -0.9624552364536474
      ],
      [
        0.28087609927129215,
        -0.9597440371568574
      ],
      [
        0.29028467725446205,
        -0.9569403357322089
      ],
      [
        0.2996652769962568,
        -0.9540444024062804
      ],
      [
        0.30901699437494723,
        -0.9510565162951536
      ],
      [
        0.31833892805254915,
        -0.9479769653775106
      ],
      [
        0.32763017956169344,
        -0.944806046466878
      ],
      [
        0.3368898533922196,
        -0.9415440651830209
      ],
      [
        0.346117057077493,
        -0.9381913359224842
      ],
      [
        0.35531090128041576,
        -0.9347481818282926
      ],
      [
        0.3644704998791498,
        -0.9312149347588036
      ],
      [
        0.37359497005251613,
        -0.9275919352557241
      ],
      [
        0.38268343236509,
        -0.9238795325112866
      ],
      [
        0.39173501085195583,
        -0.9200780843345949
      ],
      [
        0.40074883310314047,
        -0.9161879571171361
      ],
      [
        0.4097240303476953,
        -0.9122095257974677
      ],
      [
        0.4186597375374277,
        -0.9081431738250815
      ],
      [
        0.42755509343028214,
        -0.9039892931234433
      ],
      [
        0.4364092406733418,
        -0.8997482840522216
      ],
      [
        0.44522132588546837,
        -0.8954205553686969
      ],
      [
        0.45399049973954664,
        -0.891006524188368
      ],
      [
        0.46271591704434956,
        -0.8865066159447467
      ],
      [
        0.4713967368259976,
        -0.881921264348355
      ],
      [
        0.4800321224090107,
        -0.8772509113449245
      ],
      [
        0.48862124149695496,
        -0.8724960070727971
      ],
      [
        0.49716326625265406,
        -0.8676570098195442
      ],
      [
        0.5056573733779847,
        -0.8627343859777917
      ],
      [
        0.5141027441932216,
        -0.8577286100002722
      ],
      [
        0.5224985647159484,
        -0.8526401643540925
      ],
      [
        0.5308440257395093,
        -0.8474695394742345
      ],
      [
        0.5391383229109997,
        -0.8422172337162869
      ],
      [
        0.5473806568087966,
        -0.8368837533084094
      ],
      [
        0.5555702330196018,
        -0.8314696123025455
      ],
      [
        0.5637062622150167,
        -0.8259753325248732
      ],
      [
        0.571787960227612,
        -0.8204014435255138
      ],
      [
        0.5798145481265138,
        -0.8147484825274893
      ],
      [
        0.5877852522924729,
        -0.8090169943749476
      ],
      [
        0.5956993044924328,
        -0.8032075314806453
      ],
      [
        0.6035559419535713,
        -0.7973206537727072
      ],
      [
        0.6113544074368161,
        -0.7913569286406605
      ],
      [
        0.619093949309834,
        -0.785316930880745
      ],
      [
        0.6267738216194693,
        -0.7792012426405169
      ],
      [
        0.6343932841636456,
        -0.7730104533627369
      ],
      [
        0.6419516025627029,
        -0.7667451597285616
      ],
      [
        0.6494480483301839,
        -0.7604059656000308
      ],
      [
        0.6568818989430412,
        -0.7539934819618695
      ],
      [
        0.6642524379112813,
        -0.7475083268625972
      ],
      [
        0.6715589548470183,
        -0.7409511253549591
      ],
      [
        0.6788007455329415,
        -0.7343225094356858
      ],
      [
        0.6859771119901928,
        -0.7276231179845748
      ],
      [
        0.6930873625456356,
        -0.720853596702919
      ],
      [
        0.7001308118985237,
        -0.7140145980512681
      ],
      [
        0.7071067811865474,
        -0.7071067811865477
      ],
      [
        0.7140145980512679,
        -0.700130811898524
      ],
      [
        0.7208535967029187,
        -0.693087362545636
      ],
      [
        0.7276231179845745,
        -0.6859771119901932
      ],
      [
        0.7343225094356856,
        -0.6788007455329417
      ],
      [
        0.7409511253549589,
        -0.6715589548470187
      ],
      [
        0.7475083268625968,
        -0.6642524379112816
      ],
      [
        0.7539934819618693,
        -0.6568818989430415
      ],
      [
        0.7604059656000305,
        -0.6494480483301841
      ],
      [
        0.7667451597285614,
        -0.6419516025627032
      ],
      [
        0.7730104533627365,
        -0.6343932841636459
      ],
      [
        0.7792012426405167,
        -0.6267738216194696
      ],
      [
        0.7853169308807446,
        -0.6190939493098343
      ],
      [
        0.7913569286406602,
        -0.6113544074368165
      ],
      [
        0.7973206537727069,
        -0.6035559419535717
      ],
      [
        0.803207531480645,
        -0.5956993044924332
      ],
      [
        0.8090169943749473,
        -0.5877852522924734
      ],
      [
        0.8147484825274891,
        -0.5798145481265141
      ],
      [
        0.8204014435255136,
        -0.5717879602276124
      ],
      [
        0.8259753325248729,
        -0.5637062622150171
      ],
      [
        0.8314696123025452,
        -0.5555702330196022
      ],
      [
        0.8368837533084091,
        -0.5473806568087969
      ],
      [
        0.8422172337162867,
        -0.5391383229110002
      ],
      [
        0.8474695394742343,
        -0.5308440257395097
      ],
      [
        0.8526401643540923,
        -0.5224985647159487
      ],
      [
        0.857728610000272,
        -0.5141027441932219
      ],
      [
        0.8627343859777915,
        -0.5056573733779851
      ],
      [
        0.867657009819544,
        -0.4971632662526544
      ],
      [
        0.872496007072797,
        -0.48862124149695535
      ],
      [
        0.8772509113449243,
        -0.4800321224090111
      ],
      [
        0.8819212643483548,
        -0.4713967368259979
      ],
      [
        0.8865066159447464,
        -0.46271591704434994
      ],
      [
        0.8910065241883678,
        -0.45399049973954697
      ],
      [
        0.8954205553686967,
        -0.44522132588546875
      ],
      [
        0.8997482840522214,
        -0.4364092406733422
      ],
      [
        0.9039892931234431,
        -0.42755509343028253
      ],
      [
        0.9081431738250813,
        -0.4186597375374281
      ],
      [
        0.9122095257974675,
        -0.40972403034769567
      ],
      [
        0.916187957117136,
        -0.40074883310314086
      ],
      [
        0.9200780843345948,
        -0.3917350108519562
      ],
      [
        0.9238795325112865,
        -0.3826834323650904
      ],
      [
        0.927591935255724,
        -0.3735949700525165
      ],
      [
        0.9312149347588033,
        -0.3644704998791502
      ],
      [
        0.9347481818282923,
        -0.3553109012804162
      ],
      [
        0.9381913359224839,
        -0.3461170570774934
      ],
      [
        0.9415440651830208,
        -0.33688985339222
      ],
      [
        0.9448060464668779,
        -0.3276301795616938
      ],
      [
        0.9479769653775104,
        -0.3183389280525496
      ],
      [
        0.9510565162951535,
        -0.3090169943749477
      ],
      [
        0.9540444024062803,
        -0.2996652769962572
      ],
      [
        0.9569403357322088,
        -0.2902846772544625
      ],
      [
        0.9597440371568573,
        -0.2808760992712926
      ],
      [
        0.9624552364536473,
        -0.27144044986507426
      ],
      [
        0.9650736723115473,
        -0.26197863846333785
      ],
      [
        0.9675990923602599,
        -0.25249157701515784
      ],
      [
        0.970031253194544,
        -0.24298017990326418
      ],
      [
        0.9723699203976767,
        -0.2334453638559052
      ],
      [
        0.974614868564045,
        -0.22388804785849858
      ],
      [
        0.9767658813208723,
        -0.2143091530650513
      ],
      [
        0.9788227513490724,
        -0.20470960270937968
      ],
      [
        0.9807852804032303,
        -0.19509032201612872
      ],
      [
        0.9826532793307118,
        -0.1854522381115909
      ],
      [
        0.9844265680898916,
        -0.17579627993435484
      ],
      [
        0.9861049757675088,
        -0.16612337814576533
      ],
      [
        0.9876883405951377,
        -0.1564344650402311
      ],
      [
        0.9891765099647809,
        -0.1467304744553624
      ],
      [
        0.9905693404435773,
        -0.13701234168196816
      ],
      [
        0.9918666977876259,
        -0.1272810033739137
      ],
      [
        0.9930684569549263,
        -0.11753739745783766
      ],
      [
        0.9941745021174282,
        -0.10778246304275975
      ],
      [
        0.9951847266721969,
        -0.0980171403295605
      ],
      [
        0.9960990332516871,
        -0.0882423705203698
      ],
      [
        0.996917333733128,
        -0.07845909572784562
      ],
      [
        0.9976395492470157,
        -0.06866825888437394
      ],
      [
        0.9982656101847158,
        -0.05887080365118961
      ],
      [
        0.9987954562051724,
        -0.04906767432741809
      ],
      [
        0.9992290362407229,
        -0.039259815759069075
      ],
      [
        0.9995663085020212,
        -0.02944817324796313
      ],
      [
        0.9998072404820648,
        -0.019633692460628658
      ],
      [
        0.999951808959328,
        -0.009817319337149473
      ],
      [
        1.0,
        -2.4492935982947064e-16
      ]
    ]
  },
  "right": {
    "bidegrees": [
      [
        0,
        0
      ],
      [
        1,
        0
      ],
      [
        2,
        0
      ],
      [
        0,
        1
      ],
      [
        1,
        1
      ],
      [
        2,
        1
      ],
      [
        0,
        2
      ],
      [
        1,
        2
      ],
      [
        2,
        2
      ]
    ],
    "horizontal": "delta: (p,q)->(p+1,q), alternating restrictions",
    "vertical": "(-1)^p d_v: (p,q)->(p,q+1)",
    "total": "D=delta+(-1)^p*d_v; D^2=0",
    "elimination_path": [
      [
        0,
        2
      ],
      [
        1,
        1
      ],
      [
        2,
        0
      ]
    ],
    "proof_locator": "cycle-detection-proof.md CD5c",
    "not_a_geometric_homotopy": true
  },
  "blender_decision": "Planar coordinates and an algebraic grid gain no clarity from a 3D scene."
}