ProveDetails Command
From GeoGebra Manual
 |
This page is about a feature that is supported only in GeoGebra 5.0. |
- ProveDetails[ <Boolean Expression> ]
It returns some details of the result of the automated proof:
- an empty list if the statement could not be proven ({}),
- a list with one element: {"generically false"}, if the statement is not true in general,
- a list with one element: {"generically true"}, if the statement is always true,
- a list with more elements: {"generically true", "the points A, B, C must not be collinear", "the segments c, d must not be equal"}, if the statement is true under certain conditions.
