IsElementOf: Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 27: Zeile 27:
   
   
  isElementOf(1,4)  --> returns false
  isElementOf(1,4)  --> returns false
=== Hinweis ===
Die Überprüfung mit Textfeldern funktioniert nur, wenn man den [[:Formeleditor]] verwendet.


Gibt man keinen Editor an, wird für ein Textfeld (<code>[pos=1] usw.</code>) ein OpenMath String zurückgegeben. Dadurch gibt <code>isElementOf([pos=1],list(1,2,3))</code> sowie <code> isElementOf('[pos=1]',list(1,2,3))</code> immer false zurück.
Um ein richtiges Ergebnis zu erlangen, muss [[:Matches]] genutzt werden.
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Listfunktionen]][[Kategorie:Testfunktionen]]
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Listfunktionen]][[Kategorie:Testfunktionen]]

Version vom 8. Januar 2019, 15:34 Uhr

Zugehörige Evaluatoren

  • MathEvaluator

Beschreibung

Die Funktion isElementOf prüft, ob das angegebene Element in der Liste, bzw. in der Menge vorhanden ist.

Die Funktion erwartet als ersten Parameter das zu überprüfende Objekt. Der zweite Parameter ist die Menge bzw. Liste, in welcher das Objekt gesucht werden soll.

Syntax

isElementOf(Objekt element, List list)

Parameter

  • element - dieses Element soll überprüft werden
  • list - die List, in der das Element vorkommen soll

Return Value

Beispiele

Standardfälle

isElementOf(1,list(1,2,3))   --> returns true

isElementOf(2,list(a,b,c))   --> returns false

isElementOf(emptySet(), list(...))   --> returns true

isElementOf(1,1)   --> returns true

isElementOf(1,4)   --> returns false

Hinweis

Die Überprüfung mit Textfeldern funktioniert nur, wenn man den Formeleditor verwendet.

Gibt man keinen Editor an, wird für ein Textfeld ([pos=1] usw.) ein OpenMath String zurückgegeben. Dadurch gibt isElementOf([pos=1],list(1,2,3)) sowie isElementOf('[pos=1]',list(1,2,3)) immer false zurück. Um ein richtiges Ergebnis zu erlangen, muss Matches genutzt werden.