Open amaletzk opened 7 years ago
If a definition has quantifiers on its left-hand-side, like 'f[< i | i=1,...,10 >] := 0', the quantifiers are evaluated incorrectly when generating the computation rule. In Mathematica 10.4 this even gives a strange warning.
If a definition has quantifiers on its left-hand-side, like 'f[< i | i=1,...,10 >] := 0', the quantifiers are evaluated incorrectly when generating the computation rule. In Mathematica 10.4 this even gives a strange warning.