Update pinchimpl.sage