Hallo Regine,
du hast recht - es ist sicher nicht ideal, da man schon einiges an Struktur vorgibt.
Der Antworttyp bei der logischen Verknüpfung der Ungleichungen ist "Algebraisch", der Antworttest "EqualComAss".
Beim Antworttest musste ich ein bisschen herumprobieren. Nimmt man nämlich "AlgEquiv" wird auch so etwas wie \(x^2<2\) als richtig bewertet. "EqualComAss" wiederum akzeptiert nicht einmal \(-\sqrt 2 < x\) anstelle von \(x>-\sqrt 2\). Daher teste ich mit "EqualComAss" ob "ineqprepare(ans)" äquivalent ist zu "ineqprepare(ta)".
Als äquivalent zu \(x>-\sqrt 2\) gelten dann auch \(-\sqrt 2 < x\) und \(x+\sqrt 2 >0\). Die Eingabe \(x^2<2\) wird aber nicht mehr akzeptiert. Möchte man \(|x|<\sqrt 2\) ebenfalls zulassen, muss man dafür wohl einen Extra-Knoten anlegen.
Viele Grüße, Stephan.
-------------------------------------------
Hey Regine,
you are right - it's not ideal to provide the structure of the answer.
The input type used for the inequalities is "Algebraic", the answer test "EqualComAss".
Testing the answer is a bit tricky. If you use
"AlgEquiv" also \(x^2<2\) is accepted.
"EqualComAss" on the other hand not even accepts \(-\sqrt 2 < x\)
instead of \(x>-\sqrt 2\). So I use "EqualComAss" to test if "ineqprepare(ans)" is equivalent to "ineqprepare(tans)".
The expressions \(-\sqrt 2 < x\) and \(x+\sqrt 2 >0\) then are accepted instead of \(x>-\sqrt 2\). But the input \(x^2<2\) (for the original question) is considered as false. If you also want to accept \(|x|<\sqrt 2\), I guess you need an extra knot in your potential response tree.
Stephan.