opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-02 11:03:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

Renamed SPACE_WIDTH and SPACE_HEIGHT to SPACE_X_RADIUS and SPACE_Y_RADIUS to be less confusing

Browse Source
This commit is contained in:
Grant Sanderson
2018-03-30 11:03:14 -07:00
parent 873fa49fbe
commit 55786e443d
98 changed files with 951 additions and 951 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
old_projects/triples.py
View File

@ -210,7 +210,7 @@ class CompareToFermatsLastTheorem(TeacherStudentsScene):
class WritePythagoreanTriple(Scene):
def construct(self):
words = TextMobject("``Pythagorean triple''")
words.scale_to_fit_width(2*SPACE_WIDTH - LARGE_BUFF)
words.scale_to_fit_width(2*SPACE_X_RADIUS - LARGE_BUFF)
words.to_corner(DOWN+LEFT)
self.play(Write(words))
self.wait(2)
@ -252,8 +252,8 @@ class ShowManyTriples(Scene):
title.target.scale(0.5)
title.target.move_to(
(-SPACE_WIDTH + MED_LARGE_BUFF + 2.7*(i//8))*RIGHT + \
(SPACE_HEIGHT - MED_LARGE_BUFF - (i%8))*UP,
(-SPACE_X_RADIUS + MED_LARGE_BUFF + 2.7*(i//8))*RIGHT + \
(SPACE_Y_RADIUS - MED_LARGE_BUFF - (i%8))*UP,
UP+LEFT
)
@ -328,7 +328,7 @@ class BabylonianTablets(Scene):
triple = TexMobject(tex)
triples.add(triple)
triples.arrange_submobjects(DOWN, aligned_edge = LEFT)
triples.scale_to_fit_height(2*SPACE_HEIGHT - LARGE_BUFF)
triples.scale_to_fit_height(2*SPACE_Y_RADIUS - LARGE_BUFF)
triples.to_edge(RIGHT)
self.add(title)
@ -960,10 +960,10 @@ class ReframeOnLattice(PiCreatureScene):
def get_all_plane_dots(self):
x_min, y_min = map(int, self.plane.point_to_coords(
SPACE_WIDTH*LEFT + SPACE_HEIGHT*DOWN
SPACE_X_RADIUS*LEFT + SPACE_Y_RADIUS*DOWN
))
x_max, y_max = map(int, self.plane.point_to_coords(
SPACE_WIDTH*RIGHT + SPACE_HEIGHT*UP
SPACE_X_RADIUS*RIGHT + SPACE_Y_RADIUS*UP
))
result = VGroup(*[
Dot(
@ -1495,7 +1495,7 @@ class WriteGeneralFormula(GeneralExample):
def show_uv_to_triples(self):
rect = self.corner_rect.copy()
rect.stretch_to_fit_height(2*SPACE_HEIGHT)
rect.stretch_to_fit_height(2*SPACE_Y_RADIUS)
rect.move_to(self.corner_rect.get_bottom(), UP)
h_line = Line(rect.get_left(), rect.get_right())
@ -1572,8 +1572,8 @@ class VisualizeZSquared(Scene):
self.show_more_triangles()
def add_plane(self):
width = (SPACE_WIDTH+abs(self.plane_center[0]))/self.final_unit_size
height = (SPACE_HEIGHT+abs(self.plane_center[1]))/self.final_unit_size
width = (SPACE_X_RADIUS+abs(self.plane_center[0]))/self.final_unit_size
height = (SPACE_Y_RADIUS+abs(self.plane_center[1]))/self.final_unit_size
background_plane = ComplexPlane(
x_radius = width,
y_radius = height,
@ -1698,7 +1698,7 @@ class VisualizeZSquared(Scene):
def draw_dots(self):
min_corner, max_corner = [
self.background_plane.point_to_coords(
u*SPACE_WIDTH*RIGHT + u*SPACE_HEIGHT*UP
u*SPACE_X_RADIUS*RIGHT + u*SPACE_Y_RADIUS*UP
)
for u in -1, 1
]
@ -1831,8 +1831,8 @@ class VisualizeZSquared(Scene):
###
def get_color_grid(self):
width = (SPACE_WIDTH+abs(self.plane_center[0]))/self.initial_unit_size
height = (SPACE_HEIGHT+abs(self.plane_center[1]))/self.initial_unit_size
width = (SPACE_X_RADIUS+abs(self.plane_center[0]))/self.initial_unit_size
height = (SPACE_Y_RADIUS+abs(self.plane_center[1]))/self.initial_unit_size
color_grid = ComplexPlane(
x_radius = width,
y_radius = int(height),
@ -2150,7 +2150,7 @@ class DrawRadialLines(PointsWeMiss):
continue
coord_strings.add(str(new_coords))
point = self.background_plane.coords_to_point(*new_coords)
if abs(point[0]) > SPACE_WIDTH or abs(point[1]) > SPACE_HEIGHT:
if abs(point[0]) > SPACE_X_RADIUS or abs(point[1]) > SPACE_Y_RADIUS:
continue
new_dot = Dot(
point, color = GREEN,
@ -2159,7 +2159,7 @@ class DrawRadialLines(PointsWeMiss):
new_dots.add(new_dot)
line = Line(self.plane_center, dot.get_center())
line.scale(
2*SPACE_WIDTH/line.get_length(),
2*SPACE_X_RADIUS/line.get_length(),
about_point = self.plane_center
)
line.set_stroke(width = 1)
@ -2296,7 +2296,7 @@ class RationalPointsOnUnitCircle(DrawRadialLines):
top_line = TexMobject(
"a", "^2", "+", "b", "^2", "=", "c", "^2 \\phantom{1}"
)
top_line.shift(SPACE_WIDTH*RIGHT/2)
top_line.shift(SPACE_X_RADIUS*RIGHT/2)
top_line.to_corner(UP + LEFT)
top_line.shift(RIGHT)
top_rect = BackgroundRectangle(top_line)
@ -2498,7 +2498,7 @@ class ProjectPointsOntoUnitCircle(DrawRadialLines):
def draw_infinitely_many_lines(self):
lines = VGroup(*[
Line(ORIGIN, 2*SPACE_WIDTH*vect)
Line(ORIGIN, 2*SPACE_X_RADIUS*vect)
for vect in compass_directions(1000)
])