Example #1
0
 def construct(self):
     LabelLargeSquare.construct(self)
     points = np.array([
         2 * UP + 2 * LEFT, UP + 2 * LEFT, 2 * DOWN + 2 * LEFT,
         2 * DOWN + LEFT, 2 * DOWN + 2 * RIGHT, DOWN + 2 * RIGHT,
         2 * UP + 2 * RIGHT, RIGHT + 2 * UP
     ])
     for triplet in [[0, 1, 7], [2, 3, 1], [4, 5, 3], [6, 7, 5]]:
         triplet.append(triplet[0])
         self.highlight_region(region_from_line_boundary(
             *[[points[i], points[j]]
               for i, j in zip(triplet, triplet[1:])]),
                               color=DARK_BLUE)
     vertices = points[[1, 3, 5, 7, 1]]
     self.highlight_region(region_from_line_boundary(
         *[[p1, p2] for p1, p2 in zip(vertices, vertices[1:])]),
                           color=YELLOW)
Example #2
0
 def construct(self):
     LabelLargeSquare.construct(self)
     vertices = [
         2 * (DOWN + LEFT), 2 * (DOWN + RIGHT), 2 * (UP + RIGHT),
         2 * (UP + LEFT)
     ]
     vertices.append(vertices[0])
     pairs = zip(vertices, vertices[1:])
     self.highlight_region(region_from_line_boundary(*pairs), color=BLUE)
 def construct(self):
     LabelLargeSquare.construct(self)
     points = np.array(
         [
             2 * UP + 2 * LEFT,
             UP + 2 * LEFT,
             2 * DOWN + 2 * LEFT,
             2 * DOWN + LEFT,
             2 * DOWN + 2 * RIGHT,
             DOWN + 2 * RIGHT,
             2 * UP + 2 * RIGHT,
             RIGHT + 2 * UP,
         ]
     )
     for triplet in [[0, 1, 7], [2, 3, 1], [4, 5, 3], [6, 7, 5]]:
         triplet.append(triplet[0])
         self.highlight_region(
             region_from_line_boundary(*[[points[i], points[j]] for i, j in zip(triplet, triplet[1:])]),
             color=DARK_BLUE,
         )
     vertices = points[[1, 3, 5, 7, 1]]
     self.highlight_region(
         region_from_line_boundary(*[[p1, p2] for p1, p2 in zip(vertices, vertices[1:])]), color=YELLOW
     )
 def construct(self):
     LabelLargeSquare.construct(self)
     vertices = [2 * (DOWN + LEFT), 2 * (DOWN + RIGHT), 2 * (UP + RIGHT), 2 * (UP + LEFT)]
     vertices.append(vertices[0])
     pairs = zip(vertices, vertices[1:])
     self.highlight_region(region_from_line_boundary(*pairs), color=BLUE)