Releases: kovzol/geogebra
GeoGebra Discovery 2022Sep13
Summary
This is an experimental 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
- Fix a minor bug in the prover subsystem: disallow putting point on the perimeter of a polygon
- Improve discovery by detection and proper skipping of certain perpendicular lines, using more colors
- Major improvements for the stability of stepwise discovery
Known bugs
- The 32-bit Windows version and the Raspberry Pi OS version crash on timeout in the Tarski subsystem. (The default timeout is 5 seconds. It can be increased by setting the CAS Timeout and save the new settings as default, or/and by using the command line option
--prover=timeout:60, for example.)
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 22.04 64 bit (an existing Java installation is required, version 8 or above). Note that this version may be incompatible with older Linux versions.
- Web version (tested in Chrome 103.0.5060.114)
- 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.
GeoGebra Discovery 2022Aug03
Summary
This is an experimental 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
- The Tarski subsystem is much more reliable on Windows 64-bit now.
- We can avoid certain crashes when exiting from the Windows version. Now a related bug has been fixed in Tarski's code.
- The prover subsystem fully supports regular polygons when the number of sides is >= 9. Thanks to Keiichi Tsujimoto for the suggested algorithm.
- The Linux version seems more stable. (Tarski was compiled with a newer version of gcc that seems somewhat more stable.)
Known bugs
- The 32-bit Windows version and the Raspberry Pi OS version crash on timeout in the Tarski subsystem. (The default timeout is 5 seconds. It can be increased by setting the CAS Timeout and save the new settings as default, or/and by using the command line option
--prover=timeout:60, for example.)
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 22.04 64 bit (an existing Java installation is required, version 8 or above). Note that this version may be incompatible with older Linux versions.
- Web version (tested in Chrome 103.0.5060.114)
- 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.
GeoGebra Discovery 2022Jul29
Summary
This is an experimental 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
- The Tarski subsystem is much more reliable on Windows 64-bit now. We use a non-optimized version of Tarski for this platform.
- Giac is updated to its newest version. This includes a fix for a tiny bug in the elimination algorithm. Thanks to Bernard Parisse for the fix.
- The locus equation subsystem has been improved to handle conics somewhat better. This implies better (more accurate) and faster computation of loci and envelopes related to tangents of conics.
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 103.0.5060.114)
- 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.
GeoGebra Discovery 2022Jul20
Summary
This is an experimental 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
- Stepwise discovery is more stable than before. (There are still issues, but definitely it is worth a try now.) Note that this feature is not available in the web version yet.
- The Tarski subsystem is much more reliable on Windows now. Thanks to Chris Brown who wrote a substantial fix for Windows. (There are still issues, but the current version is definitely much better than before.)
- Again, a bundle for Raspberry Pi OS (based on Debian 11 Bullseye) is available. The realgeom system is, however, not bundled. (If you want to use it, especially with Mathematica, you need to download the source code of GeoGebra Discovery, compile it, and call the
run5script. That version uses the newest version of Mathematica that provides a direct MathLink connection for Wolframscript. This speeds up computations a bit.)
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 103.0.5060.114)
- 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.
GeoGebra Discovery 2022Jul18
Summary
This is an experimental 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
- Improvements in the logic subsystem: Improved communication among Tarski, GeoGebra and Giac. As a result, the following inputs in the CAS View are shown properly now:
- x!=0
- RealQuantifierElimination(∃x x^4+a x^3+b x^2+c x+d=0)
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 103.0.5060.114)
As always, you can also try GeoGebra Discovery's latest version online.
GeoGebra Discovery 2022Jul11
Summary
This is an experimental 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
- Tarski is updated to its newest version 2022Jul09. On Linux systems this ensures better stability and substantial speedup. Older Mac systems should be supported with this version.
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 103.0.5060.114)
As always, you can also try GeoGebra Discovery's latest version online.
GeoGebra Discovery 2022Jul06
Summary
This is an experimental 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
- Quantified input formulas (in the CAS View) are automatically converted into prenex form now.
- Better timeout handling. The timeout setting for CAS is now saved and loaded properly from the preferences file.
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 102.0.5005.115)
As always, you can also try GeoGebra Discovery's latest version online.
GeoGebra Discovery 2022May26
Summary
This is an experimental 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
- A bug fix in the predicate logic code. Now a larger set of expressions related to absolute values can be used. For example, the input RealQuantifierElimination(∀a (∃ε ((∀δ ((δ>0) → (∃x ((x>0)∧(|x|<δ) ∧ (|1-a x|>=ε x)))))))) works now.
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 101.0.4951.64)
As always, you can also try GeoGebra Discovery's latest version online.
GeoGebra Discovery 2022May04
Summary
This is an experimental 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
- A bug fix in the predicate logic code. Now negation of a quantified expression should work properly.
- There was a save/load issue when concatenation of quantified expressions were present. This is fixed now.
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 100.0.4896.127)
As always, you can also try GeoGebra Discovery's latest version online.
GeoGebra Discovery 2022May03
Summary
This is an experimental 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
- A bug fix in the predicate logic code. Now grouping of implications can be done in arbitrary ways.
- Presentation of quantified formulas is improved and it corresponds better to the allowed syntax.
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 100.0.4896.127)
As always, you can also try GeoGebra Discovery's latest version online.