mirror of
https://github.com/3b1b/manim.git
synced 2025-08-01 06:22:54 +08:00
269 lines
8.2 KiB
Python
269 lines
8.2 KiB
Python
from big_ol_pile_of_manim_imports import *
|
|
from active_projects.eop.reusable_imports import *
|
|
|
|
|
|
class ProbabilityDistributions(PiCreatureScene):
|
|
|
|
CONFIG = {
|
|
"default_pi_creature_kwargs": {
|
|
"color": MAROON_E,
|
|
"flip_at_start": False,
|
|
},
|
|
}
|
|
|
|
def construct(self):
|
|
|
|
lag_ratio = 0.2
|
|
run_time = 3
|
|
|
|
|
|
text = TextMobject("Probability distributions", color = YELLOW)
|
|
text.to_edge(UP)
|
|
text_rect = SurroundingRectangle(text, buff = MED_SMALL_BUFF)
|
|
|
|
self.play(
|
|
FadeIn(text),
|
|
ShowCreation(text_rect)
|
|
)
|
|
|
|
|
|
# WEATHER FORECAST
|
|
|
|
|
|
unit_rect = Rectangle(
|
|
height = 3, width = 3
|
|
).shift(DOWN)
|
|
|
|
p_rain = 0.23
|
|
p_sun = 1 - p_rain
|
|
opacity = 0.7
|
|
|
|
rain_rect = unit_rect.copy().stretch(p_rain, 0)
|
|
rain_rect.align_to(unit_rect, LEFT)
|
|
rain_rect.set_fill(color = BLUE, opacity = opacity)
|
|
rain_rect.set_stroke(width = 0)
|
|
|
|
sun_rect = unit_rect.copy().stretch(p_sun, 0)
|
|
sun_rect.next_to(rain_rect, RIGHT, buff = 0)
|
|
sun_rect.set_fill(color = YELLOW, opacity = opacity)
|
|
sun_rect.set_stroke(width = 0)
|
|
|
|
self.play(FadeIn(VGroup(unit_rect, rain_rect, sun_rect)))
|
|
|
|
rain = SVGMobject(file_name = "rain").scale(0.35)
|
|
sun = SVGMobject(file_name = "sun").scale(0.35)
|
|
|
|
rain.flip().move_to(rain_rect)
|
|
sun.move_to(sun_rect)
|
|
|
|
self.add(rain, sun)
|
|
|
|
text_scale = 0.7
|
|
|
|
brace_rain = Brace(rain_rect, UP)
|
|
p_rain_label = TextMobject("$P($rain$)=$").scale(text_scale)
|
|
p_rain_decimal = DecimalNumber(p_rain).scale(text_scale)
|
|
p_rain_decimal.next_to(p_rain_label)
|
|
p_rain_whole_label = VGroup(p_rain_label, p_rain_decimal)
|
|
p_rain_whole_label.next_to(brace_rain, UP)
|
|
|
|
brace_sun = Brace(sun_rect, DOWN)
|
|
p_sun_label = TextMobject("$P($sunshine$)=$").scale(text_scale)
|
|
p_sun_decimal = DecimalNumber(p_sun).scale(text_scale)
|
|
p_sun_decimal.next_to(p_sun_label)
|
|
p_sun_whole_label = VGroup(p_sun_label, p_sun_decimal)
|
|
p_sun_whole_label.next_to(brace_sun, DOWN)
|
|
|
|
self.add(brace_rain, p_rain_whole_label, brace_sun, p_sun_whole_label)
|
|
|
|
|
|
|
|
|
|
new_p_rain = 0.68
|
|
new_p_sun = 1 - new_p_rain
|
|
|
|
new_rain_rect = unit_rect.copy().stretch(new_p_rain, 0)
|
|
new_rain_rect.align_to(unit_rect, LEFT)
|
|
new_rain_rect.set_fill(color = BLUE, opacity = opacity)
|
|
new_rain_rect.set_stroke(width = 0)
|
|
|
|
new_sun_rect = unit_rect.copy().stretch(new_p_sun, 0)
|
|
new_sun_rect.next_to(new_rain_rect, RIGHT, buff = 0)
|
|
new_sun_rect.set_fill(color = YELLOW, opacity = opacity)
|
|
new_sun_rect.set_stroke(width = 0)
|
|
|
|
new_rain = SVGMobject(file_name = "rain").scale(0.35)
|
|
new_sun = SVGMobject(file_name = "sun").scale(0.35)
|
|
|
|
new_rain.flip().move_to(new_rain_rect)
|
|
new_sun.move_to(new_sun_rect)
|
|
|
|
new_brace_rain = Brace(new_rain_rect, UP)
|
|
new_p_rain_label = TextMobject("$P($rain$)=$").scale(text_scale)
|
|
new_p_rain_decimal = DecimalNumber(new_p_rain).scale(text_scale)
|
|
new_p_rain_decimal.next_to(new_p_rain_label)
|
|
new_p_rain_whole_label = VGroup(new_p_rain_label, new_p_rain_decimal)
|
|
new_p_rain_whole_label.next_to(new_brace_rain, UP)
|
|
|
|
|
|
new_brace_sun = Brace(new_sun_rect, DOWN)
|
|
new_p_sun_label = TextMobject("$P($sunshine$)=$").scale(text_scale)
|
|
new_p_sun_decimal = DecimalNumber(new_p_sun).scale(text_scale)
|
|
new_p_sun_decimal.next_to(new_p_sun_label)
|
|
new_p_sun_whole_label = VGroup(new_p_sun_label, new_p_sun_decimal)
|
|
new_p_sun_whole_label.next_to(new_brace_sun, DOWN)
|
|
|
|
def rain_update_func(alpha):
|
|
return alpha * new_p_rain + (1 - alpha) * p_rain
|
|
|
|
def sun_update_func(alpha):
|
|
return 1 - rain_update_func(alpha)
|
|
|
|
update_p_rain = ChangingDecimal(
|
|
p_rain_decimal, rain_update_func,
|
|
tracked_mobject = p_rain_label,
|
|
run_time = run_time
|
|
)
|
|
update_p_sun = ChangingDecimal(
|
|
p_sun_decimal, sun_update_func,
|
|
tracked_mobject = p_sun_label,
|
|
run_time = run_time
|
|
)
|
|
|
|
self.play(
|
|
Transform(rain_rect, new_rain_rect, run_time = run_time),
|
|
Transform(sun_rect, new_sun_rect, run_time = run_time),
|
|
Transform(rain, new_rain, run_time = run_time),
|
|
Transform(sun, new_sun, run_time = run_time),
|
|
Transform(brace_rain, new_brace_rain, run_time = run_time),
|
|
Transform(brace_sun, new_brace_sun, run_time = run_time),
|
|
Transform(p_rain_label, new_p_rain_label, run_time = run_time),
|
|
Transform(p_sun_label, new_p_sun_label, run_time = run_time),
|
|
update_p_rain,
|
|
update_p_sun
|
|
)
|
|
|
|
|
|
|
|
# move the forecast into a corner
|
|
|
|
forecast = VGroup(
|
|
rain_rect, sun_rect, rain, sun, brace_rain, brace_sun,
|
|
p_rain_whole_label, p_sun_whole_label, unit_rect
|
|
)
|
|
|
|
forecast.target = forecast.copy().scale(0.5)
|
|
forecast.target.to_corner(UL)
|
|
|
|
self.play(MoveToTarget(forecast))
|
|
|
|
self.play(
|
|
FadeOut(brace_rain),
|
|
FadeOut(brace_sun),
|
|
FadeOut(p_rain_whole_label),
|
|
FadeOut(p_sun_whole_label),
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
# COIN FLIP
|
|
|
|
|
|
coin_flip_rect = BrickRow(3, height = 2, width = 10)
|
|
|
|
for (i, brick) in enumerate(coin_flip_rect.rects):
|
|
tally = TallyStack(3 - i, i)
|
|
tally.move_to(brick)
|
|
coin_flip_rect.add(tally)
|
|
|
|
coin_flip_rect.scale(0.8).shift(2*RIGHT)
|
|
self.play(FadeIn(coin_flip_rect))
|
|
|
|
counts = [1, 3, 3, 1]
|
|
braces = VGroup()
|
|
labels = VGroup()
|
|
for (rect, count) in zip(coin_flip_rect.rects, counts):
|
|
label = TexMobject("{" + str(count) + "\over 8}").scale(0.5)
|
|
brace = Brace(rect, DOWN)
|
|
label.next_to(brace, DOWN)
|
|
braces.add(brace)
|
|
labels.add(label)
|
|
|
|
self.play(
|
|
LaggedStart(ShowCreation, braces, lag_ratio = lag_ratio, run_time = run_time),
|
|
LaggedStart(Write, labels, lag_ratio = lag_ratio, run_time = run_time)
|
|
)
|
|
|
|
coin_flip_rect.add(braces, labels)
|
|
|
|
coin_flip_rect.target = coin_flip_rect.copy().scale(0.6)
|
|
coin_flip_rect.target.to_corner(UR, buff = MED_LARGE_BUFF)
|
|
coin_flip_rect.target.shift(DOWN)
|
|
|
|
self.play(
|
|
MoveToTarget(coin_flip_rect)
|
|
)
|
|
self.play(
|
|
FadeOut(braces),
|
|
FadeOut(labels)
|
|
)
|
|
|
|
|
|
# DOUBLE DICE THROW
|
|
|
|
cell_size = 0.5
|
|
dice_table = TwoDiceTable(cell_size = cell_size, label_scale = 0.7)
|
|
dice_table.shift(0.8 * DOWN)
|
|
dice_unit_rect = SurroundingRectangle(dice_table.cells, buff = 0,
|
|
stroke_color = WHITE)
|
|
|
|
dice_table_grouped_cells = VGroup()
|
|
|
|
for i in range(6):
|
|
cell = dice_table.cells[6 * i]
|
|
start = cell.get_center()
|
|
stop = start + cell_size * LEFT + cell_size * DOWN
|
|
|
|
dice_table_grouped_cells.add(VGroup(*[
|
|
dice_table.cells[6 * i - 5 * k]
|
|
for k in range(i + 1)
|
|
]))
|
|
|
|
for i in range(5):
|
|
cell = dice_table.cells[31 + i]
|
|
start = cell.get_center()
|
|
stop = start + cell_size * LEFT + cell_size * DOWN
|
|
|
|
dice_table_grouped_cells.add(VGroup(*[
|
|
dice_table.cells[31 + i - 5 * k]
|
|
for k in range(5 - i)
|
|
]))
|
|
|
|
self.play(
|
|
FadeIn(dice_unit_rect),
|
|
FadeIn(dice_table.rows)
|
|
)
|
|
|
|
for (cell, label) in zip(dice_table.cells, dice_table.labels):
|
|
cell.add(label)
|
|
|
|
self.play(
|
|
LaggedStart(FadeIn, dice_table_grouped_cells,
|
|
lag_ratio = lag_ratio, run_time = run_time)
|
|
)
|
|
|
|
self.wait()
|
|
self.play(
|
|
FadeOut(dice_table.rows),
|
|
FadeOut(dice_unit_rect),
|
|
)
|
|
|
|
|
|
self.play(
|
|
dice_table_grouped_cells.space_out_submobjects, {"factor" : 1.9},
|
|
rate_func=there_and_back_with_pause,
|
|
run_time=run_time
|
|
)
|