@maniclang/workbench 0.1.11

package/examples/cubic-graphs.manic

@@ -0,0 +1,432 @@
+title("Five Exceptional Cubic Graphs");
+canvas("16:9");
+template("paper");
+
+text(titleA, (cx, 34), "Five 3-connected simple cubic graphs");
+text(titleB, (cx, 68), "cycle-cover exceptions: at most $\lceil n/6\rceil$ cycles is not guaranteed");
+display(titleA);
+bold(titleA);
+size(titleA, 30);
+size(titleB, 22);
+color(titleB, dim);
+hidden(titleA);
+hidden(titleB);
+
+line(frameTop, (42, 104), (w - 42, 104));
+line(frameBottom, (42, h - 26), (w - 42, h - 26));
+line(frameLeft, (42, 104), (42, h - 26));
+line(frameRight, (w - 42, 104), (w - 42, h - 26));
+tag(frameTop, frame);
+tag(frameBottom, frame);
+tag(frameLeft, frame);
+tag(frameRight, frame);
+stroke(frame, 3);
+color(frame, dim);
+opacity(frame, 0.45);
+untraced(frame);
+
+dot(g1u1, (180, 310), 5);
+dot(g1u2, (320, 310), 5);
+dot(g1u3, (370, 210), 5);
+dot(g1u4, (250, 125), 5);
+dot(g1u5, (130, 210), 5);
+dot(g1v1, (220, 265), 5);
+dot(g1v2, (280, 265), 5);
+dot(g1v3, (305, 225), 5);
+dot(g1v4, (250, 185), 5);
+dot(g1v5, (195, 225), 5);
+tag(g1u1, g1Nodes);
+tag(g1u2, g1Nodes);
+tag(g1u3, g1Nodes);
+tag(g1u4, g1Nodes);
+tag(g1u5, g1Nodes);
+tag(g1v1, g1Nodes);
+tag(g1v2, g1Nodes);
+tag(g1v3, g1Nodes);
+tag(g1v4, g1Nodes);
+tag(g1v5, g1Nodes);
+
+line(g1e1, (180, 310), (320, 310));
+line(g1e2, (320, 310), (370, 210));
+line(g1e3, (370, 210), (250, 125));
+line(g1e4, (250, 125), (130, 210));
+line(g1e5, (130, 210), (180, 310));
+line(g1e6, (220, 265), (280, 265));
+line(g1e7, (280, 265), (305, 225));
+line(g1e8, (305, 225), (250, 185));
+line(g1e9, (250, 185), (195, 225));
+line(g1e10, (195, 225), (220, 265));
+line(g1e11, (180, 310), (220, 265));
+line(g1e12, (320, 310), (280, 265));
+line(g1e13, (370, 210), (305, 225));
+line(g1e14, (250, 125), (250, 185));
+line(g1e15, (130, 210), (195, 225));
+tag(g1e1, g1Edges);
+tag(g1e2, g1Edges);
+tag(g1e3, g1Edges);
+tag(g1e4, g1Edges);
+tag(g1e5, g1Edges);
+tag(g1e6, g1Edges);
+tag(g1e7, g1Edges);
+tag(g1e8, g1Edges);
+tag(g1e9, g1Edges);
+tag(g1e10, g1Edges);
+tag(g1e11, g1Edges);
+tag(g1e12, g1Edges);
+tag(g1e13, g1Edges);
+tag(g1e14, g1Edges);
+tag(g1e15, g1Edges);
+
+text(g1lu1, (165, 336), "$u_1$");
+text(g1lu2, (333, 336), "$u_2$");
+text(g1lu3, (393, 214), "$u_3$");
+text(g1lu4, (270, 124), "$u_4$");
+text(g1lu5, (105, 215), "$u_5$");
+text(g1lv1, (198, 262), "$v_1$");
+text(g1lv2, (301, 262), "$v_2$");
+text(g1lv3, (326, 228), "$v_3$");
+text(g1lv4, (272, 181), "$v_4$");
+text(g1lv5, (174, 227), "$v_5$");
+tag(g1lu1, nodeLabels);
+tag(g1lu2, nodeLabels);
+tag(g1lu3, nodeLabels);
+tag(g1lu4, nodeLabels);
+tag(g1lu5, nodeLabels);
+tag(g1lv1, nodeLabels);
+tag(g1lv2, nodeLabels);
+tag(g1lv3, nodeLabels);
+tag(g1lv4, nodeLabels);
+tag(g1lv5, nodeLabels);
+equation(g1Name, (250, 366), "G_1", 30);
+tag(g1Name, graphNames);
+
+dot(g2u1, (1030, 120), 5);
+dot(g2u2, (1160, 210), 5);
+dot(g2u3, (1120, 320), 5);
+dot(g2u4, (940, 320), 5);
+dot(g2u5, (900, 210), 5);
+dot(g2u6, (1030, 185), 5);
+dot(g2u7, (1095, 225), 5);
+dot(g2u8, (1075, 275), 5);
+dot(g2u9, (985, 275), 5);
+dot(g2u10, (965, 225), 5);
+tag(g2u1, g2Nodes);
+tag(g2u2, g2Nodes);
+tag(g2u3, g2Nodes);
+tag(g2u4, g2Nodes);
+tag(g2u5, g2Nodes);
+tag(g2u6, g2Nodes);
+tag(g2u7, g2Nodes);
+tag(g2u8, g2Nodes);
+tag(g2u9, g2Nodes);
+tag(g2u10, g2Nodes);
+
+line(g2e1, (1030, 120), (1160, 210));
+line(g2e2, (1160, 210), (1120, 320));
+line(g2e3, (1120, 320), (940, 320));
+line(g2e4, (940, 320), (900, 210));
+line(g2e5, (900, 210), (1030, 120));
+line(g2e6, (1030, 120), (1030, 185));
+line(g2e7, (1160, 210), (1095, 225));
+line(g2e8, (1120, 320), (1075, 275));
+line(g2e9, (940, 320), (985, 275));
+line(g2e10, (900, 210), (965, 225));
+line(g2e11, (1030, 185), (1075, 275));
+line(g2e12, (1075, 275), (965, 225));
+line(g2e13, (965, 225), (1095, 225));
+line(g2e14, (1095, 225), (985, 275));
+line(g2e15, (985, 275), (1030, 185));
+tag(g2e1, g2Edges);
+tag(g2e2, g2Edges);
+tag(g2e3, g2Edges);
+tag(g2e4, g2Edges);
+tag(g2e5, g2Edges);
+tag(g2e6, g2Edges);
+tag(g2e7, g2Edges);
+tag(g2e8, g2Edges);
+tag(g2e9, g2Edges);
+tag(g2e10, g2Edges);
+tag(g2e11, g2Edges);
+tag(g2e12, g2Edges);
+tag(g2e13, g2Edges);
+tag(g2e14, g2Edges);
+tag(g2e15, g2Edges);
+
+text(g2lu1, (1010, 114), "$u_1$");
+text(g2lu2, (1184, 214), "$u_2$");
+text(g2lu3, (1138, 344), "$u_3$");
+text(g2lu4, (918, 344), "$u_4$");
+text(g2lu5, (874, 214), "$u_5$");
+text(g2lu6, (1051, 181), "$u_6$");
+text(g2lu7, (1122, 224), "$u_7$");
+text(g2lu8, (1095, 280), "$u_8$");
+text(g2lu9, (959, 280), "$u_9$");
+text(g2lu10, (934, 224), "$u_{10}$");
+tag(g2lu1, nodeLabels);
+tag(g2lu2, nodeLabels);
+tag(g2lu3, nodeLabels);
+tag(g2lu4, nodeLabels);
+tag(g2lu5, nodeLabels);
+tag(g2lu6, nodeLabels);
+tag(g2lu7, nodeLabels);
+tag(g2lu8, nodeLabels);
+tag(g2lu9, nodeLabels);
+tag(g2lu10, nodeLabels);
+equation(g2Name, (1030, 366), "G_2", 30);
+tag(g2Name, graphNames);
+
+let g3cx = cx;
+let g3cy = 398;
+let g3r = 105;
+dot(g3c, (g3cx, g3cy), 5);
+tag(g3c, g3Nodes);
+for i in 0..12 {
+line(g3rim{i}, (g3cx + g3r * cos(-pi/2 + tau * i/12), g3cy + g3r * sin(-pi/2 + tau * i/12)), (g3cx + g3r * cos(-pi/2 + tau * (i + 1)/12), g3cy + g3r * sin(-pi/2 + tau * (i + 1)/12)));
+line(g3spoke{i}, (g3cx, g3cy), (g3cx + g3r * cos(-pi/2 + tau * i/12), g3cy + g3r * sin(-pi/2 + tau * i/12)));
+dot(g3u{i}, (g3cx + g3r * cos(-pi/2 + tau * i/12), g3cy + g3r * sin(-pi/2 + tau * i/12)), 5);
+tag(g3rim{i}, g3Edges);
+tag(g3spoke{i}, g3Edges);
+tag(g3u{i}, g3Nodes);
+}
+text(g3l1, (640, 264), "$u_1$");
+text(g3l2, (710, 284), "$u_2$");
+text(g3l3, (762, 334), "$u_3$");
+text(g3l4, (778, 402), "$u_4$");
+text(g3l5, (762, 470), "$u_5$");
+text(g3l6, (710, 520), "$u_6$");
+text(g3l7, (640, 540), "$u_7$");
+text(g3l8, (570, 520), "$u_8$");
+text(g3l9, (518, 470), "$u_9$");
+text(g3l10, (500, 402), "$u_{10}$");
+text(g3l11, (518, 334), "$u_{11}$");
+text(g3l12, (570, 284), "$u_{12}$");
+tag(g3l1, nodeLabels);
+tag(g3l2, nodeLabels);
+tag(g3l3, nodeLabels);
+tag(g3l4, nodeLabels);
+tag(g3l5, nodeLabels);
+tag(g3l6, nodeLabels);
+tag(g3l7, nodeLabels);
+tag(g3l8, nodeLabels);
+tag(g3l9, nodeLabels);
+tag(g3l10, nodeLabels);
+tag(g3l11, nodeLabels);
+tag(g3l12, nodeLabels);
+equation(g3Name, (640, 612), "G_3", 30);
+tag(g3Name, graphNames);
+
+dot(g4u1, (210, 625), 5);
+dot(g4u2, (350, 625), 5);
+dot(g4u3, (410, 510), 5);
+dot(g4u4, (290, 435), 5);
+dot(g4v1, (255, 560), 5);
+dot(g4v2, (320, 560), 5);
+dot(g4v3, (340, 510), 5);
+dot(g4v4, (290, 485), 5);
+dot(g4v5, (220, 520), 5);
+dot(g4w1, (170, 500), 5);
+dot(g4w2, (145, 450), 5);
+dot(g4w3, (95, 565), 5);
+tag(g4u1, g4Nodes);
+tag(g4u2, g4Nodes);
+tag(g4u3, g4Nodes);
+tag(g4u4, g4Nodes);
+tag(g4v1, g4Nodes);
+tag(g4v2, g4Nodes);
+tag(g4v3, g4Nodes);
+tag(g4v4, g4Nodes);
+tag(g4v5, g4Nodes);
+tag(g4w1, g4Nodes);
+tag(g4w2, g4Nodes);
+tag(g4w3, g4Nodes);
+
+line(g4e1, (95, 565), (210, 625));
+line(g4e2, (210, 625), (350, 625));
+line(g4e3, (350, 625), (410, 510));
+line(g4e4, (410, 510), (290, 435));
+line(g4e5, (290, 435), (145, 450));
+line(g4e6, (145, 450), (95, 565));
+line(g4e7, (145, 450), (170, 500));
+line(g4e8, (95, 565), (170, 500));
+line(g4e9, (170, 500), (220, 520));
+line(g4e10, (255, 560), (320, 560));
+line(g4e11, (320, 560), (340, 510));
+line(g4e12, (340, 510), (290, 485));
+line(g4e13, (290, 485), (220, 520));
+line(g4e14, (220, 520), (255, 560));
+line(g4e15, (210, 625), (255, 560));
+line(g4e16, (350, 625), (320, 560));
+line(g4e17, (410, 510), (340, 510));
+line(g4e18, (290, 435), (290, 485));
+tag(g4e1, g4Edges);
+tag(g4e2, g4Edges);
+tag(g4e3, g4Edges);
+tag(g4e4, g4Edges);
+tag(g4e5, g4Edges);
+tag(g4e6, g4Edges);
+tag(g4e7, g4Edges);
+tag(g4e8, g4Edges);
+tag(g4e9, g4Edges);
+tag(g4e10, g4Edges);
+tag(g4e11, g4Edges);
+tag(g4e12, g4Edges);
+tag(g4e13, g4Edges);
+tag(g4e14, g4Edges);
+tag(g4e15, g4Edges);
+tag(g4e16, g4Edges);
+tag(g4e17, g4Edges);
+tag(g4e18, g4Edges);
+
+text(g4lu1, (190, 650), "$u_1$");
+text(g4lu2, (365, 650), "$u_2$");
+text(g4lu3, (435, 514), "$u_3$");
+text(g4lu4, (294, 414), "$u_4$");
+text(g4lv1, (255, 540), "$v_1$");
+text(g4lv2, (335, 544), "$v_2$");
+text(g4lv3, (360, 505), "$v_3$");
+text(g4lv4, (312, 485), "$v_4$");
+text(g4lv5, (224, 500), "$v_5$");
+text(g4lw1, (176, 480), "$w_1$");
+text(g4lw2, (123, 444), "$w_2$");
+text(g4lw3, (72, 568), "$w_3$");
+tag(g4lu1, nodeLabels);
+tag(g4lu2, nodeLabels);
+tag(g4lu3, nodeLabels);
+tag(g4lu4, nodeLabels);
+tag(g4lv1, nodeLabels);
+tag(g4lv2, nodeLabels);
+tag(g4lv3, nodeLabels);
+tag(g4lv4, nodeLabels);
+tag(g4lv5, nodeLabels);
+tag(g4lw1, nodeLabels);
+tag(g4lw2, nodeLabels);
+tag(g4lw3, nodeLabels);
+equation(g4Name, (275, 690), "G_4", 30);
+tag(g4Name, graphNames);
+
+dot(g5a, (1020, 440), 5);
+dot(g5b, (1160, 470), 5);
+dot(g5c, (1135, 535), 5);
+dot(g5d, (1195, 575), 5);
+dot(g5e, (1080, 635), 5);
+dot(g5f, (915, 625), 5);
+dot(g5g, (880, 525), 5);
+dot(g5h, (1020, 505), 5);
+dot(g5i, (960, 535), 5);
+dot(g5j, (1080, 535), 5);
+dot(g5k, (980, 590), 5);
+dot(g5l, (1060, 590), 5);
+tag(g5a, g5Nodes);
+tag(g5b, g5Nodes);
+tag(g5c, g5Nodes);
+tag(g5d, g5Nodes);
+tag(g5e, g5Nodes);
+tag(g5f, g5Nodes);
+tag(g5g, g5Nodes);
+tag(g5h, g5Nodes);
+tag(g5i, g5Nodes);
+tag(g5j, g5Nodes);
+tag(g5k, g5Nodes);
+tag(g5l, g5Nodes);
+
+line(g5e1, (1020, 440), (1160, 470));
+line(g5e2, (1160, 470), (1195, 575));
+line(g5e3, (1195, 575), (1080, 635));
+line(g5e4, (1080, 635), (915, 625));
+line(g5e5, (915, 625), (880, 525));
+line(g5e6, (880, 525), (1020, 440));
+line(g5e7, (1160, 470), (1135, 535));
+line(g5e8, (1135, 535), (1195, 575));
+line(g5e9, (1135, 535), (1080, 535));
+line(g5e10, (1020, 440), (1020, 505));
+line(g5e11, (880, 525), (960, 535));
+line(g5e12, (915, 625), (980, 590));
+line(g5e13, (1080, 635), (1060, 590));
+line(g5e14, (1020, 505), (980, 590));
+line(g5e15, (1020, 505), (1060, 590));
+line(g5e16, (960, 535), (1080, 535));
+line(g5e17, (960, 535), (1060, 590));
+line(g5e18, (1080, 535), (980, 590));
+tag(g5e1, g5Edges);
+tag(g5e2, g5Edges);
+tag(g5e3, g5Edges);
+tag(g5e4, g5Edges);
+tag(g5e5, g5Edges);
+tag(g5e6, g5Edges);
+tag(g5e7, g5Edges);
+tag(g5e8, g5Edges);
+tag(g5e9, g5Edges);
+tag(g5e10, g5Edges);
+tag(g5e11, g5Edges);
+tag(g5e12, g5Edges);
+tag(g5e13, g5Edges);
+tag(g5e14, g5Edges);
+tag(g5e15, g5Edges);
+tag(g5e16, g5Edges);
+tag(g5e17, g5Edges);
+tag(g5e18, g5Edges);
+
+equation(g5Name, (1020, 690), "G_5", 30);
+tag(g5Name, graphNames);
+
+tag(g1Edges, allEdges);
+tag(g2Edges, allEdges);
+tag(g3Edges, allEdges);
+tag(g4Edges, allEdges);
+tag(g5Edges, allEdges);
+tag(g1Nodes, allNodes);
+tag(g2Nodes, allNodes);
+tag(g3Nodes, allNodes);
+tag(g4Nodes, allNodes);
+tag(g5Nodes, allNodes);
+
+stroke(allEdges, 3);
+color(allEdges, fg);
+untraced(allEdges);
+color(allNodes, fg);
+hidden(allNodes);
+size(nodeLabels, 19);
+color(nodeLabels, dim);
+hidden(nodeLabels);
+hidden(graphNames);
+
+show(titleA, 0.5);
+show(titleB, 0.5);
+draw(frame, 0.7);
+
+par {
+seq {
+draw(g1Edges, 1.0);
+show(g1Nodes, 0.25);
+show(g1Name, 0.25);
+}
+seq {
+wait(0.25);
+draw(g2Edges, 1.0);
+show(g2Nodes, 0.25);
+show(g2Name, 0.25);
+}
+seq {
+wait(0.5);
+draw(g3Edges, 1.2);
+show(g3Nodes, 0.25);
+show(g3Name, 0.25);
+}
+seq {
+wait(0.75);
+draw(g4Edges, 1.1);
+show(g4Nodes, 0.25);
+show(g4Name, 0.25);
+}
+seq {
+wait(1.0);
+draw(g5Edges, 1.0);
+show(g5Nodes, 0.25);
+show(g5Name, 0.25);
+}
+}
+
+show(nodeLabels, 0.7);
+recolor(graphNames, gold, 0.5);
+pulse(graphNames, 0.8);
+wait(1.0);

