Delete grobner.pdf