3b1b-manim/topics/geometry.py

567 lines
17 KiB
Python
Raw Normal View History

2015-06-10 22:00:35 -07:00
from helpers import *
2016-04-19 00:20:19 -07:00
from mobject import Mobject
from mobject.vectorized_mobject import VMobject, VGroup
2016-04-17 00:31:38 -07:00
class Arc(VMobject):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-04-17 00:31:38 -07:00
"radius" : 1.0,
"start_angle" : 0,
"num_anchors" : 9,
"anchors_span_full_range" : True,
}
2016-04-17 00:31:38 -07:00
def __init__(self, angle, **kwargs):
digest_locals(self)
2016-04-17 00:31:38 -07:00
VMobject.__init__(self, **kwargs)
2015-06-10 22:00:35 -07:00
def generate_points(self):
2016-04-17 00:31:38 -07:00
self.set_anchor_points(
self.get_unscaled_anchor_points(),
mode = "smooth"
)
self.scale(self.radius)
def get_unscaled_anchor_points(self):
return [
np.cos(a)*RIGHT+np.sin(a)*UP
for a in np.linspace(
self.start_angle,
self.start_angle + self.angle,
self.num_anchors
2016-04-17 00:31:38 -07:00
)
]
2015-06-10 22:00:35 -07:00
def add_tip(self, tip_length = 0.25):
#TODO, do this a better way
arrow = Arrow(*self.points[-2:], tip_length = tip_length)
self.add(arrow.split()[-1])
self.highlight(self.get_color())
return self
2016-04-17 00:31:38 -07:00
class Circle(Arc):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-04-17 00:31:38 -07:00
"color" : RED,
"close_new_points" : True,
"anchors_span_full_range" : False
}
2016-04-17 00:31:38 -07:00
def __init__(self, **kwargs):
Arc.__init__(self, 2*np.pi, **kwargs)
def surround(self, mobject, dim_to_match = 0, stretch = False, buffer_factor = 1.2):
# Ignores dim_to_match and stretch; result will always be a circle
# TODO: Perhaps create an ellipse class to handle singele-dimension stretching
self.replace(mobject, dim_to_match, stretch)
self.scale_to_fit_width(np.sqrt(mobject.get_width()**2 + mobject.get_height()**2))
self.scale(buffer_factor)
class Dot(Circle):
2016-04-17 00:31:38 -07:00
CONFIG = {
2016-10-26 17:17:07 -07:00
"radius" : 0.08,
2016-04-17 00:31:38 -07:00
"stroke_width" : 0,
2016-07-22 11:22:31 -07:00
"fill_opacity" : 1.0,
"color" : WHITE
2016-04-17 00:31:38 -07:00
}
2016-04-17 19:29:27 -07:00
def __init__(self, point = ORIGIN, **kwargs):
Circle.__init__(self, **kwargs)
self.shift(point)
self.init_colors()
2015-06-10 22:00:35 -07:00
2016-04-17 00:31:38 -07:00
class Line(VMobject):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-04-17 00:31:38 -07:00
"buff" : 0,
2016-08-02 12:26:15 -07:00
"considered_smooth" : False,
2017-04-26 16:21:38 -07:00
"path_arc" : None,
"n_arc_anchors" : 10, #Only used if path_arc is not None
}
def __init__(self, start, end, **kwargs):
digest_config(self, kwargs)
self.set_start_and_end(start, end)
2016-04-17 00:31:38 -07:00
VMobject.__init__(self, **kwargs)
2015-06-10 22:00:35 -07:00
2017-04-26 16:21:38 -07:00
def generate_points(self):
if self.path_arc is None:
self.set_points_as_corners([self.start, self.end])
else:
path_func = path_along_arc(self.path_arc)
self.set_points_smoothly([
path_func(self.start, self.end, alpha)
for alpha in np.linspace(0, 1, self.n_arc_anchors)
])
self.considered_smooth = True
self.account_for_buff()
def account_for_buff(self):
2017-09-29 14:17:13 -07:00
length = self.get_arc_length()
if length < 2*self.buff or self.buff == 0:
return
buff_proportion = self.buff / length
self.pointwise_become_partial(
self, buff_proportion, 1 - buff_proportion
)
2017-04-26 16:21:38 -07:00
def set_start_and_end(self, start, end):
2016-04-17 00:31:38 -07:00
start_to_end = self.pointify(end) - self.pointify(start)
vect = np.zeros(len(start_to_end))
longer_dim = np.argmax(map(abs, start_to_end))
vect[longer_dim] = start_to_end[longer_dim]
self.start, self.end = [
arg.get_edge_center(unit*vect)
if isinstance(arg, Mobject)
else np.array(arg)
for arg, unit in zip([start, end], [1, -1])
]
2016-04-17 00:31:38 -07:00
def pointify(self, mob_or_point):
if isinstance(mob_or_point, Mobject):
return mob_or_point.get_center()
2016-04-20 19:24:54 -07:00
return np.array(mob_or_point)
2016-04-17 00:31:38 -07:00
2015-06-13 19:00:23 -07:00
def get_length(self):
start, end = self.get_start_and_end()
return np.linalg.norm(start - end)
2015-06-13 19:00:23 -07:00
2017-09-29 14:17:13 -07:00
def get_arc_length(self):
if self.path_arc:
anchors = self.get_anchors()
return sum([
np.linalg.norm(a2-a1)
for a1, a2 in zip(anchors, anchors[1:])
])
else:
return self.get_length()
2016-03-21 19:30:09 -07:00
def get_start_and_end(self):
return self.get_start(), self.get_end()
2017-08-30 13:16:08 -07:00
def get_vector(self):
return self.get_end() - self.get_start()
def get_start(self):
return np.array(self.points[0])
def get_end(self):
return np.array(self.points[-1])
2016-03-21 19:30:09 -07:00
2015-06-13 19:00:23 -07:00
def get_slope(self):
2017-04-26 16:21:38 -07:00
start, end = self.get_start_and_end()
2015-06-13 19:00:23 -07:00
rise, run = [
2016-03-21 19:30:09 -07:00
float(end[i] - start[i])
2015-06-13 19:00:23 -07:00
for i in [1, 0]
]
2016-03-21 19:30:09 -07:00
return np.inf if run == 0 else rise/run
def get_angle(self):
start, end = self.get_start_and_end()
return angle_of_vector(end-start)
2015-06-13 19:00:23 -07:00
# def put_start_and_end_on(self, new_start, new_end):
# self.set_start_and_end(new_start, new_end)
# self.buff = 0
# self.generate_points()
def put_start_and_end_on(self, new_start, new_end):
2017-09-05 10:21:36 -07:00
self.start = new_start
self.end = new_end
self.buff = 0
2017-09-05 10:21:36 -07:00
self.generate_points()
return
2017-09-06 20:18:19 -07:00
def put_start_and_end_on_with_projection(self, new_start, new_end):
target_vect = np.array(new_end) - np.array(new_start)
curr_vect = self.get_vector()
curr_norm = np.linalg.norm(curr_vect)
if curr_norm == 0:
self.put_start_and_end_on(new_start, new_end)
return
target_norm = np.linalg.norm(target_vect)
if target_norm == 0:
epsilon = 0.001
self.scale(epsilon/curr_norm)
self.move_to(new_start)
return
unit_target = target_vect / target_norm
unit_curr = curr_vect / curr_norm
normal = np.cross(unit_target, unit_curr)
if np.linalg.norm(normal) == 0:
if unit_curr[0] == 0 and unit_curr[1] == 0:
normal = UP
else:
normal = OUT
angle_diff = np.arccos(
np.clip(np.dot(unit_target, unit_curr), -1, 1)
)
self.scale(target_norm/curr_norm)
self.rotate(-angle_diff, normal)
self.shift(new_start - self.get_start())
return self
2016-08-18 12:54:04 -07:00
class DashedLine(Line):
CONFIG = {
2017-01-27 19:31:20 -08:00
"dashed_segment_length" : 0.05
2016-08-18 12:54:04 -07:00
}
def __init__(self, *args, **kwargs):
self.init_kwargs = kwargs
Line.__init__(self, *args, **kwargs)
def generate_points(self):
length = np.linalg.norm(self.end-self.start)
num_interp_points = int(length/self.dashed_segment_length)
points = [
interpolate(self.start, self.end, alpha)
for alpha in np.linspace(0, 1, num_interp_points)
]
includes = it.cycle([True, False])
2017-09-06 20:18:19 -07:00
self.submobjects = [
Line(p1, p2, **self.init_kwargs)
for p1, p2, include in zip(points, points[1:], includes)
if include
]
self.put_start_and_end_on_with_projection(self.start, self.end)
2016-08-18 12:54:04 -07:00
return self
def get_start(self):
2018-01-13 15:51:04 -08:00
if len(self.points) > 0:
2017-02-27 15:56:22 -08:00
return self[0].points[0]
else:
return self.start
2016-08-18 12:54:04 -07:00
def get_end(self):
2017-02-27 15:56:22 -08:00
if len(self) > 0:
return self[-1].points[-1]
else:
return self.end
2016-08-18 12:54:04 -07:00
class Arrow(Line):
2016-02-27 16:32:53 -08:00
CONFIG = {
2015-12-22 11:04:36 -08:00
"color" : YELLOW_C,
"tip_length" : 0.25,
2017-08-24 19:06:34 -07:00
"tip_width_to_length_ratio" : 1,
"max_tip_length_to_length_ratio" : 0.35,
"max_stem_width_to_tip_width_ratio" : 0.3,
"buff" : MED_SMALL_BUFF,
2016-07-16 13:34:21 -07:00
"propogate_style_to_family" : False,
"preserve_tip_size_when_scaling" : True,
"normal_vector" : OUT,
"use_rectangular_stem" : True,
"rectangular_stem_width" : 0.05,
}
def __init__(self, *args, **kwargs):
2017-02-27 15:56:22 -08:00
points = map(self.pointify, args)
2015-12-31 09:24:02 -08:00
if len(args) == 1:
2017-02-27 15:56:22 -08:00
args = (points[0]+UP+LEFT, points[0])
Line.__init__(self, *args, **kwargs)
self.init_tip()
if self.use_rectangular_stem and not hasattr(self, "rect"):
self.add_rectangular_stem()
self.init_colors()
def init_tip(self):
self.tip = self.add_tip()
2016-07-12 10:34:35 -07:00
def add_tip(self, add_at_end = True):
2017-05-05 11:19:10 -07:00
tip = VMobject(
close_new_points = True,
mark_paths_closed = True,
fill_color = self.color,
fill_opacity = 1,
stroke_color = self.color,
stroke_width = 0,
2017-05-05 11:19:10 -07:00
)
self.set_tip_points(tip, add_at_end, preserve_normal = False)
self.add(tip)
return tip
2017-05-05 11:19:10 -07:00
def add_rectangular_stem(self):
self.rect = Rectangle(
stroke_width = 0,
fill_color = self.tip.get_fill_color(),
fill_opacity = self.tip.get_fill_opacity()
)
self.add_to_back(self.rect)
self.set_stroke(width = 0)
self.set_rectangular_stem_points()
def set_rectangular_stem_points(self):
start, end = self.get_start_and_end()
vect = end - start
tip_base_points = self.tip.get_anchors()[1:]
tip_base = center_of_mass(tip_base_points)
tbp1, tbp2 = tip_base_points
perp_vect = tbp2 - tbp1
tip_base_width = np.linalg.norm(perp_vect)
2017-08-28 10:52:49 -07:00
if tip_base_width > 0:
perp_vect /= tip_base_width
width = min(
self.rectangular_stem_width,
self.max_stem_width_to_tip_width_ratio*tip_base_width,
)
if hasattr(self, "second_tip"):
start = center_of_mass(
self.second_tip.get_anchors()[1:]
)
self.rect.set_points_as_corners([
tip_base + perp_vect*width/2,
start + perp_vect*width/2,
start - perp_vect*width/2,
tip_base - perp_vect*width/2,
])
return self
def set_tip_points(
self, tip,
add_at_end = True,
tip_length = None,
preserve_normal = True,
):
2017-08-24 19:06:34 -07:00
if tip_length is None:
tip_length = self.tip_length
if preserve_normal:
normal_vector = self.get_normal_vector()
else:
normal_vector = self.normal_vector
2017-08-24 19:06:34 -07:00
line_length = np.linalg.norm(self.points[-1]-self.points[0])
tip_length = min(
tip_length, self.max_tip_length_to_length_ratio*line_length
2016-04-17 00:31:38 -07:00
)
2017-08-24 19:06:34 -07:00
indices = (-2, -1) if add_at_end else (1, 0)
pre_end_point, end_point = [
2017-10-27 12:59:38 -07:00
self.get_anchors()[index]
2017-08-24 19:06:34 -07:00
for index in indices
]
vect = end_point - pre_end_point
perp_vect = np.cross(vect, normal_vector)
2017-08-24 19:06:34 -07:00
for v in vect, perp_vect:
if np.linalg.norm(v) == 0:
v[0] = 1
v *= tip_length/np.linalg.norm(v)
ratio = self.tip_width_to_length_ratio
tip.set_points_as_corners([
end_point,
end_point-vect+perp_vect*ratio/2,
end_point-vect-perp_vect*ratio/2,
])
2017-05-05 11:19:10 -07:00
return self
def get_normal_vector(self):
2017-08-28 10:52:49 -07:00
p0, p1, p2 = self.tip.get_anchors()
result = np.cross(p2 - p1, p1 - p0)
norm = np.linalg.norm(result)
if norm == 0:
return self.normal_vector
else:
return result/norm
def reset_normal_vector(self):
self.normal_vector = self.get_normal_vector()
return self
2017-02-27 15:56:22 -08:00
def get_end(self):
if hasattr(self, "tip"):
return self.tip.get_anchors()[0]
2017-02-27 15:56:22 -08:00
else:
return Line.get_end(self)
def get_tip(self):
return self.tip
2017-08-24 19:06:34 -07:00
def put_start_and_end_on(self, *args, **kwargs):
Line.put_start_and_end_on(self, *args, **kwargs)
2017-08-28 10:52:49 -07:00
self.set_tip_points(self.tip, preserve_normal = False)
self.set_rectangular_stem_points()
2017-08-24 19:06:34 -07:00
2017-03-14 15:50:16 -07:00
def scale(self, scale_factor, **kwargs):
Line.scale(self, scale_factor, **kwargs)
2017-08-24 19:06:34 -07:00
if self.preserve_tip_size_when_scaling:
2017-05-05 11:19:10 -07:00
self.set_tip_points(self.tip)
2017-10-27 15:12:11 -07:00
if self.use_rectangular_stem:
self.set_rectangular_stem_points()
return self
2016-03-17 23:54:28 -07:00
class Vector(Arrow):
CONFIG = {
2016-07-13 22:03:31 -07:00
"color" : YELLOW,
2016-03-17 23:54:28 -07:00
"buff" : 0,
}
def __init__(self, direction, **kwargs):
if len(direction) == 2:
direction = np.append(np.array(direction), 0)
Arrow.__init__(self, ORIGIN, direction, **kwargs)
2016-03-17 23:54:28 -07:00
2016-04-23 23:36:05 -07:00
class DoubleArrow(Arrow):
def init_tip(self):
self.tip = self.add_tip()
self.second_tip = self.add_tip(add_at_end = False)
2016-07-12 10:34:35 -07:00
2016-04-17 00:31:38 -07:00
class CubicBezier(VMobject):
def __init__(self, points, **kwargs):
VMobject.__init__(self, **kwargs)
self.set_points(points)
2015-10-20 21:55:46 -07:00
2016-04-17 00:31:38 -07:00
class Polygon(VMobject):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-04-17 00:31:38 -07:00
"color" : GREEN_D,
2016-04-19 00:20:19 -07:00
"mark_paths_closed" : True,
"close_new_points" : True,
2016-08-02 12:26:15 -07:00
"considered_smooth" : False,
2015-10-08 11:50:49 -07:00
}
2016-01-09 20:10:06 -08:00
def __init__(self, *vertices, **kwargs):
assert len(vertices) > 1
digest_locals(self)
2016-04-17 00:31:38 -07:00
VMobject.__init__(self, **kwargs)
2015-10-08 11:50:49 -07:00
def generate_points(self):
2016-04-17 00:31:38 -07:00
self.set_anchor_points(self.vertices, mode = "corners")
def get_vertices(self):
2016-04-17 00:31:38 -07:00
return self.get_anchors_and_handles()[0]
2017-01-16 11:43:59 -08:00
class RegularPolygon(Polygon):
CONFIG = {
"start_angle" : 0
}
def __init__(self, n = 3, **kwargs):
digest_config(self, kwargs, locals())
start_vect = rotate_vector(RIGHT, self.start_angle)
2017-01-16 11:43:59 -08:00
vertices = compass_directions(n, start_vect)
Polygon.__init__(self, *vertices, **kwargs)
2016-04-17 00:31:38 -07:00
class Rectangle(VMobject):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-10-25 17:35:16 -07:00
"color" : WHITE,
"height" : 2.0,
"width" : 4.0,
2016-04-19 00:20:19 -07:00
"mark_paths_closed" : True,
"close_new_points" : True,
2016-08-02 12:26:15 -07:00
"considered_smooth" : False,
}
def generate_points(self):
y, x = self.height/2., self.width/2.
2016-04-17 00:31:38 -07:00
self.set_anchor_points([
x*LEFT+y*UP,
x*RIGHT+y*UP,
x*RIGHT+y*DOWN,
x*LEFT+y*DOWN
], mode = "corners")
class Square(Rectangle):
2016-02-27 16:32:53 -08:00
CONFIG = {
"side_length" : 2.0,
}
def __init__(self, **kwargs):
2016-03-19 17:19:02 -07:00
digest_config(self, kwargs)
2016-03-07 19:07:00 -08:00
Rectangle.__init__(
self,
2016-03-19 17:19:02 -07:00
height = self.side_length,
width = self.side_length,
2016-03-07 19:07:00 -08:00
**kwargs
)
class SurroundingRectangle(Rectangle):
CONFIG = {
"color" : YELLOW,
"buff" : SMALL_BUFF,
}
def __init__(self, mobject, **kwargs):
digest_config(self, kwargs)
kwargs["width"] = mobject.get_width() + 2*self.buff
kwargs["height"] = mobject.get_height() + 2*self.buff
Rectangle.__init__(self, **kwargs)
self.move_to(mobject)
class BackgroundRectangle(SurroundingRectangle):
CONFIG = {
"color" : BLACK,
"stroke_width" : 0,
"fill_opacity" : 0.75,
"buff" : 0
}
def __init__(self, mobject, **kwargs):
SurroundingRectangle.__init__(self, mobject, **kwargs)
self.original_fill_opacity = self.fill_opacity
def pointwise_become_partial(self, mobject, a, b):
self.set_fill(opacity = b*self.original_fill_opacity)
return self
def get_fill_color(self):
return Color(self.color)
2017-04-27 22:22:42 -07:00
class FullScreenFadeRectangle(Rectangle):
CONFIG = {
"height" : 2*SPACE_HEIGHT,
"width" : 2*SPACE_WIDTH,
"stroke_width" : 0,
"fill_color" : BLACK,
"fill_opacity" : 0.7,
}
2017-05-02 21:09:56 -07:00
class ScreenRectangle(Rectangle):
CONFIG = {
"width_to_height_ratio" : 16.0/9.0,
"height" : 4,
}
def generate_points(self):
self.width = self.width_to_height_ratio * self.height
Rectangle.generate_points(self)
2017-04-27 22:22:42 -07:00
2016-10-25 17:35:16 -07:00
class PictureInPictureFrame(Rectangle):
CONFIG = {
"height" : 3,
"aspect_ratio" : (16, 9)
}
def __init__(self, **kwargs):
digest_config(self, kwargs)
height = self.height
if "height" in kwargs:
kwargs.pop("height")
Rectangle.__init__(
self,
width = self.aspect_ratio[0],
height = self.aspect_ratio[1],
**kwargs
)
self.scale_to_fit_height(height)
2017-08-07 16:17:35 -07:00
class Cross(VGroup):
CONFIG = {
"stroke_color" : RED,
"stroke_width" : 6,
}
def __init__(self, mobject, **kwargs):
VGroup.__init__(self,
Line(UP+LEFT, DOWN+RIGHT),
Line(UP+RIGHT, DOWN+LEFT),
)
self.replace(mobject, stretch = True)
self.set_stroke(self.stroke_color, self.stroke_width)
2016-04-17 00:31:38 -07:00
class Grid(VMobject):
2016-02-27 16:32:53 -08:00
CONFIG = {
2016-04-17 00:31:38 -07:00
"height" : 6.0,
"width" : 6.0,
2016-08-02 12:26:15 -07:00
"considered_smooth" : False,
2016-01-26 10:23:05 -08:00
}
2016-04-17 00:31:38 -07:00
def __init__(self, rows, columns, **kwargs):
digest_config(self, kwargs, locals())
VMobject.__init__(self, **kwargs)
2016-01-26 10:23:05 -08:00
def generate_points(self):
2016-04-17 00:31:38 -07:00
x_step = self.width / self.columns
y_step = self.height / self.rows
for x in np.arange(0, self.width+x_step, x_step):
self.add(Line(
[x-self.width/2., -self.height/2., 0],
[x-self.width/2., self.height/2., 0],
))
for y in np.arange(0, self.height+y_step, y_step):
self.add(Line(
[-self.width/2., y-self.height/2., 0],
[self.width/2., y-self.height/2., 0]
))
2016-01-26 10:23:05 -08:00