PrüfeDetails (Befehl)

PrüfeDetails[ <Wahrheitswert> ]

Dieser Befehl funktioniert wie der Befehl Prüfe, aber er gibt zusätzlich noch Details zum Ergebnis als Liste bekannt:

• Eine leere Liste {}, wenn GeoGebra keine Lösung findet.
• Eine Liste mit einem Element: {false}, wenn die Aussage im Allgmeinen nicht wahr ist.
• Eine Liste mit einem Element: {true}, wenn die Aussage immer wahr ist.
• Eine Liste mit mehreren Elementen, die den Wahrheitswert true beinhaltet und eine andere Liste unter welchen Bedingungen die Aussage wahr ist, z. B. {true, {"LiegenAufGerade[A,B,C], SindGleich[C,D]"}}. Das bedeutet, wenn keine der Bedingungen wahr ist, dann ist die Aussage true.
• Eine Liste {true,{"..."}}, das bedeutet, dass die Aussage unter bestimmten Bedingungen wahr ist, aber diese aus einigen Gründen nicht in lesbarer Form dargestellt werden können.

Anmerkung: Siehe auch Prüfe, Wahrheitswerte und technical details of the algorithms.