LambdaHasBindingVariables: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Spobel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} ==Zugehörige Evaluatoren== *'''MathEvaluator''' ===Beschreibun…“) |
|||
| (3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} | {{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} | ||
==Zugehörige Evaluatoren== | ===Zugehörige Evaluatoren=== | ||
*'''MathEvaluator''' | *'''MathEvaluator''' | ||
| Zeile 11: | Zeile 11: | ||
===Parameter=== | ===Parameter=== | ||
* '''lambda''' - die LambdaFunktion, welche die variablen enthalten soll. | * '''lambda''' - die [[LambdaFunktion]], welche die variablen enthalten soll. | ||
* '''variablen''' - | * '''variablen''' - die Menge von Variablen die in lambda enthalten sein sollen. | ||
===Return Value=== | ===Return Value=== | ||
| Zeile 18: | Zeile 18: | ||
===Beispiele=== | ===Beispiele=== | ||
lambdaHasBindingVars(lambda(n+1, n), n) --> returns true | lambdaHasBindingVars(lambda(n+1, n), n) --> returns ''true'' | ||
lambdaHasBindingVars(lambda(n+1, n), list(n)) --> returns ''true'' | |||
lambdaHasBindingVars(lambda(n+1+a, n, a), n, a) --> returns ''true'' | |||
lambdaHasBindingVars(lambda(n+1+a, n, a), list(n, a)) --> returns ''true'' | |||
lambdaHasBindingVars(lambda(n+1, n, a), n, a) --> returns ''true'' | |||
lambdaHasBindingVars(lambda(n | lambdaHasBindingVars(lambda(n, k), n) --> returns ''false'' | ||
lambdaHasBindingVars(lambda(k, n), n) --> returns ''true'' | |||
===Hinweise=== | |||
* Diese Funktion überprüft '''nicht''' ob der Term bei einer Summe von der angegebenen Variable abhängt. | |||
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Testfunktionen]] | [[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Testfunktionen]][[Kategorie:JACK3]] | ||
Aktuelle Version vom 12. September 2025, 11:33 Uhr
|
Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems. |
Zugehörige Evaluatoren
- MathEvaluator
Beschreibung
Die Funktion lambdaHasBindingVariables oder auch lambdaHasBindingVars prüft eine LambdaFunktion auf enthaltene Bindungs-Variablen.
Syntax
lambdaHasBindingVariables(LambdaFunktion lambda, Zeichen variablen...)
Parameter
- lambda - die LambdaFunktion, welche die variablen enthalten soll.
- variablen - die Menge von Variablen die in lambda enthalten sein sollen.
Return Value
- Gibt True oder False zurück.
Beispiele
lambdaHasBindingVars(lambda(n+1, n), n) --> returns true lambdaHasBindingVars(lambda(n+1, n), list(n)) --> returns true lambdaHasBindingVars(lambda(n+1+a, n, a), n, a) --> returns true lambdaHasBindingVars(lambda(n+1+a, n, a), list(n, a)) --> returns true lambdaHasBindingVars(lambda(n+1, n, a), n, a) --> returns true
lambdaHasBindingVars(lambda(n, k), n) --> returns false lambdaHasBindingVars(lambda(k, n), n) --> returns true
Hinweise
- Diese Funktion überprüft nicht ob der Term bei einer Summe von der angegebenen Variable abhängt.