Thanks for the reply. I’ll clean this up into a standalone post and/or cover this in a related larger post I’m working on, depending on how some details turn out.
What are A,B,C here?
Variables I forgot to rename, when I changed how I was labelling the arguments of f in my example. This should be 12→2, 22→3, 32→1 retargetable (as arguments i to f(i|j)).
Thanks for the reply. I’ll clean this up into a standalone post and/or cover this in a related larger post I’m working on, depending on how some details turn out.
Variables I forgot to rename, when I changed how I was labelling the arguments of f in my example. This should be 12→2, 22→3, 32→1 retargetable (as arguments i to f(i|j)).