Comments (3)
GoogleCodeExporter
commented on August 30, 2024
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
from open-geo-prover.
GoogleCodeExporter
commented on August 30, 2024
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 [email protected] on 14 Jul 2012 at 3:37
from open-geo-prover.
GoogleCodeExporter
commented on August 30, 2024
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
from open-geo-prover.
Related Issues (20)
- GG A.2. - Changes in OGP constructions HOT 5
- GG A.2., A.5. - Replacement of log4j logger in OGP branch for GeoGebra by new custom logger HOT 2
- GG A.4. - Conversion of geometry theorem statements from GeoGebra to OGP format HOT 3
- GG A.2. - Improvement of CP to disregard unnecessary constructions HOT 5
- GG B.1. - Conversion of GeoGebra commands for geometry transformations to OGP format HOT 2
- GG A.2.;A.6. - Improvement of NDG sub-system - implementing more genral representation of NDGs HOT 5
- GG A.2. - Renaming classes and packages related to Construction Protocol HOT 7
- GG B.1. - Improving build scripts HOT 2
- GG A.2.; A.6. - Implementation of API method for calling OGP from GeoGebra code HOT 4
- GG B.1. - Modifications in sending input theorem from GG to OGP HOT 9
- GG B.1. - Improving OGP to allow setting custom log file HOT 2
- GG B.1. - Modification of conversion of Intersection Point construction HOT 2
- GG B.1. - Multiple Prove commands in XML HOT 3
- GG B.1. - Get NDG conditions with the same objects
- Initial implementation of support for solving RC-constructibility problems HOT 2
- Merging implementation of Area Method to main trunk and other branches HOT 2
- Completing Area method on non-GeoGebra branches of OGP
- Missing touch point of tangent line and circle/conic
- Theorem proving fails with stack overflow in construction of perpendicular line HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from open-geo-prover.