Ruler animations

class manim_extensions.compass.PutRuler(ruler, start=None, end=None, **kwargs)[source]

Bases: ApplyMethod

Compass-and-straightedge animation: rotate the ruler so that one of its edges aligns with start-end.

Example: PutRulerDocExample

from manim import *
from manim_extensions.compass import Ruler, PutRuler

class PutRulerDocExample(Scene):
    def construct(self):
        ruler = Ruler().to_edge(LEFT)
        self.play(PutRuler(ruler, LEFT, RIGHT))
        self.wait()
from manim import *
from manim_extensions.compass import Ruler, PutRuler

class PutRulerDocExample(Scene):
    def construct(self):
        ruler = Ruler().to_edge(LEFT)
        self.play(PutRuler(ruler, LEFT, RIGHT))
        self.wait()

__init__(ruler, start=None, end=None, **kwargs)[source]

Compass-and-straightedge animation: rotate the ruler so that one of its edges aligns with start-end.

Parameters:
  • ruler (Ruler) – The ruler.

  • start (Point) – The start point.

  • end (Point) – The end point.

class manim_extensions.compass.PutRulerAway(ruler, point=None, is_flat=True, **kwargs)[source]

Bases: PutRuler

Put the ruler away: move the ruler to point.

Example: PutRulerAwayDocExample

from manim import *
from manim_extensions.compass import Ruler, PutRulerAway

class PutRulerAwayDocExample(Scene):
    def construct(self):
        ruler = Ruler().to_edge(LEFT)
        self.play(PutRulerAway(ruler, 2 * DOWN))
        self.wait()
from manim import *
from manim_extensions.compass import Ruler, PutRulerAway

class PutRulerAwayDocExample(Scene):
    def construct(self):
        ruler = Ruler().to_edge(LEFT)
        self.play(PutRulerAway(ruler, 2 * DOWN))
        self.wait()

__init__(ruler, point=None, is_flat=True, **kwargs)[source]

Put the ruler away: move the ruler to point.

Parameters:
  • ruler (Ruler) – The ruler.

  • point (Point) – The placement position.

  • is_flat (bool) – Whether to place it horizontally (or vertically).