Minus sign in set restriction does not work well with ?

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

Open benruijl opened 8 years ago

benruijl commented 8 years ago

The following id statement matches, but it shouldn't:

V p1,p2;
CF vx;

L F = vx(p1,-p1);
id vx(p1?!{-p2?},p2?!{-p1?}) = 1;

Print +s;
.end