LambdaFunktion

Aus JACK Wiki
Zur Navigation springen Zur Suche springen

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

Zugehörige Evaluatoren

  • MathEvaluator

Beschreibung

Die Funktion lambda erzeugt eine Lambda Funktion mit Bindungsvariablen.

Diese Funktion wird bspw. für das Summen- (Sum) oder Produktzeichen (Product) benötigt, um die Laufvariable des Arguments zu binden.

Syntax

lambda(Ausdruck argument, Zeichen bindungsvariablen...)

Parameter

  • argument - der Term, welcher Variablen enthält, die gebunden werden sollen
  • bindungsvariablen... - menge von Variablen, die gebunden werden sollen

Return Value

  • Gibt die LambdaFunktion zurück

Beispiele

lambda(x+1, x) --> returns \(\lambda{x}.{x+1}\)

lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\)