search

ivan-z-petrovic / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover [author of the original repository on GoogleCode]
3 stars 2 forks source link

GG A.8. - Tracking issue for all small bugs found when running OGP from GeoGebra prover #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
This issue is main place to submit all changes that fix small bugs found in OGP 
when it is run from GeoGebra prover. These small bugs are made in initial 
development covered by other issue documents, but they cover implementation 
tasks. So this is central place for all errors made in implementation of 
various parts of integration.

If any reported bug requires significant change or even reimplementation of 
some greater part of code that affects the logic of prover, then a separate 
issue has to be created to address that problem.

Original issue reported on code.google.com by ivan.petrovic.matf on 17 Jun 2012 at 1:20

GoogleCodeExporter commented 9 years ago 
Revisions r233 (GeoGebra) and r234 (Area method) fixed bug with empty point 
labels when converting intersection point construction from GeoGebra to OGP.

Original comment by ivan.petrovic.matf on 17 Jun 2012 at 1:28

GoogleCodeExporter commented 9 years ago 
It seems that NDG conditions are computed even if

GeoGebraOGPInputProverProtocol.setReportFormat(GeoGebraOGPInputProverProtocol.OG
P_REPORT_FORMAT_NONE)

is set. I guess this is a bug.

Original comment by kov...@gmail.com on 14 Jul 2012 at 3:37

GoogleCodeExporter commented 9 years ago 
Two new revisions are made that fix new found bugs in constructions and 
polynomial system, found on main development trunk. Revisions are r290 
(GeoGebra) and r291 (Area method). Dev track code is fixed in revision r289 for 
issue 26.

Original comment by ivan.petrovic.matf on 14 Jul 2012 at 11:18