Mathematica implementations of the Anderson Moore Algorithm