Id not matching when using ?a and symmetric function

vermaseren / form

The FORM project for symbolic manipulation of very big expressions

GNU General Public License v3.0

1.16k stars 138 forks source link

Closed benruijl closed 8 years ago

benruijl commented 8 years ago

The following program does not match:

#-
S n1,n2;
CF f,g(s);

L F = f(n1,n2)*g(n1,n2);
id f(n1?,n2?,?a)*g(n1?,n2?) = 1; * works if g not symmetric or ?a is removed

Print +s;
.end