STACK 4.0 equivalence reasoning

Re: STACK 4.0 equivalence reasoning

by Christopher Sangwin -
Number of replies: 0
Picture of Particularly helpful Moodlers Picture of Plugin developers

Thank you for pointing this out!

This was a design decision I took a long time worrying about, and I'm very happy to discuss this further.  I may not have made the right decision here.

The first situation is because I want to condone "repeated roots".  There is generally no accepted way to decide if we should indicate repeated roots or not.  I decided to allow this as equivalent.

The second situation is fully correct.

Chris