Prolongations and Computational Algebra