From eab4d312c661d8807280257961b7ba8dfd2ab97a Mon Sep 17 00:00:00 2001 From: Mario Carneiro Date: Tue, 10 Sep 2024 01:43:41 +0400 Subject: [PATCH] perturb x corrds --- ITP/slides.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ITP/slides.typ b/ITP/slides.typ index 58cbec2..6191baf 100644 --- a/ITP/slides.typ +++ b/ITP/slides.typ @@ -538,7 +538,7 @@ We verified an $cal(O)(n^3)$ algorithm from\ @90dobkin_searching_empty_convex_po set-style(line: (stroke: (thickness: 3pt))) let pts = ( ((-9, -2), (-5, 7)), - ((2, 4), (9, 5), (17, 8), (12, 3), (23, 3), (12, 1), (16, 0), (18, -3), (7, -4)) + ((2, 4), (9, 5), (17, 8), (11, 3), (23, 3), (12, 1), (16, 0), (18, -3), (7, -4)) ) let (left, right) = pts.map(pts => pts.map(((x, y)) => (x/2,y))) let chain = (0, 1, 3, 5, 8).map(i => right.at(i))