2015-06-10 22:00:35 -07:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
import numpy as np
|
|
|
|
import itertools as it
|
|
|
|
from copy import deepcopy
|
|
|
|
import sys
|
|
|
|
|
|
|
|
|
|
|
|
from animation import *
|
|
|
|
from mobject import *
|
|
|
|
from constants import *
|
|
|
|
from region import *
|
2015-09-30 14:22:17 -07:00
|
|
|
from scene import Scene, NumberLineScene
|
2015-06-10 22:00:35 -07:00
|
|
|
from script_wrapper import command_line_create_scene
|
|
|
|
|
|
|
|
|
2015-09-30 14:22:17 -07:00
|
|
|
class SampleScene(NumberLineScene):
|
2015-06-10 22:00:35 -07:00
|
|
|
def construct(self):
|
2015-09-30 14:22:17 -07:00
|
|
|
NumberLineScene.construct(self)
|
|
|
|
arrow = Arrow(2*RIGHT+UP, 2*RIGHT)
|
|
|
|
self.add(arrow)
|
|
|
|
self.dither(2)
|
|
|
|
self.zoom_in_on(2.4, zoom_factor = 10)
|
|
|
|
self.dither(2)
|
2015-06-10 22:00:35 -07:00
|
|
|
|
|
|
|
if __name__ == "__main__":
|
2015-06-19 08:31:02 -07:00
|
|
|
command_line_create_scene()
|