vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.14k stars 136 forks source link

Disambiguate id replacements? #99

Open t-hahn opened 8 years ago

t-hahn commented 8 years ago

Is there some way to disambiguate matches of an id-statement that I'm not aware of or could something like this be added? I'm thinking of an integer that is 1 for the first replacement made, 2 for the second, etc., as in:

L test = f(a)*f(b); id f(x?) = g(x, nrepl_);

which would yield g(a,1)*g(b,2)? Currently I'm doing this with "once" and a dollar variable inside a repeat loop.

Best, Thomas