LambdaFunktion: Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 23: Zeile 23:
   
   
  lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\)
  lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\)
===Hinweise===
* Um das Argument einer Lambda Funktion mit einem mathematischen Ausdruck zu vergleichen kann man die Funktion [[LambdaExpressionEqualsExpression]] verwenden.
   
   
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Ausdruckfunktionen]]
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Ausdruckfunktionen]][[Kategorie:JACK3]]

Version vom 12. April 2024, 09:27 Uhr

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}}\)

Hinweise