2022-02-14 22:55:41 +08:00
|
|
|
from __future__ import annotations
|
|
|
|
|
2021-01-30 22:11:48 -08:00
|
|
|
import math
|
2022-01-03 16:49:00 +08:00
|
|
|
import copy
|
2022-02-14 22:55:41 +08:00
|
|
|
|
|
|
|
import numpy as np
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2022-04-12 19:19:59 +08:00
|
|
|
from manimlib.constants import DEFAULT_MOBJECT_TO_MOBJECT_BUFFER, SMALL_BUFF
|
2022-12-15 11:33:27 -08:00
|
|
|
from manimlib.constants import DOWN, LEFT, ORIGIN, RIGHT, UP, DL, DR, UL
|
2022-04-12 19:19:59 +08:00
|
|
|
from manimlib.constants import PI
|
|
|
|
from manimlib.animation.composition import AnimationGroup
|
2019-02-09 09:08:57 -08:00
|
|
|
from manimlib.animation.fading import FadeIn
|
|
|
|
from manimlib.animation.growing import GrowFromCenter
|
2022-12-21 13:18:20 -08:00
|
|
|
from manimlib.mobject.svg.tex_mobject import Tex
|
2021-01-18 08:20:14 -10:00
|
|
|
from manimlib.mobject.svg.tex_mobject import TexText
|
2021-03-18 17:35:23 -07:00
|
|
|
from manimlib.mobject.svg.text_mobject import Text
|
2022-12-15 11:33:27 -08:00
|
|
|
from manimlib.mobject.types.vectorized_mobject import VGroup
|
2018-12-24 12:37:51 -08:00
|
|
|
from manimlib.mobject.types.vectorized_mobject import VMobject
|
2022-04-12 19:19:59 +08:00
|
|
|
from manimlib.utils.iterables import listify
|
2018-12-24 12:37:51 -08:00
|
|
|
from manimlib.utils.space_ops import get_norm
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
from typing import TYPE_CHECKING
|
2022-02-16 21:08:25 +08:00
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
if TYPE_CHECKING:
|
2022-04-12 19:19:59 +08:00
|
|
|
from typing import Iterable
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
from manimlib.animation.animation import Animation
|
2022-04-12 19:19:59 +08:00
|
|
|
from manimlib.mobject.mobject import Mobject
|
2022-12-16 20:35:26 -08:00
|
|
|
from manimlib.typing import Vect3
|
2018-04-06 13:58:59 -07:00
|
|
|
|
|
|
|
|
2022-12-21 13:18:20 -08:00
|
|
|
class Brace(Tex):
|
2022-02-14 22:55:41 +08:00
|
|
|
def __init__(
|
|
|
|
self,
|
|
|
|
mobject: Mobject,
|
2022-12-16 20:35:26 -08:00
|
|
|
direction: Vect3 = DOWN,
|
2022-12-15 11:33:27 -08:00
|
|
|
buff: float = 0.2,
|
|
|
|
tex_string: str = R"\underbrace{\qquad}",
|
2022-02-14 22:55:41 +08:00
|
|
|
**kwargs
|
|
|
|
):
|
2022-12-15 11:33:27 -08:00
|
|
|
super().__init__(tex_string, **kwargs)
|
|
|
|
|
2021-01-30 22:11:48 -08:00
|
|
|
angle = -math.atan2(*direction[:2]) + PI
|
2018-04-06 13:58:59 -07:00
|
|
|
mobject.rotate(-angle, about_point=ORIGIN)
|
2022-12-15 11:33:27 -08:00
|
|
|
left = mobject.get_corner(DL)
|
|
|
|
right = mobject.get_corner(DR)
|
2018-04-06 13:58:59 -07:00
|
|
|
target_width = right[0] - left[0]
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
self.tip_point_index = np.argmin(self.get_all_points()[:, 1])
|
2021-01-30 22:11:48 -08:00
|
|
|
self.set_initial_width(target_width)
|
2022-12-15 11:33:27 -08:00
|
|
|
self.shift(left - self.get_corner(UL) + 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
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def set_initial_width(self, width: float):
|
2021-01-30 22:11:48 -08:00
|
|
|
width_diff = width - self.get_width()
|
|
|
|
if width_diff > 0:
|
|
|
|
for tip, rect, vect in [(self[0], self[1], RIGHT), (self[5], self[4], LEFT)]:
|
|
|
|
rect.set_width(
|
|
|
|
width_diff / 2 + rect.get_width(),
|
|
|
|
about_edge=vect, stretch=True
|
|
|
|
)
|
|
|
|
tip.shift(-width_diff / 2 * vect)
|
|
|
|
else:
|
|
|
|
self.set_width(width, stretch=True)
|
|
|
|
return self
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def put_at_tip(
|
|
|
|
self,
|
|
|
|
mob: Mobject,
|
|
|
|
use_next_to: bool = 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
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def get_text(self, text: str, **kwargs) -> Text:
|
2021-03-31 23:23:34 -07:00
|
|
|
buff = kwargs.pop("buff", SMALL_BUFF)
|
|
|
|
text_mob = Text(text, **kwargs)
|
|
|
|
self.put_at_tip(text_mob, buff=buff)
|
2018-03-31 18:05:02 -07:00
|
|
|
return text_mob
|
|
|
|
|
2022-12-21 13:18:20 -08:00
|
|
|
def get_tex(self, *tex: str, **kwargs) -> Tex:
|
2024-02-21 12:25:43 -08:00
|
|
|
buff = kwargs.pop("buff", SMALL_BUFF)
|
|
|
|
tex_mob = Tex(*tex, **kwargs)
|
|
|
|
self.put_at_tip(tex_mob, buff=buff)
|
2018-03-31 18:05:02 -07:00
|
|
|
return tex_mob
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def get_tip(self) -> np.ndarray:
|
2018-03-31 18:05:02 -07:00
|
|
|
# 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]
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def get_direction(self) -> np.ndarray:
|
2018-03-31 18:05:02 -07:00
|
|
|
vect = self.get_tip() - self.get_center()
|
2018-08-15 17:30:24 -07:00
|
|
|
return vect / get_norm(vect)
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-03-31 18:05:02 -07:00
|
|
|
|
|
|
|
class BraceLabel(VMobject):
|
2022-12-21 13:18:20 -08:00
|
|
|
label_constructor: type = Tex
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def __init__(
|
|
|
|
self,
|
2022-04-12 19:19:59 +08:00
|
|
|
obj: VMobject | list[VMobject],
|
|
|
|
text: str | Iterable[str],
|
2022-02-14 22:55:41 +08:00
|
|
|
brace_direction: np.ndarray = DOWN,
|
2022-12-15 11:33:27 -08:00
|
|
|
label_scale: float = 1.0,
|
|
|
|
label_buff: float = DEFAULT_MOBJECT_TO_MOBJECT_BUFFER,
|
2022-02-14 22:55:41 +08:00
|
|
|
**kwargs
|
|
|
|
) -> None:
|
2022-12-15 11:33:27 -08:00
|
|
|
super().__init__(**kwargs)
|
2018-03-31 18:05:02 -07:00
|
|
|
self.brace_direction = brace_direction
|
2022-12-15 11:33:27 -08:00
|
|
|
self.label_scale = label_scale
|
|
|
|
self.label_buff = label_buff
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
if isinstance(obj, list):
|
2022-12-15 11:33:27 -08:00
|
|
|
obj = VGroup(*obj)
|
2018-03-31 18:05:02 -07:00
|
|
|
self.brace = Brace(obj, brace_direction, **kwargs)
|
|
|
|
|
2022-04-12 19:19:59 +08:00
|
|
|
self.label = self.label_constructor(*listify(text), **kwargs)
|
|
|
|
self.label.scale(self.label_scale)
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2022-01-03 16:37:26 +08:00
|
|
|
self.brace.put_at_tip(self.label, buff=self.label_buff)
|
2020-02-21 10:56:40 -08:00
|
|
|
self.set_submobjects([self.brace, self.label])
|
2018-03-31 18:05:02 -07:00
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def creation_anim(
|
|
|
|
self,
|
|
|
|
label_anim: Animation = FadeIn,
|
2022-04-12 19:19:59 +08:00
|
|
|
brace_anim: Animation = GrowFromCenter
|
2022-02-14 22:55:41 +08:00
|
|
|
) -> AnimationGroup:
|
2018-03-31 18:05:02 -07:00
|
|
|
return AnimationGroup(brace_anim(self.brace), label_anim(self.label))
|
|
|
|
|
2022-04-12 19:19:59 +08:00
|
|
|
def shift_brace(self, obj: VMobject | list[VMobject], **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
|
|
|
|
|
2022-02-14 22:55:41 +08:00
|
|
|
def change_label(self, *text: str, **kwargs):
|
2018-03-31 18:05:02 -07:00
|
|
|
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
|
|
|
|
|
2022-04-12 19:19:59 +08:00
|
|
|
def change_brace_label(self, obj: VMobject | list[VMobject], *text: str):
|
2018-03-31 18:05:02 -07:00
|
|
|
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()
|
2020-02-21 10:56:40 -08:00
|
|
|
copy_mobject.set_submobjects([copy_mobject.brace, copy_mobject.label])
|
2018-03-31 18:05:02 -07:00
|
|
|
|
|
|
|
return copy_mobject
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-03-31 18:05:02 -07:00
|
|
|
class BraceText(BraceLabel):
|
2022-12-15 11:33:27 -08:00
|
|
|
label_constructor: type = TexText
|