search

Wallly / open-geo-prover

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

GG A.2.;A.6. - Improvement of NDG sub-system - implementing more genral representation of NDGs #16

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
NDG conditions will be represented in following way:

 "ndgCondName[arg1, arg2, ..., argn]"

e.g. "collinearPoints[A, B, C]".

This representation is general and more suitable for conversion to other 
formats (like textual representation, multilingual text representation, 
constructions of special cases of theorems etc).

For OGP internal use there will be a method for conversion of this 
representation to textual form.

For GeoGebra it will be enough just to send NDGs in this general format.

Unconverted NDGs from polynomial representation will be shown as polynomials. 
For this purpose it is required to implement method for printing of polynomials 
in ASCII character set without any special formatting e.g.:
   (2*u1^3 - 5*u1)*x3^4*x2*x1^5 - 4*x2*x1^4 + x2 = 0.

Original issue reported on code.google.com by ivan.petrovic.matf on 5 Jun 2012 at 12:13

GoogleCodeExporter commented 9 years ago 
Following revisions have been made: r185 (main development trunk), r186 
(GeoGebra branch) and r187 (GeoGebra's sub-branch for Area Method).

Original comment by ivan.petrovic.matf on 8 Jun 2012 at 11:44

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 11:32

GoogleCodeExporter commented 9 years ago 
Revisions r219 (GeoGebra) and r220 (Area method) added printing of NDG 
conditions and changes to eliminate duplicate NDGs.

Original comment by ivan.petrovic.matf on 14 Jun 2012 at 9:51

GoogleCodeExporter commented 9 years ago 
Revision r232 eliminated duplicate NDGs in export method on main trunk.

Original comment by ivan.petrovic.matf on 16 Jun 2012 at 8:19

GoogleCodeExporter commented 9 years ago

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