--- Stavros Macrakis wrote:
> A better choice than Tellsimp(after) is probably
> tellrat. Note that tellrat
> works only on expressions in "rat" form (CRE).
>
> Example:
>
> (%i1) tellrat(u^2+v^2+w^2=1);
> Is this what you had in mind?
Stavros:
Yes, this is close enough. I suppose I am expecting
too much if I then ask uniteigenvectors() to figure
out that [u v w]' has unit length, just from that
tellrat() rule:
(%i47) uniteigenvectors(A);
(%o47)
[[[-%i,%i,0],[1,1,1]],[sqrt(1-u^2)/sqrt(2),-(sqrt(1-u^2)*(%i*w-u*v))/(sqrt(2)*u^2-sqrt(2)),(sqrt(1-u^2)*(u*w+%i*v))/(sqrt(2)*u^2-sqrt(2))],[sqrt(1-u^2)/sqrt(2),(sqrt(1-u^2)*(%i*w+u*v))/(sqrt(2)*u^2-sqrt(2)),
(sqrt(1-u^2)*(u*w-%i*v))/(sqrt(2)*u^2-sqrt(2))],[abs(u)/sqrt(w^2+v^2+u^2),(abs(u)*v)/(u*sqrt(w^2+v^2+u^2)),(abs(u)*w)/(u*sqrt(w^2+v^2+u^2))]]
Thanks,
Dan
__________________________________
Yahoo! FareChase: Search multiple travel sites in one click.
http://farechase.yahoo.com