Java-Geometry-Expert
Java-Geometry-Expert copied to clipboard
kovzol
Java Geometry Expert
After adding some font setting to all of them will be reseted except the font size and bold. Tested in Options -> Preferences -> Point Text and Angle Text 
JGEX was not able to generate the proof for Pappus theorem. [Pappus Theorem.gex.zip](https://github.com/kovzol/Java-Geometry-Expert/files/15485845/Pappus.Theorem.gex.zip) 
I would like to request the ability to add user-defined rules to the ruleset, such as creating custom rules for GDD. For example, allowing the use of certain theorems to...
On macOS, the Help on Mode button cannot open the HTML file due to a restriction. Device: Macbook Pro M1 maxOS Sonoma V 14.3.1 
In the task line, use 'Prove', select 'Polynomials' and if you have more then 5 variables, the variable x5 will be labeled as 'x5^2'. In the following lines, which are...
By design, JGEX cannot modify the description steps being saved in a .gex file. They are stored and cannot be changed at the moment. This is problematic if a different...
* Use Java standards: Capitalize file names, use standard package names: https://docs.oracle.com/javase/tutorial/java/package/namingpkgs.html, use camel case for variables and methods: https://www.javatpoint.com/camel-case-in-java. * Add Java documentation for public methods. * Remove unused...
Otherwise strange side effects can occur, e.g. in the visualized GDD trees.
There are some outdated entries that are specific to old functionality of JGEX (update the software). These should be updated.
It supports PNG files directly. Maybe it would be easier to embed the GDD graph with this new version (currently we use version 1.1.5).