Grobner normal form calculation



Attached is a first attempt.
Would someone who understands the algorithm take a look at it,
and see if they think it is correct?
Thanks,
Dan Stanger