sagetex: now it works, checking in pdf as a demo