Utilizing Moment Invariants and Grobner Bases to Reason about Shapes