Evaluator-Änderungen von JACK2 nach JACK3

In JACK3 wird eine neue Evaluatorversion genutzt. Im Folgenden sind die Unterschiede zur alten Version unter JACK2 aufgelistet.

Zeichenketten/Strings

Zeichenketten/Strings können in der Syntax mit einfachen (') oder doppelten Anführungszeichen (") verwendet werden. Eine Benutzung der jeweils anderen ist dann ohne Escaping \" \' möglich.

Achtung! Das Escaping wird nicht vom Evaluator aufgelöst!

Beispiele:

• "Dies ist ein 'Beispiel'."
• 'Dies ist ein anderes "Beispiel".'
• "Dies ist ein drittes \"Beispiel\"."
• 'Dies ist ein letztes \'Beispiel\'.'

Zeichenketten werden nicht mehr vom Evaluator zerlegt und interpretiert. Das heißt, die Ersetzung von Variablen mit ihren zugehörigen Werten in Zeichenketten geschieht nicht mehr automatisch.

Beispiel: In "Die Ersetzung von Variablen [var=text1] wird nicht mehr automatisch vorgenommen." wird [var=text1] nicht ersetzt.

Mit der Funktion concat() können Variablenwerte aber mit einer oder mehreren Zeichenketten verknüpft werden:

Beispiel: In concat("Die Ersetzung von Variablen ", [var=text1], " kann so vorgenommen werden.") wird [var=text1] durch ihren Wert ersetzt.

Nutzt man in equalsExpr() Anführungszeichen, wird alles in den Anführungszeichen als Text erkannt. Lässt man die Anführungszeichen weg, wird alles als mathematischer Ausdruck erkannt.

Beispiele:

• equalsExpr('x^2+3', [input=gleichung]) -> x^2+3 wird als Text, nicht als mathematischer Ausdruck erkannt.
• equalsExpr(x^2+3, [input=gleichung]) -> x^2+3 wird als mathematischer Ausdruck erkannt.

Neue Funktionalität

Ausdrücke

Es gibt nun eine Möglichkeit, Ausdrücke zu definieren, welche nicht vom Evaluator ausgerechnet werden sollen.

Ein Beispiel hierfür ist die Definition von Variablen für den Aufgabentext. Hat man bisher x+2*x als Variable angelegt, wurde der Ausdruck zu 3*x zusammengefasst. Fügt man nun [ und ] ein, wird der Ausdruck nicht mehr ausgerechnet.

Beispiele:

• x+3*x -> LaTeX: $4 \cdot x$. Hier wird der Ausdruck ausgerechnet.
• [x+3*x] -> LaTeX: $x+3 \cdot x$. Hier wird der Ausdruck nicht ausgerechnet.
• getFromList(0,list(x+3*x,[2*x+3*x])) -> LaTeX: $4 \cdot x$. Hier wird der Ausdruck ausgerechnet.
• getFromList(1,list(x+3*x,[2*x+3*x])) -> LaTeX: $2 \cdot x + 3 \cdot x$. Hier wird der Ausdruck nicht ausgerechnet.

Die Variablen können allerdings trotzdem zur Bewertung der Aufgabe verwendet werden. Sobald ein "gestoppter"-Ausdruck (von [ und ] umschlossen) in einer Funktion verwendet wird, wird diese ausgerechnet. Dies bedeutet, dass ein "gestoppter" Ausdruck nur solange "gestoppt" ist, wie keine Funktion den Wert dieses Ausdrucks verwendet.

Beispiele:

• 3+[x+x] -> LaTeX: \(2 \cdot x + 3\). Da [x+x] Teil der Summe ist, wird er ausgerechnet.
• [3+x+x] -> LaTeX: \(3+x+x\). Hier ist der Ausdruck selbst eine Summe. Da er hier kein Parameter einer weiteren Funktion ist, wird er nicht ausgerechnet.
• varA=[3+x+x] varB=[var=varA]+3 -> LaTeX: \(2 \cdot x + 6\). Hier ist [3+x+x] wieder Teil einer Summe und wird daher ausgerechnet.
• varA=[3+x+x] varB=[[var=varA]+3] -> LaTeX: \(3+x+x+3\). Hier ist [3+x+x] zwar auch Teil einer Summe; da diese aber auch mit [ und ] umschlossen ist, wird der Ausdruck nicht ausgerechnet.
• getFromList([1+1], list(1,2,3)) -> LaTeX: \(3\). Hier ist [1+1] Teil einer Funktion, die den genauen Wert benötigt. Daher wird [1+1] berechnet.

Anzeige von Variablen

Ob Variablen in Texten mit LaTeX gerendert werden, kann nun bei der Einbindung mit einem $-Zeichen und einem speziellen Flaggesteuert werden: [var=var1] gibt einen einfachen Text aus, $[var=var1,latex]$ die LaTeX-Schreibweise. Die $-Zeichen, die den in LaTeX zu renderen Text einschließen, müssen noch manuell hinzugefügt werden. Die folgende Tabelle listet einige Beispiele auf.

Variablenkonfiguration	[var=var1]	$[var=var1,latex]$
sqrt(6)	root[2](6)	\(\sqrt{6}\)
'sqrt(6)'	sqrt(6)	\(\text{sqrt(6)}\)
5^2	25	\(25\)
'5^2'	5^2	\(\text{5^2}\)

Hinweis: Siehe Syntax-Flags zur Variablenersetzung für noch mehr Funktionen zur Anzeige von Variablen.

Nicht mehr unterstützte Funktionen

• cosineDistance
• equalsSemiSem
• eval
• evalCplx
• evalEq
• evalPolynomial
• evalPolynomialCplx
• evalTermIn2Variables
• evaluateInSymja
• expand
• getFromOrderedList wird durch sortXList, wobei X der Typ der Listenelemente ist (s. Neue Funktionen), und getFromList ersetzt. Mit sortXList wird die Liste sortiert und mit getFromList kann ein Element aus dieser Liste ausgewählt werden.
• getFromOrderedSet
• getFromSet

Geänderte Funktionen

• ifthenelse
  • 0 wird zu falsch ausgewertet, 1 wird zu richtig ausgewertet.
  • Alle anderen Ergebnisse führen zu einem Fehler.

• convertToBinary
  • Wird in zwei Methoden aufgeteilt, convertIntegerToBinaryString (Ganzzahlen) und convertDoubleToBinaryString (Gleitkommazahlen).

• equalsBinary
  • wird umbenannt in equalsBinaryString

evaluateInSage und evaluateInR

Die beiden Funktionen evaluateInSage und evaluateInR werten die Eingabe direkt in einem CAS aus.

Der Inhalt der Funktionen ist immer ein String/Zeichenkette. Auch darf die Eingabe nicht verschachtelte Funktionen beinhalten. Sie wird nicht geparsed und nicht evaluiert.

Wenn eine Variable in den Funktionen genutzt werden soll, kann diese, wie zuvor, innerhalb des CAS-Strings angegeben werden.

• evaluateInSage("bool(1+[var=value2]==3)") ist möglich
• evaluateInSage(concat("bool(1+", [var=value2], "==3)") ist nicht möglich

Neue Funktionen

Hinweis: Diese Liste ist nicht vollständig. Zum aktuellen Zeitpunkt kommen zum JACK3-Evaluator laufend neue Funktionen hinzu. Diese sind im Wiki entsprechend gekennzeichnet.

• countTrue
  • Nimmt beliebig viele Parameter entgegen und zählt, wie viele davon den Wert true() besitzen

• equalList
  • Vergleicht zwei Listen miteinander. Gibt true zurück, wenn beide die gleichen Elemente in der selben Reihenfolge beinhalten.

• convertIntegerToBinaryString
  • Erwartet Ganzzahl als Argument und wandelt diese in einen BinaryString(32Bit) um

• convertBinaryStringToInteger
  • Erwartet einen BinaryString(32Bit) als Argument und wandelt diesen in eine Ganzzahl um

• convertDoubleToBinaryString
  • Erwartet eine Gleitkommazahl als Argument und wandelt diese in einen BinaryString(64Bit) um

• convertBinaryStringToDouble
  • Erwartet einen BinaryString(64Bit) als Argument und wandelt diesen in eine Gleitkommazahl um

• equalsBinaryString
  • Erwartet zwei BinaryStrings als Argument und vergleicht diese

• isBinaryString
  • Erwartet Zeichenkette oder Ganzzahl als Argument. Prüft, ob es sich dabei um eine Binärzahl (nur 0 und 1) handelt.

Die folgenden Funktionen erwarten als Argument eine Liste und geben eine Liste zurück.

• sortDoubleList
  • sortiert eine Liste, die nur Doubles/Floats oder Integers beinhaltet
  • Ausgabe ist eine sortierte Liste mit Doubles/Floats
• sortIntegerList
  • sortiert eine Liste, die nur Integers beinhaltet
  • Ausgabe ist eine sortierte Liste mit Integers
• sortLexicographical
  • sortiert eine Liste, die nur Terminale beinhaltet (String/Double/Integer)
  • Ausgabe ist eine sortierte Liste mit Strings
• sortNumberList
  • sortiert eine Liste, die nur Terminale beinhaltet (Double/Integer)
  • Ausgabe ist eine sortierte Liste mit Doubles/Floats
• sortStringList
  • sortiert eine Liste, die nur Strings beinhaltet
  • Ausgabe ist eine sortierte Liste mit Strings
• convertToDoubleList
  • Elemente der Liste werden zu Double umgewandelt
• convertToIntegerList
  • Elemente der Liste werden zu Integer umgewandelt
• convertToStringList
  • Elemente der Liste werden zu Strings umgewandelt
• removeDuplicates
  • Alle Duplikate werden aus der Liste gelöscht
• shuffleList
  • Die Elemente der Liste werden geshuffelt

Division

Division wird nicht mehr automatisch gerundet. Soll der Bruch als Dezimalzahl ausgegeben werden, kann die Funktion round() genutzt werden.

Es besteht bei der Berechnung kein Unterschied zwischen der Nutzung von : und /.

Wenn : und / hingegen in Zeichenketten genutzt werden, werden diese unterschiedlich dargestellt:

• : sowie die Funktion divide() wird als \div in LaTeX konvertiert -> <math>3\div4</math>
• / sowie die Funktion rational() wird als \frac{}{} in LaTeX konvertiert -> <math>\frac{3}{4}</math>

Runden von Ergebnissen

Ergebnisse werden nicht mehr vom Evaluator gerundet. Stattdessen werden die Ergebnisse genau angegeben. Bsp.: exp(2) wird zu e^2 evaluiert.

Soll das Ergebnis als Zahl angegeben werden, muss eine Funktion zum Runden genutzt werden. Beispiele: round(), ceil(), floor(),...

Auch über die Syntax-Flags zur Variablenersetzung ist es möglich, die Anzahl an Rundungsstellen zu definieren oder eine wissenschaftliche Schreibweise wie \(5 \cdot 10^{3}\) zu nutzen.

Kleine Änderungen

• constE als constE() benutzbar
• constPi als constPi() benutzbar
• IEEERemainder als iEEERemainder(...) benutzbar