public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-19 04:41:56 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

More eoc4 touchups

Browse source
This commit is contained in:
Grant Sanderson 2017-02-19 20:24:25 -08:00
parent e9dd86ff75
commit fd4fdc94af
1 changed files with 37 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

48
eoc/chapter4.py
View file

@ -905,8 +905,8 @@ class IntroduceProductAsArea(ReconfigurableScene):
self.dx = original_dx self.dx = original_dx
df_boxes = self.get_df_boxes() df_boxes = self.get_df_boxes()
right_box, corner_box, right_box = df_boxes right_box, corner_box, right_box = df_boxes
df_box_labels = self.get_df_box_labels(df_boxes)
self.play(FocusOn(nudge_label_group))
self.play(*map(GrowFromCenter, nudge_label_group)) self.play(*map(GrowFromCenter, nudge_label_group))
self.animate_x_change( self.animate_x_change(
self.default_x+self.dx, self.default_x+self.dx,
@ -918,22 +918,15 @@ class IntroduceProductAsArea(ReconfigurableScene):
self.play( self.play(
ReplacementTransform(thin_df_boxes, df_boxes), ReplacementTransform(thin_df_boxes, df_boxes),
VGroup(*labels[1]).shift, right_box.get_width()*RIGHT, VGroup(*labels[1]).shift, right_box.get_width()*RIGHT,
*map(GrowFromCenter, df_box_labels)
) )
self.play( self.play(
df_boxes.space_out_submobjects, 1.1, df_boxes.space_out_submobjects, 1.1,
df_boxes.move_to, box, UP+LEFT, df_boxes.move_to, box, UP+LEFT,
*[
MaintainPositionRelativeTo(label, box)
for label, box in zip(
df_box_labels, [right_box, corner_box]
)
]
) )
self.dither() self.dither()
self.df_boxes = df_boxes self.df_boxes = df_boxes
self.df_box_labels = df_box_labels self.df_box_labels = self.get_df_box_labels(df_boxes)
self.x_slider.add(nudge_label_group) self.x_slider.add(nudge_label_group)
def get_nudge_label_group(self): def get_nudge_label_group(self):
@ -1049,6 +1042,8 @@ class IntroduceProductAsArea(ReconfigurableScene):
def highlight_boxes_and_label(self, boxes, label): def highlight_boxes_and_label(self, boxes, label):
boxes.save_state() boxes.save_state()
label.save_state() label.save_state()
self.play(GrowFromCenter(label))
self.play( self.play(
boxes.highlight, RED, boxes.highlight, RED,
label.highlight, RED, label.highlight, RED,
@ -1180,16 +1175,44 @@ class IntroduceProductAsArea(ReconfigurableScene):
new_deriv.next_to(self.deriv, DOWN, buff = MED_LARGE_BUFF) new_deriv.next_to(self.deriv, DOWN, buff = MED_LARGE_BUFF)
new_deriv.shift_onto_screen() new_deriv.shift_onto_screen()
def indicate(mob):
self.play(
mob.scale_in_place, 1.2,
mob.highlight, YELLOW,
rate_func = there_and_back
)
for index in 3, 6: for index in 3, 6:
self.deriv.submobjects.insert( self.deriv.submobjects.insert(
index+1, self.deriv[index].copy() index+1, self.deriv[index].copy()
) )
non_deriv_indices = range(len(expanded_deriv))
for indices in [(3, 4), (7, 8)]:
top_part = VGroup()
bottom_part = VGroup()
for i in indices:
non_deriv_indices.remove(i)
top_part.add(self.deriv[i].copy())
bottom_part.add(expanded_deriv[i])
self.play(top_part.move_to, bottom_part)
self.dither()
indicate(top_part)
self.dither()
self.play(ReplacementTransform(top_part, bottom_part))
self.dither()
top_part = VGroup()
bottom_part = VGroup()
for i in non_deriv_indices:
top_part.add(self.deriv[i].copy())
bottom_part.add(expanded_deriv[i])
self.play(ReplacementTransform( self.play(ReplacementTransform(
self.deriv.copy(), expanded_deriv top_part, bottom_part
)) ))
self.dither() self.dither()
self.play(*[ self.play(*[
Transform( ReplacementTransform(
expanded_deriv[i], final_deriv[j], expanded_deriv[i], final_deriv[j],
path_arc = -np.pi/2 path_arc = -np.pi/2
) )
@ -1206,6 +1229,9 @@ class IntroduceProductAsArea(ReconfigurableScene):
] ]
]) ])
self.dither() self.dither()
for index in 0, 1, 3, 4, 6, 7:
indicate(final_deriv[index])
self.dither()
def write_derivative_abstractly(self): def write_derivative_abstractly(self):
self.transition_to_alt_config( self.transition_to_alt_config(