import operator as op from manimlib.constants import * from manimlib.mobject.geometry import Line from manimlib.mobject.numbers import DecimalNumber from manimlib.mobject.types.vectorized_mobject import VGroup from manimlib.utils.bezier import interpolate from manimlib.utils.config_ops import digest_config from manimlib.utils.config_ops import merge_dicts_recursively from manimlib.utils.simple_functions import fdiv from manimlib.utils.space_ops import normalize class NumberLine(Line): CONFIG = { "color": LIGHT_GREY, "x_min": -FRAME_X_RADIUS, "x_max": FRAME_X_RADIUS, "unit_size": 1, "include_ticks": True, "tick_size": 0.1, "tick_frequency": 1, # Defaults to value near x_min s.t. 0 is a tick # TODO, rename this "leftmost_tick": None, # Change name "numbers_with_elongated_ticks": [0], "include_numbers": False, "numbers_to_show": None, "longer_tick_multiple": 2, "number_at_center": 0, "number_scale_val": 0.75, "label_direction": DOWN, "line_to_number_buff": MED_SMALL_BUFF, "include_tip": False, "tip_width": 0.25, "tip_height": 0.25, "decimal_number_config": { "num_decimal_places": 0, }, "exclude_zero_from_default_numbers": False, } def __init__(self, **kwargs): digest_config(self, kwargs) start = self.unit_size * self.x_min * RIGHT end = self.unit_size * self.x_max * RIGHT Line.__init__(self, start, end, **kwargs) self.shift(-self.number_to_point(self.number_at_center)) self.init_leftmost_tick() if self.include_tip: self.add_tip() if self.include_ticks: self.add_tick_marks() if self.include_numbers: self.add_numbers() def init_leftmost_tick(self): if self.leftmost_tick is None: self.leftmost_tick = op.mul( self.tick_frequency, np.ceil(self.x_min / self.tick_frequency) ) def add_tick_marks(self): tick_size = self.tick_size self.tick_marks = VGroup(*[ self.get_tick(x, tick_size) for x in self.get_tick_numbers() ]) big_tick_size = tick_size * self.longer_tick_multiple self.big_tick_marks = VGroup(*[ self.get_tick(x, big_tick_size) for x in self.numbers_with_elongated_ticks ]) self.add( self.tick_marks, self.big_tick_marks, ) def get_tick(self, x, size=None): if size is None: size = self.tick_size result = Line(size * DOWN, size * UP) result.rotate(self.get_angle()) result.move_to(self.number_to_point(x)) result.match_style(self) return result def get_tick_marks(self): return VGroup( *self.tick_marks, *self.big_tick_marks, ) def get_tick_numbers(self): u = -1 if self.include_tip else 1 return np.arange( self.leftmost_tick, self.x_max + u * self.tick_frequency / 2, self.tick_frequency ) def number_to_point(self, number): alpha = float(number - self.x_min) / (self.x_max - self.x_min) return interpolate( self.get_start(), self.get_end(), alpha ) def point_to_number(self, point): start_point, end_point = self.get_start_and_end() full_vect = end_point - start_point unit_vect = normalize(full_vect) def distance_from_start(p): return np.dot(p - start_point, unit_vect) proportion = fdiv( distance_from_start(point), distance_from_start(end_point) ) return interpolate(self.x_min, self.x_max, proportion) def n2p(self, number): """Abbreviation for number_to_point""" return self.number_to_point(number) def p2n(self, point): """Abbreviation for point_to_number""" return self.point_to_number(point) def get_unit_size(self): return self.get_length() / (self.x_max - self.x_min) def default_numbers_to_display(self): if self.numbers_to_show is not None: return self.numbers_to_show numbers = np.arange( np.floor(self.leftmost_tick), np.ceil(self.x_max), ) if self.exclude_zero_from_default_numbers: numbers = numbers[numbers != 0] return numbers def get_number_mobject(self, number, number_config=None, scale_val=None, direction=None, buff=None): number_config = merge_dicts_recursively( self.decimal_number_config, number_config or {}, ) if scale_val is None: scale_val = self.number_scale_val if direction is None: direction = self.label_direction buff = buff or self.line_to_number_buff num_mob = DecimalNumber(number, **number_config) num_mob.scale(scale_val) num_mob.next_to( self.number_to_point(number), direction=direction, buff=buff ) return num_mob def get_number_mobjects(self, *numbers, **kwargs): if len(numbers) == 0: numbers = self.default_numbers_to_display() return VGroup(*[ self.get_number_mobject(number, **kwargs) for number in numbers ]) def get_labels(self): return self.get_number_mobjects() def add_numbers(self, *numbers, **kwargs): self.numbers = self.get_number_mobjects( *numbers, **kwargs ) self.add(self.numbers) return self class UnitInterval(NumberLine): CONFIG = { "x_min": 0, "x_max": 1, "unit_size": 6, "tick_frequency": 0.1, "numbers_with_elongated_ticks": [0, 1], "number_at_center": 0.5, "decimal_number_config": { "num_decimal_places": 1, } }