opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-07-30 21:44:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

tex mobjects implemented

Browse Source
This commit is contained in:
Grant Sanderson
2015-03-26 22:49:22 -06:00
parent 5750a40bc6
commit 3ae36a3ac9
7 changed files with 291 additions and 92 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
constants.py
View File

@ -1,12 +1,12 @@
import os
PRODUCTION_QUALITY = True
PRODUCTION_QUALITY = False
DEFAULT_POINT_DENSITY_2D = 25 if PRODUCTION_QUALITY else 20
DEFAULT_POINT_DENSITY_1D = 200 if PRODUCTION_QUALITY else 50
DEFAULT_POINT_DENSITY_2D = 25 #if PRODUCTION_QUALITY else 20
DEFAULT_POINT_DENSITY_1D = 200 #if PRODUCTION_QUALITY else 50
HEIGHT = 1024#1440 if PRODUCTION_QUALITY else 480
WIDTH = 1024#2560 if PRODUCTION_QUALITY else 640
DEFAULT_HEIGHT = 1440 #if PRODUCTION_QUALITY else 480
DEFAULT_WIDTH = 2560 #if PRODUCTION_QUALITY else 640
#All in seconds
DEFAULT_FRAME_DURATION = 0.04 if PRODUCTION_QUALITY else 0.1
DEFAULT_ANIMATION_RUN_TIME = 3.0
@ -15,22 +15,28 @@ DEFAULT_DITHER_TIME = 1.0
GENERALLY_BUFF_POINTS = PRODUCTION_QUALITY
BACKGROUND_COLOR = "black" #TODO, this is never actually enforced anywhere.
DEFAULT_NUM_STARS = 1000
SPACE_HEIGHT = 4.0
SPACE_WIDTH = WIDTH * SPACE_HEIGHT / HEIGHT
SPACE_WIDTH = DEFAULT_WIDTH * SPACE_HEIGHT / DEFAULT_HEIGHT
PDF_DENSITY = 400
IMAGE_DIR = os.path.join(os.path.dirname(os.path.realpath(__file__)), "images")
GIF_DIR = os.path.join(os.getenv("HOME"), "Desktop", "math_gifs")
MOVIE_DIR = os.path.join(os.getenv("HOME"), "Desktop", "math_movies")
PDF_DIR = os.path.join(os.getenv("HOME"), "Documents", "Tex", "Animations")
THIS_DIR = os.path.dirname(os.path.realpath(__file__))
IMAGE_DIR = os.path.join(THIS_DIR, "images")
GIF_DIR = os.path.join(THIS_DIR, "gifs")
MOVIE_DIR = os.path.join(THIS_DIR, "movies")
TEX_DIR = os.path.join(THIS_DIR, "Tex")
TEX_IMAGE_DIR = os.path.join(IMAGE_DIR, "Tex")
TMP_IMAGE_DIR = "/tmp/animation_images/"
for folder in [IMAGE_DIR, GIF_DIR, MOVIE_DIR, TMP_IMAGE_DIR]:
for folder in [IMAGE_DIR, GIF_DIR, MOVIE_DIR, TEX_DIR, TMP_IMAGE_DIR, TEX_IMAGE_DIR]:
if not os.path.exists(folder):
os.mkdir(folder)
LOGO_PATH = os.path.join(IMAGE_DIR, "logo.png")
PDF_DENSITY = 400
SIZE_TO_REPLACE = "SizeHere"
TEX_TEXT_TO_REPLACE = "YourTextHere"
TEMPLATE_TEX_FILE = os.path.join(TEX_DIR, "template.tex")
LOGO_PATH = os.path.join(IMAGE_DIR, "logo.png")