mirror of
https://github.com/3b1b/manim.git
synced 2025-04-13 09:47:07 +00:00
73 lines
1.8 KiB
Python
73 lines
1.8 KiB
Python
import os
|
|
import numpy as np
|
|
|
|
|
|
GENERALLY_BUFF_POINTS = True
|
|
|
|
PRODUCTION_QUALITY_DISPLAY_CONFIG = {
|
|
"height" : 1440,
|
|
"width" : 2560,
|
|
"frame_duration" : 0.04,
|
|
}
|
|
|
|
LOW_QUALITY_DISPLAY_CONFIG = {
|
|
"height" : 480,
|
|
"width" : 840,
|
|
"frame_duration" : 0.04,
|
|
}
|
|
|
|
|
|
DEFAULT_POINT_DENSITY_2D = 25
|
|
DEFAULT_POINT_DENSITY_1D = 150
|
|
|
|
#TODO, Make sure these are not needd
|
|
DEFAULT_HEIGHT = PRODUCTION_QUALITY_DISPLAY_CONFIG["height"]
|
|
DEFAULT_WIDTH = PRODUCTION_QUALITY_DISPLAY_CONFIG["width"]
|
|
SPACE_HEIGHT = 4.0
|
|
SPACE_WIDTH = SPACE_HEIGHT * DEFAULT_WIDTH / DEFAULT_HEIGHT
|
|
|
|
|
|
#All in seconds
|
|
DEFAULT_FRAME_DURATION = 0.04
|
|
DEFAULT_ANIMATION_RUN_TIME = 1.0
|
|
DEFAULT_TRANSFORM_RUN_TIME = 1.0
|
|
DEFAULT_DITHER_TIME = 1.0
|
|
|
|
DEFAULT_NUM_STARS = 1000
|
|
|
|
|
|
ORIGIN = np.array(( 0, 0, 0))
|
|
UP = np.array(( 0, 1, 0))
|
|
DOWN = np.array(( 0,-1, 0))
|
|
RIGHT = np.array(( 1, 0, 0))
|
|
LEFT = np.array((-1, 0, 0))
|
|
IN = np.array(( 0, 0,-1))
|
|
OUT = np.array(( 0, 0, 1))
|
|
|
|
THIS_DIR = os.path.dirname(os.path.realpath(__file__))
|
|
FILE_DIR = os.path.join(THIS_DIR, "files")
|
|
IMAGE_DIR = os.path.join(FILE_DIR, "images")
|
|
GIF_DIR = os.path.join(FILE_DIR, "gifs")
|
|
MOVIE_DIR = os.path.join(FILE_DIR, "movies")
|
|
TEX_DIR = os.path.join(FILE_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, TEX_DIR, TMP_IMAGE_DIR, TEX_IMAGE_DIR]:
|
|
if not os.path.exists(folder):
|
|
os.mkdir(folder)
|
|
|
|
PDF_DENSITY = 800
|
|
SIZE_TO_REPLACE = "SizeHere"
|
|
TEX_TEXT_TO_REPLACE = "YourTextHere"
|
|
TEMPLATE_TEX_FILE = os.path.join(TEX_DIR, "template.tex")
|
|
TEMPLATE_TEXT_FILE = os.path.join(TEX_DIR, "text_template.tex")
|
|
MAX_LEN_FOR_HUGE_TEX_FONT = 25
|
|
|
|
LOGO_PATH = os.path.join(IMAGE_DIR, "logo.png")
|
|
|
|
DARK_BLUE = "#236B8E"
|
|
DARK_BROWN = "#8B4513"
|
|
LIGHT_BROWN = "#CD853F"
|
|
|
|
|
|
|