Edwin Woollett wrote:
> For arbitrary four vectors aa[i] and bb[j] define
> an innner product function ipv
>
> (%i1) display2d:false$
> (%i2) ipv (aa,bb) := aa[0]*bb[0] - aa[1]*bb[1] - aa[2]*bb[2] - aa[3]*bb[3]$
>
> Now I want to assign invariant mass (on mass shell) properties to the inner
> product of a momentum 4-vector such that ipv (p,p ) --> m^2
>
> Can I do this with matchdeclare and tellsimpafter?
>
> Thanks in advance,
>
> Ted Woollett
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
try this
matchdeclare([aa,bb],true);
tellsimp(ipv(aa,aa),m^2);
tellsimpafter(ipv(aa,bb):= aa[0]*bb[0] - .....);
good luck