Yes, you'd have thought that, wouldn't you?

I can crop, take out red-eye, rotate, add all kinds of effects, but I can't find any option to compress. So I've been transferring the files to the laptop via DropBox, then using Microsoft Picture Manager as I've always done. But there must be a way to do it on the iPad, mustn't there? Without having to install a Microsoft product?