Implementations of Algorithms that came up in the Algebraic Complexity Lecture