This looks really nice! What would it answer if I typed the following in the example session that you gave? (Note the missing "^2".) (%i15) dimension(x0+v0*t+1/2*a*t); With other words: How efficiently could I check my (lengthy) formulas for dimensional correctness? Yours Eike.