search

cmb33595 / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover
0 stars 0 forks source link

GG B.1. - Get NDG conditions with the same objects #25

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
It would be nice if we could get the NDG conditions back with the same objects 
as we send from GeoGebra.

Let's consider the following example:

...
d=Line[C,D]
e=Line[A,E]
...
h=ProveDetails[...]

Now we can get an NDG condition from OGP like this:

AreParallel[D,C,E,A]

But this is a little bit unelegant, and may be confusing for the GeoGebra 
users. Instead, it would be more beautiful to get AreParallel[e,d], or even
better if the parameters would be alphabetically ordered (AreParallel[d,e]).

Original issue reported on code.google.com by kov...@gmail.com on 14 Jul 2012 at 2:45