STACK 4.0 equivalence reasoning

Re: STACK 4.0 equivalence reasoning

από Christopher Sangwin -
Αριθμός απαντήσεων: 0
Φωτογραφία Particularly helpful Moodlers Φωτογραφία 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