-----maxima-admin@math.utexas.edu wrote: -----
> With other words: How efficiently could I check my (lengthy) formulas
> for dimensional correctness?
To check for dimensional correctness, try this
(%i1) load("dimension")$
(%i2) qput(x0,"length",dimension)$
(%i3) qput(v0,"length" / "time",dimension)$
(%i4) qput(a,"length" / "time"^2,dimension)$
(%i5) qput(t,"time",dimension)$
(%i6) dimension(x0 + v0 * t + a * t^2/2);
(%o6) length
(%i7) dimension(x0 + v0 * t + a * t^3/2);
Expression is dimensionally inconsistent.
#0: dimension(e=x0+t*v0+a*t^3/2)(dimension.mac line 154)
-- an error. Quitting. To debug this try DEBUGMODE(TRUE);
For more examples, read "dimension.pdf" in /share/phyiscs.
Barton