Rotate polygon with manim

rotate_polygon.py

from big_ol_pile_of_manim_imports import *

# Animate shapes

class RotatePolygon(Scene):
    def construct(self):
        Hexagon =   [(0,0,0),   #P1
                    (1,1,0),    #P2
                    (2,1,0),    #P3
                    (3,0,0),    #P4
                    (2,-1,0),   #P5
                    (1,-1,0)    #P6
                    ]

        poly = Polygon(*Hexagon)
        animation = Rotate(poly, angle=math.radians(180), in_place=True)
        self.play(animation)