InExpression doesn't work for redefined expressions

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

InExpression doesn't work for redefined expressions #170

Closed tueda closed 7 years ago

tueda commented 7 years ago

inexpression environment doesn't catch the specified expressions if they are redefined in the same module:

S x;
L F = x;
.sort
L F = F;
*.sort;  * <-- workaround
inexpression F;
  id x = 1;
endinexpression;
*if (expression(F)) id x = 1;  * same for expression(name)
P;
.end

giving

FORM 4.1 (Feb 22 2017, v4.1-20131025-297-g62bfde7) 64-bits  Run: Tue Feb 28 19:09:02 2017

   F =
      x;

which should be 1.

jodavies commented 7 years ago