basic grobner basis calcs working. need to redo reduction check to try all things