2018-03-31 18:05:02 -07:00
|
|
|
from __future__ import absolute_import
|
|
|
|
|
|
|
|
import numpy as np
|
|
|
|
|
|
|
|
from constants import *
|
|
|
|
|
|
|
|
from animation.composition import AnimationGroup
|
|
|
|
from animation.creation import FadeIn
|
|
|
|
from animation.creation import GrowFromCenter
|
|
|
|
from mobject.svg.tex_mobject import TexMobject
|
|
|
|
from mobject.svg.tex_mobject import TextMobject
|
|
|
|
from mobject.types.vectorized_mobject import VMobject
|
|
|
|
from utils.config_ops import digest_config
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-03-31 18:05:02 -07:00
|
|
|
class Brace(TexMobject):
|
|
|
|
CONFIG = {
|
2018-04-06 13:58:59 -07:00
|
|
|
"buff": 0.2,
|
|
|
|
"width_multiplier": 2,
|
|
|
|
"max_num_quads": 15,
|
|
|
|
"min_num_quads": 0,
|
2018-03-31 18:05:02 -07:00
|
|
|
}
|
2018-04-06 13:58:59 -07:00
|
|
|
|
|
|
|
def __init__(self, mobject, direction=DOWN, **kwargs):
|
2018-03-31 18:05:02 -07:00
|
|
|
digest_config(self, kwargs, locals())
|
|
|
|
angle = -np.arctan2(*direction[:2]) + np.pi
|
2018-04-06 13:58:59 -07:00
|
|
|
mobject.rotate(-angle, about_point=ORIGIN)
|
|
|
|
left = mobject.get_corner(DOWN + LEFT)
|
|
|
|
right = mobject.get_corner(DOWN + RIGHT)
|
|
|
|
target_width = right[0] - left[0]
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
# Adding int(target_width) qquads gives approximately the right width
|
2018-03-31 18:05:02 -07:00
|
|
|
num_quads = np.clip(
|
2018-04-06 13:58:59 -07:00
|
|
|
int(self.width_multiplier * target_width),
|
2018-03-31 18:05:02 -07:00
|
|
|
self.min_num_quads, self.max_num_quads
|
|
|
|
)
|
2018-04-06 13:58:59 -07:00
|
|
|
tex_string = "\\underbrace{%s}" % (num_quads * "\\qquad")
|
2018-03-31 18:05:02 -07:00
|
|
|
TexMobject.__init__(self, tex_string, **kwargs)
|
2018-04-06 13:58:59 -07:00
|
|
|
self.tip_point_index = np.argmin(self.get_all_points()[:, 1])
|
2018-03-31 18:05:02 -07:00
|
|
|
self.stretch_to_fit_width(target_width)
|
2018-04-06 13:58:59 -07:00
|
|
|
self.shift(left - self.get_corner(UP + LEFT) + self.buff * DOWN)
|
2018-03-31 18:05:02 -07:00
|
|
|
for mob in mobject, self:
|
2018-04-06 13:58:59 -07:00
|
|
|
mob.rotate(angle, about_point=ORIGIN)
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
def put_at_tip(self, mob, use_next_to=True, **kwargs):
|
2018-03-31 18:05:02 -07:00
|
|
|
if use_next_to:
|
|
|
|
mob.next_to(
|
|
|
|
self.get_tip(),
|
|
|
|
np.round(self.get_direction()),
|
|
|
|
**kwargs
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
mob.move_to(self.get_tip())
|
|
|
|
buff = kwargs.get("buff", DEFAULT_MOBJECT_TO_MOBJECT_BUFFER)
|
2018-04-06 13:58:59 -07:00
|
|
|
shift_distance = mob.get_width() / 2.0 + buff
|
|
|
|
mob.shift(self.get_direction() * shift_distance)
|
2018-03-31 18:05:02 -07:00
|
|
|
return self
|
|
|
|
|
|
|
|
def get_text(self, *text, **kwargs):
|
|
|
|
text_mob = TextMobject(*text)
|
|
|
|
self.put_at_tip(text_mob, **kwargs)
|
|
|
|
return text_mob
|
|
|
|
|
|
|
|
def get_tex(self, *tex, **kwargs):
|
|
|
|
tex_mob = TexMobject(*tex)
|
|
|
|
self.put_at_tip(tex_mob, **kwargs)
|
|
|
|
return tex_mob
|
|
|
|
|
|
|
|
def get_tip(self):
|
|
|
|
# Very specific to the LaTeX representation
|
|
|
|
# of a brace, but it's the only way I can think
|
|
|
|
# of to get the tip regardless of orientation.
|
|
|
|
return self.get_all_points()[self.tip_point_index]
|
|
|
|
|
|
|
|
def get_direction(self):
|
|
|
|
vect = self.get_tip() - self.get_center()
|
2018-04-06 13:58:59 -07:00
|
|
|
return vect / np.linalg.norm(vect)
|
|
|
|
|
2018-03-31 18:05:02 -07:00
|
|
|
|
|
|
|
class BraceLabel(VMobject):
|
|
|
|
CONFIG = {
|
2018-04-06 13:58:59 -07:00
|
|
|
"label_constructor": TexMobject,
|
|
|
|
"label_scale": 1,
|
2018-03-31 18:05:02 -07:00
|
|
|
}
|
2018-04-06 13:58:59 -07:00
|
|
|
|
|
|
|
def __init__(self, obj, text, brace_direction=DOWN, **kwargs):
|
2018-03-31 18:05:02 -07:00
|
|
|
VMobject.__init__(self, **kwargs)
|
|
|
|
self.brace_direction = brace_direction
|
2018-04-06 13:58:59 -07:00
|
|
|
if isinstance(obj, list):
|
|
|
|
obj = VMobject(*obj)
|
2018-03-31 18:05:02 -07:00
|
|
|
self.brace = Brace(obj, brace_direction, **kwargs)
|
|
|
|
|
|
|
|
if isinstance(text, tuple) or isinstance(text, list):
|
|
|
|
self.label = self.label_constructor(*text, **kwargs)
|
2018-04-06 13:58:59 -07:00
|
|
|
else:
|
|
|
|
self.label = self.label_constructor(str(text))
|
|
|
|
if self.label_scale != 1:
|
|
|
|
self.label.scale(self.label_scale)
|
2018-03-31 18:05:02 -07:00
|
|
|
|
|
|
|
self.brace.put_at_tip(self.label)
|
|
|
|
self.submobjects = [self.brace, self.label]
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
def creation_anim(self, label_anim=FadeIn, brace_anim=GrowFromCenter):
|
2018-03-31 18:05:02 -07:00
|
|
|
return AnimationGroup(brace_anim(self.brace), label_anim(self.label))
|
|
|
|
|
|
|
|
def shift_brace(self, obj, **kwargs):
|
2018-04-06 13:58:59 -07:00
|
|
|
if isinstance(obj, list):
|
|
|
|
obj = VMobject(*obj)
|
2018-03-31 18:05:02 -07:00
|
|
|
self.brace = Brace(obj, self.brace_direction, **kwargs)
|
|
|
|
self.brace.put_at_tip(self.label)
|
|
|
|
self.submobjects[0] = self.brace
|
|
|
|
return self
|
|
|
|
|
|
|
|
def change_label(self, *text, **kwargs):
|
|
|
|
self.label = self.label_constructor(*text, **kwargs)
|
2018-04-06 13:58:59 -07:00
|
|
|
if self.label_scale != 1:
|
|
|
|
self.label.scale(self.label_scale)
|
2018-03-31 18:05:02 -07:00
|
|
|
|
|
|
|
self.brace.put_at_tip(self.label)
|
|
|
|
self.submobjects[1] = self.label
|
|
|
|
return self
|
|
|
|
|
|
|
|
def change_brace_label(self, obj, *text):
|
|
|
|
self.shift_brace(obj)
|
|
|
|
self.change_label(*text)
|
|
|
|
return self
|
|
|
|
|
|
|
|
def copy(self):
|
|
|
|
copy_mobject = copy.copy(self)
|
|
|
|
copy_mobject.brace = self.brace.copy()
|
|
|
|
copy_mobject.label = self.label.copy()
|
|
|
|
copy_mobject.submobjects = [copy_mobject.brace, copy_mobject.label]
|
|
|
|
|
|
|
|
return copy_mobject
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-03-31 18:05:02 -07:00
|
|
|
class BraceText(BraceLabel):
|
|
|
|
CONFIG = {
|
2018-04-06 13:58:59 -07:00
|
|
|
"label_constructor": TextMobject
|
2018-03-31 18:05:02 -07:00
|
|
|
}
|