GeoGebra Discovery 2022Dec27

Summary

This is a stable release of GeoGebra Discovery, based on the official GeoGebra version 5.0.641.0.
It includes several extensions that are communicated on its website.

What is new in this release

• Bugfix: The stepwise discovery feature is temporarily switched off on file loading (commit).
• Bugfix: A larger set of quantified formulas in the CAS View are now supported (commit). This includes ∃x (∃y ((x+y=1) ∧ (x-y=2))) which was translated by Tarski to GeoGebra/Giac with an insufficient amount of parentheses and therefore it was handled incorrectly. (This bug was already reported with the non-working example (∃x x=0) || (∀x x=1), this has been solved with the current version.) Technically, this fix required the update of the Tarski subsystem, thus this version includes the latest snapshot of Tarski (2022Dec27).
• Bugfix: Circles with a fixed radius can be used in the Automated Reasoning Tools subsystem now. This includes sliders as well. As a result, several constructions (including linkages) that lead to locus equations can be simplified and speeded up. This issue has been well-known for many years (see TP-9) and now fixed for a large set of inputs.
• Bugfix: The LaTeX export of the Construction Protocol is improved: now indexed labels are handled better and steps without a toolbar icon are exported properly (commit).

Available platforms

• Windows 10 64-bit or 32-bit (they require an existing Java installation, version 8 or above, either 64-bit or 32-bit, respectively)
• Mac OS (with bundled JBR), help on installation
• Ubuntu 18.04 64 bit (an existing Java installation is required, version 8 or above).
• Web version (tested in Chrome 108.0.5359.124)
• Raspberry Pi OS (an existing Java installation is required, version 8 or above)

As always, you can also try GeoGebra Discovery's latest version online.