From 5ac3004ae288b36d6b455446a51fe679dbdd1508 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Wed, 11 Apr 2018 12:10:35 -0700 Subject: [PATCH] Small additions to Wallis --- active_projects/wallis_g.py | 18 +++++++----------- 1 file changed, 7 insertions(+), 11 deletions(-) diff --git a/active_projects/wallis_g.py b/active_projects/wallis_g.py index d595a1de..5e928337 100644 --- a/active_projects/wallis_g.py +++ b/active_projects/wallis_g.py @@ -555,7 +555,7 @@ class Lemma2(Lemma1): def state_lemma_premise(self): premise = self.premise = TextMobject( - "If the observer replaces a lighthouse," + "Lemma 2: If the observer replaces a lighthouse," ) premise.next_to(self.title, DOWN) @@ -921,15 +921,17 @@ class FromGeometryToAlgebra(DistanceProductScene): self.play(Write(func_label, run_time=1)) for i, rotation in enumerate(rotations[:4]): - anims = [rotation] if i == 3: rect = SurroundingRectangle(polynomial) rect.set_color(YELLOW) - anims += [ + self.play( FadeIn(polynomial), ShowCreationThenDestruction(rect) - ] - self.play(*anims, run_time=np.sqrt(i + 1)) + ) + self.play( + rotation, + run_time=np.sqrt(i + 1) + ) self.play(*rotations[4:], run_time=3) self.wait() @@ -1042,12 +1044,6 @@ class FromGeometryToAlgebra(DistanceProductScene): - - - - - -