Craig Brace's page of Maxima stuff