package/examples/curve-features.manic

@@ -0,0 +1,41 @@
+title("Reading a curve's shape — maxima, minima, inflection");
+canvas("16:9");
+
+let ox = cx - 540;   // math x=0 maps here (centres the domain 1..5 under cx)
+let oy = cy;
+
+text(hdr, (cx, 56), "Where the curve turns, and where it changes its bend");
+size(hdr, 26); color(hdr, cyan); bold(hdr); display(hdr); hidden(hdr);
+
+axes(ax, (ox, oy), 940, 240, 1);
+color(ax, dim); untraced(ax);
+
+// a cubic S-curve: one maximum, one minimum, one inflection
+plot(f, (ox, oy), 180, 170, "0.4*((x-3)*(x-3)*(x-3) - 4*(x-3))", (1, 5));
+color(f, cyan); stroke(f, 4); untraced(f);
+
+// maxima & minima (slope = 0)
+extrema(turn, f);
+color(turn, gold);
+
+// inflection (concavity flips, f'' = 0)
+inflections(bend, f);
+color(bend, magenta);
+
+text(lg, (cx + 300, 150), "gold: max / min  (slope 0)");
+size(lg, 18); color(lg, gold); display(lg); hidden(lg);
+text(lm, (cx + 300, 186), "pink: inflection  (bend flips)");
+size(lm, 18); color(lm, magenta); display(lm); hidden(lm);
+
+// ---- timeline ----
+show(hdr, 0.6);
+draw(ax, 0.7);
+draw(f, 1.6);
+wait(0.3);
+show(turn, 0.5);
+show(lg, 0.4);
+pulse(turn, 0.6);
+wait(0.3);
+show(bend, 0.5);
+show(lm, 0.4);
+pulse(bend, 0.6);

