search

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

Context needs to be standardized apart from new scoping variables #15

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
If we have a context X != a and are descending an expression

Y + sum{(on X) X | X = a}

the context needs to be SA'd to X' != a so that there is no interference 
between it and the "new X".

This must be done in every descending operation, most importantly on 
Expression.replace's implementation.

Original issue reported on code.google.com by rodrigob...@gmail.com on 8 Jun 2013 at 12:39

GoogleCodeExporter commented 8 years ago

Original comment by rodrigob...@gmail.com on 8 Jun 2013 at 12:39