< | testet, ob der linke Operand kleiner als der rechte ist |
> | testet, ob der linke Operand größer als der rechte ist |
<= | testet, ob der linke Operand kleiner oder gleich dem rechten ist |
>= | testet, ob der linke Operand größer oder gleich dem rechten ist |
!= | testet, ob die beiden Operanden ungleich sind |
= | testet, ob die beiden Operanden gleich sind |
Not | logische Negation |
And | logisches UND |
Or | logisches ODER |
IsFreeOf | testet, ob ein Term von einer Variablen abhängig ist |
IsZeroVector | testet, ob eine Liste nur Nullen enthält |
IsNonObject | testet, ob das Argument kein Objekt ist |
IsEven | testet, ob eine ganze Zahl gerade ist |
IsOdd | testet, ob eine ganze Zahl ungerade ist |
IsFunction | testet, ob das Argument ein zusammengesetztes Objekt ist |
IsAtom | testet, ob das Argument ein Atom ist |
IsString | testet, ob das Argument ein String ist |
IsNumber | testet, ob das Argument eine Zahl ist |
IsList | testet, ob das Argument eine Liste ist |
IsBound | testet, ob dem Argument ein Wert zugeordnet ist |
IsBoolean | testet, ob das Argument einen Wahrheitswert liefert |
IsNegativeNumber | testet, ob das Argument eine negative Zahl ist |
IsNegativeInteger | testet, ob das Argument eine negative ganze Zahl ist |
IsPositiveNumber | testet, ob das Argument eine positive Zahl ist |
IsPositiveInteger | testet, ob das Argument eine positive ganze Zahl ist |
IsNotZero | testet, ob das Argument eine von Null verschiedene Zahl ist |
IsNonZeroInteger | testet, ob das Argument eine von Null verschiedene ganze Zahl ist |
IsInfinity | testet, ob das Argument unendlich ist |
IsPositiveReal | testet, ob das Argument einen positiven Wert ergibt |
IsNegativeReal | testet, ob das Argument einen negativen Wert ergibt |
IsConstant | testet, ob das Argument eine Konstante ist |
Ein Ausdruck ist numerisch, wenn das Ergebnis eine Zahl, ein Bruch oder unendlich ist.
In> 2 < 5; Out> True; In> Cos(1) < 5; Out> Cos(1)<5; In> N(Cos(1)) < 5; Out> True |
Ein Ausdruck ist numerisch, wenn das Ergebnis eine Zahl, ein Bruch oder unendlich ist.
In> 2 > 5; Out> False; In> Cos(1) > 5; Out> Cos(1)>5; In> N(Cos(1)) > 5; Out> False |
Ein Ausdruck ist numerisch, wenn das Ergebnis eine Zahl, ein Bruch oder unendlich ist.
In> 2 <= 5; Out> True; In> Cos(1) <= 5; Out> Cos(1)<=5; In> N(Cos(1)) <= 5; Out> True |
Ein Ausdruck ist numerisch, wenn das Ergebnis eine Zahl, ein Bruch oder unendlich ist.
In> 2 >= 5; Out> False; In> Cos(1) >= 5; Out> Cos(1)>=5; In> N(Cos(1)) >= 5; Out> False |
Der Ausdruck e1 != e2 ist äquivalent zu Not(e1 = e2).
In> 1 != 2; Out> True; In> 1 != 1; Out> False; |
Hinweis: Getestet wird, ob die beiden Ausdrücke syntaktisch gleich sind. Das Ergebnis kann False sein, obwohl beide Ausdrücke mathematisch gleich sind (s. Beispiele).
In> e1 := (x+1) * (x-1); Out> (x+1)*(x-1); In> e2 := x^2 - 1; Out> x^2-1; In> e1 = e2; Out> False; In> Expand(e1) = e2; Out> True; |
In> Not True Out> False; In> Not False Out> True; In> Not(a) Out> Not a; |
In> True And False Out> False; In> And(True,True) Out> True; In> False And a Out> False; In> True And a Out> And(a); In> And(True,a,True,b) Out> b And a; |
In> True Or False Out> True; In> False Or a Out> Or(a); In> Or(False,a,b,True) Out> True; |
Mit dem zweiten Funktionsaufruf wird getestet, ob der Ausdruck von irgendeinem der Argumente abhängt. Das Ergebnis ist True, falls keines der Argumente in dem Ausdruck vorkommt, sonst False.
In> IsFreeOf(Sin(x), x); Out> False; In> IsFreeOf(Sin(x), y); Out> True; In> IsFreeOf(D(x) a*x+b, x); Out> True; In> IsFreeOf(Sin(x), {x,y}); Out> False; |
In> IsZeroVector({0, x, 0}); Out> False; In> IsZeroVector({x-x, 1 - D(x) x}); Out> True; |
In> IsEven(4); Out> True; In> IsEven(-1); Out> False; |
In> IsOdd(4); Out> False; In> IsOdd(-1); Out> True; |
In> IsFunction(x+5); Out> True; In> IsFunction(x); Out> False; |
In> IsAtom(x+5); Out> Falso; In> IsAtom(5); Out> True; |
In> IsString("duh"); Out> True; In> IsString(duh); Out> False; |
In> IsNumber(6); Out> True; In> IsNumber(3.25); Out> True; In> IsNumber(I); Out> False; In> IsNumber("duh"); Out> False; |
In> IsList({2,3,5}); Out> True; In> IsList(2+3+5); Out> False; |
In> IsBound(x); Out> False; In> x := 5; Out> 5; In> IsBound(x); Out> True; |
In> IsBoolean(a) Out> False; In> IsBoolean(True) Out> True; In> IsBoolean(a And b) Out> True; |
In> IsNegativeNumber(6); Out> False; In> IsNegativeNumber(-2.5); Out> True; |
In> IsNegativeInteger(31); Out> False; In> IsNegativeInteger(-2); Out> True; |
In> IsPositiveNumber(6); Out> True; In> IsPositiveNumber(-2.5); Out> False; |
In> IsPositiveInteger(31); Out> True; In> IsPositiveInteger(-2); Out> False; |
In> IsNotZero(3.25); Out> True; In> IsNotZero(0); Out> False; |
In> IsNonZeroInteger(0) Out> False; In> IsNonZeroInteger(-2) Out> True; |
In> IsInfinity(10^1000); Out> False; In> IsInfinity(-Infinity); Out> True; |
In> IsPositiveReal(Sin(1)-3/4); Out> True; In> IsPositiveReal(Sin(1)-6/7); Out> False; In> IsPositiveReal(Exp(x)); Out> False; |
In> IsNegativeReal(Sin(1)-3/4); Out> False; In> IsNegativeReal(Sin(1)-6/7); Out> True; In> IsNegativeReal(Exp(x)); Out> False; |
In> IsConstant(Cos(x)) Out> False; In> IsConstant(Cos(2)) Out> True; In> IsConstant(Cos(2+x)) Out> False; |