package/examples/definedmotion-fourier-gallery.manic

@@ -0,0 +1,171 @@
+// Visual acceptance story for DefinedMotion resources/animation2.gif.
+// Twenty visible orbit rings create each relation. Every coloured partial-sum
+// history is derived from the exact endpoint that draws it.
+
+title("Fourier Series — Rotations Become Waves");
+canvas("9:16");
+template("mono");
+
+watermark(mark,(w*0.15,h*0.045),"Made With Manic");
+text(chapter,(cx,h*0.075),"FOURIER SERIES · FIVE RELATIONS");
+text(caption,(cx,h*0.85),"Twenty rotating circles. One continuously derived signal.");
+text(cta,(cx,h*0.925),"BUILD VISUAL EXPLANATIONS → 8gwifi.org/manic");
+size(chapter,18); color(chapter,dim); bold(chapter); hidden(chapter);
+size(caption,20); color(caption,dim); hidden(caption);
+size(cta,21); color(cta,cyan); bold(cta); hidden(cta);
+
+camera3((-31,-25,44),(1,-2,0),42,orthographic);
+
+def relation(k,zv) {
+  // The chain, its two local axes, and the waveform axes all share one layer.
+  collection3(series{k},(-3,5,zv),20,(0,0,0),11,0.055);
+  line3(sweep{k},(-3,5,zv),(10,5,zv));
+  hidden(sweep{k});
+  links3(arms{k},series{k},chain);
+  child3(tip{k},series{k},19,0.12);
+  arrow3(chainX{k},(-11,5,zv),(7,5,zv));
+  arrow3(chainY{k},(-3,-3,zv),(-3,13,zv));
+  arrow3(plotX{k},(-7,-12,zv),(12,-12,zv));
+  arrow3(plotY{k},(-7,-12,zv),(-7,-3,zv));
+  // A cinematic crop: the axes may continue beyond the frame, as in the
+  // reference, while the active rings and the growing history stay dominant.
+  point3(shot{k}A,(-7.5,-10,zv),0.01);
+  point3(shot{k}B,(8.5,10,zv),0.01);
+  tag(shot{k}A,shot{k}); tag(shot{k}B,shot{k});
+  hidden(shot{k}A); hidden(shot{k}B);
+
+  tag(series{k},layer{k}); tag(arms{k},layer{k}); tag(tip{k},layer{k});
+  tag(chainX{k},layer{k}); tag(chainY{k},layer{k});
+  tag(plotX{k},layer{k}); tag(plotY{k},layer{k});
+  tag(layer{k},stack);
+
+  for i in 0..20 {
+    ring3(orbit{k}_{i},series{k},i,72);
+    historyplot3(wave{k}_{i},series{k},i,y,(-7,-12,zv),(19,8.5));
+    thick(orbit{k}_{i},0.022);
+    thick(wave{k}_{i},0.014);
+    tag(orbit{k}_{i},layer{k}); tag(wave{k}_{i},layer{k});
+  }
+
+  color(series{k},fg); color(arms{k},fg); color(tip{k},fg);
+  color(chainX{k},fg); color(chainY{k},fg);
+  color(plotX{k},fg); color(plotY{k},fg);
+  thick(chainX{k},0.016); thick(chainY{k},0.016);
+  thick(plotX{k},0.016); thick(plotY{k},0.016);
+
+  color(orbit{k}_0,lime);       color(wave{k}_0,lime);
+  color(orbit{k}_1,gold);       color(wave{k}_1,gold);
+  color(orbit{k}_2,gold);       color(wave{k}_2,gold);
+  color(orbit{k}_3,magenta);    color(wave{k}_3,magenta);
+  color(orbit{k}_4,coral);      color(wave{k}_4,coral);
+  color(orbit{k}_5,red);        color(wave{k}_5,red);
+  color(orbit{k}_6,orange);     color(wave{k}_6,orange);
+  color(orbit{k}_7,magenta);    color(wave{k}_7,magenta);
+  color(orbit{k}_8,violet);     color(wave{k}_8,violet);
+  color(orbit{k}_9,indigo);     color(wave{k}_9,indigo);
+  color(orbit{k}_10,cyan);      color(wave{k}_10,cyan);
+  color(orbit{k}_11,blue);      color(wave{k}_11,blue);
+  color(orbit{k}_12,mint);      color(wave{k}_12,mint);
+  color(orbit{k}_13,lime);      color(wave{k}_13,lime);
+  color(orbit{k}_14,gold);      color(wave{k}_14,gold);
+  color(orbit{k}_15,cyan);      color(wave{k}_15,cyan);
+  color(orbit{k}_16,lime);      color(wave{k}_16,lime);
+  color(orbit{k}_17,magenta);   color(wave{k}_17,magenta);
+  color(orbit{k}_18,coral);     color(wave{k}_18,coral);
+  color(orbit{k}_19,cyan);      color(wave{k}_19,cyan);
+}
+
+relation(0,-20);
+relation(1,-10);
+relation(2,0);
+relation(3,10);
+relation(4,20);
+point3(overviewA,(-11,-12,-20),0.01);
+point3(overviewB,(12,13,20),0.01);
+tag(overviewA,overviewShot); tag(overviewB,overviewShot);
+hidden(overviewA); hidden(overviewB);
+
+equation(formula0,(0,0),`\sum_{n=1}^{N}\frac{4}{\pi(2n-1)}\sin((2n-1)t)`,26);
+equation(formula1,(0,0),`\sum_{n=1}^{N}\frac{2(-1)^{n+1}}{\pi n}\sin(nt)`,26);
+equation(formula2,(0,0),`\sum_{n=1}^{N}\frac{2w_n}{\pi n}\sin(nt)`,26);
+equation(formula3,(0,0),`\sum_{n=1}^{N}\frac{2}{\pi n}\sin(n^2t)`,26);
+equation(formula4,(0,0),`\sum_{n=1}^{N}\frac{2r_n}{\pi n}\sin(nt)`,26);
+label3(formula0,(-8,-2,-20),0.82);
+label3(formula1,(-8,-2,-10),0.82);
+label3(formula2,(-8,-2,0),0.82);
+label3(formula3,(-8,-2,10),0.82);
+label3(formula4,(-8,-2,20),0.82);
+for i in 0..5 {
+  tag(formula{i},layer{i}); tag(formula{i},stack); color(formula{i},fg);
+}
+
+hidden(stack);
+
+step("enter the Fourier world") {
+  show(chapter,0.30);
+  show(caption,0.35);
+  show(stack,0.85);
+}
+wait(0.35);
+
+step("twenty circles write five signals") {
+  par {
+    chain3(series0,"4.0744 1.3581 0.8149 0.5821 0.4527 0.3704 0.3134 0.2716 0.2397 0.2144 0.1940 0.1771 0.1630 0.1509 0.1405 0.1314 0.1235 0.1164 0.1101 0.1045","1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39",17.0);
+    chain3(series1,"2.0372 -1.0186 0.6791 -0.5093 0.4074 -0.3395 0.2910 -0.2546 0.2264 -0.2037 0.1852 -0.1698 0.1567 -0.1455 0.1358 -0.1273 0.1198 -0.1132 0.1072 -0.1019","1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20",17.0);
+    chain3(series2,"0 0.0276 0.0716 0.1154 0.1537 0.1838 0.2040 0.2136 0.2127 0.2023 0.1839 0.1595 0.1314 0.1020 0.0735 0.0480 0.0271 0.0119 0.0029 0","1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20",17.0);
+    chain3(series3,"2.0372 1.0186 0.6791 0.5093 0.4074 0.3395 0.2910 0.2546 0.2264 0.2037 0.1852 0.1698 0.1567 0.1455 0.1358 0.1273 0.1198 0.1132 0.1072 0.1019","1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400",17.0);
+    chain3(series4,"1.3334 0.0973 0.0648 0.3333 0.4074 0.2222 0.0278 0.0243 0.1482 0.2037 0.1212 0.0162 0.0150 0.0952 0.1358 0.0833 0.0114 0.0108 0.0702 0.1019","1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20",17.0);
+    travel3(series0,sweep0,17.0,linear);
+    travel3(series1,sweep1,17.0,linear);
+    travel3(series2,sweep2,17.0,linear);
+    travel3(series3,sweep3,17.0,linear);
+    travel3(series4,sweep4,17.0,linear);
+
+    seq {
+      wait(0.45);
+      par {
+        fade(layer1,0.80); fade(layer2,0.80); fade(layer3,0.80); fade(layer4,0.80);
+        view3(shot0,"isometric",1.45,smooth,1.08);
+        say(caption,"Square wave — odd harmonics sharpen every corner.",0.35);
+      }
+      wait(1.65);
+      par {
+        fade(layer0,0.65); show(layer1,0.65);
+        view3(shot1,"isometric",1.35,smooth,1.08);
+        say(caption,"Sawtooth — every harmonic joins with alternating direction.",0.35);
+      }
+      wait(1.65);
+      par {
+        fade(layer1,0.65); show(layer2,0.65);
+        view3(shot2,"isometric",1.35,smooth,1.08);
+        say(caption,"Hann window — the outer harmonics taper away.",0.35);
+      }
+      wait(1.65);
+      par {
+        fade(layer2,0.65); show(layer3,0.65);
+        view3(shot3,"isometric",1.35,smooth,1.08);
+        say(caption,"Quadratic chirp — frequency accelerates as n squared.",0.35);
+      }
+      wait(1.65);
+      par {
+        fade(layer3,0.65); show(layer4,0.65);
+        view3(shot4,"isometric",1.35,smooth,1.08);
+        say(caption,"Envelope ripple — selected harmonics breathe in and out.",0.35);
+      }
+      wait(1.55);
+      par {
+        show(layer0,0.55); show(layer1,0.55); show(layer2,0.55); show(layer3,0.55);
+        view3(overviewShot,"isometric",1.5,smooth,1.30);
+        say(caption,"One relationship engine. Five very different signals.",0.35);
+      }
+    }
+  }
+}
+wait(0.35);
+
+step("create with Manic") {
+  show(cta,0.45);
+  pulse(stack,0.75);
+  say(caption,"Describe the relationship; Manic keeps every ring, endpoint, history, and camera together.",0.40);
+}
+wait(1.4);