Hi All. I'm new to STACK (but excited about this tool). I've been puzzled by this for a bit. One of solutions in my problem requires a set with one root. A root is a mean of observed values, i.e. (X[1]+...+X[6])/6 for 6 observations. I've come across a particular form of this equation that fails STACK test on algebraic equivalence (AlgEquiv in PRT node) or set equivalence. Not sure if there is a more proper way to compare elements of a set on algebraic equivalence (or perhaps, this isn't related to sets of expressions). Any ideas how this error can be handled? Let me know if more information is needed. I hope it's not an algebra error on my part.
Here are printscreens of correct answers (which either succeed or fail):
Here is the setup of this PRT with test Sets. Test AlgEquiv shows the same behavior.