vector product substitutions with powers

[veretin]

Hi!
What is wrong in the following example? I would expect both results to be zero here.

v q,k,p1,p2;
s j;

g ff = q.k^2*p1.k;

id k.p1?*k.p2?^2 = 0;
print+s;
.sort

id q.k^j?*p1.k = 0;
print+s;
.end

[tueda]

This is a limitation of FORM's pattern matcher when matching symbols and dot products. See also #376.

It has the same root cause as the following example:

S x,y,a,b;
L F = a^2*b;
id y?^2*x? = 0;  * doesn't match
P;
.sort
id x?^2*y? = 0;  * matches
P;
.end