Lattice reduction in 2D

Here is my attempt to animate the lattice reduction algorithm in 2D, which acts as a bare-bone to the infamous algorithm LLL that is used quite a lot in CTF contests.

The animation is created using the community version of 3Blue1Brown's Manim animating library written in Python :3

Two vectors that are used to create the lattice have coordinates (12, 1) and (-19, -3) in Cartesian's Coordinate System.