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

Completing Area method on non-GeoGebra branches of OGP #28

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Code for Area Method is merged from OGP branch for GeoGebra up to main 
development trunk.

However, this method still cannot be tested and executed on main Dev trunk 
since input methods do not support Area Method. On GeoGebra branch, there are 
converters of GeoGebra input for algebraic and area methods and therefore Area 
method can be tested and executed there.

It is required to implement necessary changes on non-GeoGebra branches in order 
to provide conversion of input theorems to format suitable for Area Method in 
order to be able to use it.

Original issue reported on code.google.com by ivan.petrovic.matf on 2 Nov 2013 at 5:53