Delete pinchimpl.sage