From 8b7bde9b34e80376f68585a7a11f98f6905de7d1 Mon Sep 17 00:00:00 2001
From: Pavel 'LEdoian' Turinsky <ledoian@matfyz.cz>
Date: Wed, 5 Apr 2023 11:20:54 +0200
Subject: [PATCH] more labels

---
 envelope.asy | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/envelope.asy b/envelope.asy
index 473375f..af640f3 100644
--- a/envelope.asy
+++ b/envelope.asy
@@ -62,7 +62,7 @@ real lltb = dot(llta, corners[2]);
 pair lrba = (1, -1);
 real lrbb = dot(lrba, corners[0]);
 pair lrta = (1, 1);
-real lrtb = dot(lrba, corners[0]);
+real lrtb = dot(lrta, corners[0]);
 
 pair lineinters(pair l1a, real l1b, pair l2a, real l2b) {
 	// For some reason, solve does not like having the matrices right in the
@@ -88,6 +88,17 @@ pair cb2 = lineinters(lrba, lrbb, (0, 1), 0);
 pair ct1 = lineinters(llta, lltb, (0, 1), sqsz);
 pair ct2 = lineinters(lrta, lrtb, (0, 1), sqsz);
 
+if (with_labels) {
+	label("$CL_1$", cl1);
+	label("$CL_2$", cl2);
+	label("$CR_1$", cr1);
+	label("$CR_2$", cr2);
+	label("$CT_1$", ct1);
+	label("$CT_2$", ct2);
+	label("$CB_1$", cb1);
+	label("$CB_2$", cb2);
+}
+
 // Draw the cutouts
 draw(cl1 -- corners[2] -- cl2);
 draw(cr1 -- corners[0] -- cr2);