Supporting work from paper on Automorphisms of BB error correction codes. SAGE code for computationally verifying the forward problem (given polynomial pair (A,B) -> Aut(R)) and inverse problem (given target Aut(R) or encompassing subgroup H -> (A, B)).