From ae9a92c2be7ed4925bb8540d5643f46bef1b5cd3 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Wed, 19 Sep 2018 10:49:59 -0700 Subject: [PATCH 1/2] Small formating --- utils/space_ops.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/utils/space_ops.py b/utils/space_ops.py index b0c6efdd..dfb049fd 100644 --- a/utils/space_ops.py +++ b/utils/space_ops.py @@ -43,7 +43,10 @@ def quaternion_conjugate(quaternion): def rotate_vector(vector, angle, axis=OUT): quat = quaternion_from_angle_axis(angle, axis) quat_inv = quaternion_conjugate(quat) - product = reduce(quaternion_mult, [quat, np.append(0, vector), quat_inv]) + product = reduce( + quaternion_mult, + [quat, np.append(0, vector), quat_inv] + ) return product[1:] From c2e42c4281a660410e797ee4d12f524fb72f7701 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Wed, 19 Sep 2018 10:50:18 -0700 Subject: [PATCH 2/2] Quaternion thumbnail edit --- active_projects/quaternions.py | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/active_projects/quaternions.py b/active_projects/quaternions.py index 484e4447..70accdb4 100644 --- a/active_projects/quaternions.py +++ b/active_projects/quaternions.py @@ -6496,20 +6496,22 @@ class ThumbnailP2(ThumbnailP1): class ThumbnailOverlay(Scene): def construct(self): - title = TextMobject("Quaternions") - title.set_width(8) - title.to_edge(UP) + title = TextMobject("Quaternions \\\\", "visualized") + title.set_width(7) + # title[1].scale(0.7, about_edge=UP) + title.to_edge(UP, buff=MED_SMALL_BUFF) v_line = Line(DOWN, UP) v_line.set_height(FRAME_HEIGHT) title.set_background_stroke(color=BLACK, width=1) - rect = BackgroundRectangle(title[4:6]) - rect.set_fill(opacity=1) - rect.stretch(0.9, 0) - rect.stretch(1.1, 1) - title.add_to_back(BackgroundRectangle(title[0])) - title.add_to_back(rect) + for part in (title[0][4:6], title[1][4:5]): + rect = BackgroundRectangle(part) + rect.set_fill(opacity=1) + rect.stretch(0.9, 0) + rect.stretch(1.1, 1) + title.add_to_back(rect) + # title.add_to_back(BackgroundRectangle(title[0])) arrow = Arrow(LEFT, RIGHT) arrow.scale(1.5)