Implementation of AKS Algorithm with FLINT