Sum

Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.

Zugehörige Evaluatoren

• MathEvaluator

Beschreibung

Die Funktion sum erzeugt das math. Summenzeichen.

Syntax

sum(IntegerInterval interval, LambdaFunktion lambda)

Parameter

• interval - das IntegerInterval, welches die Laufvariable der Summe bestimmt
• lambda - eine Lambda Funktion, welche die Luafvariable als Bindungsvariable und den Ausdruck enthält

Return Value

• Gibt das Summenzeichen zurück

Beispiele

sum(integerInterval(0,10), lambda(x+1, x)) --> returns <math>\sum_{x=0}^{10} {x+1}</math>

sum(integerInterval(-10,0), lambda(n+1+a, n)) --> returns <math>\sum_{n=-10}^{0} {n+1+a}</math>

Vollständiges Testen einer Summen-Eingabe

[input=summe] := <math>\sum_{x=0}^{10} {x+1}</math>

getParameter(0, [input=summe]) --> integerInterval(0, 10)
isIntegerInterval( getParameter(0, [input=summe]) ) --> TRUE
getParameter(0,  getParameter(0, [input=summe])) --> 0 //startIndex
getParameter(1,  getParameter(0, [input=summe])) --> 10  //endIndex

getParameter(1, [input=summe]) --> lambda(x+1, x)
isLambdaFunction(getParameter(1, [input=summe])) --> TRUE
lambdaHasBindingVars(getParameter(1, [input=summe]), x) --> TRUE
lambdaExprEqualsExpr(getParameter(1, [input=summe]), x+1) --> TRUE

approx([input=summe]) --> 66
[input=summe]==66 --> TRUE