Skip to content

GeoGebra Discovery 2026May27

Latest
Latest

Choose a tag to compare

View all tags
@kovzol kovzol released this 27 May 14:44
· 16 commits to master since this release
v5.0.641.0-2026May27
328db1a

Summary

This release of GeoGebra Discovery is a major technical update with the following features:

  • Improved Maple export of the CAS View (contributed by Moshe Hanau)
  • The Tarski computer algebra system has been updated to version 1.42 (formerly, version 1.37 was used) – thanks to Chris Brown for his work and hints
    • Now some issues have been fixed when exiting GeoGebra (formerly, some random crashes were possible because of an incomplete disconnecting process)
    • GeoGebra Discovery does not show unnecessary log messages on command line when issuing --silent, this improves --console and --texmacs modes
  • The Giac computer algebra system has been updated to its recent version – thanks to Bernard Parisse for his improvements
    • GeoGebra Discovery does not show unnecessary log messages on command line when issuing --silent, this improves --console and --texmacs modes
  • The console mode has been improved by allowing multiple definitions of the same input line in the CAS View (see example below)
  • Some other minor bug fixes

As usual, GeoGebra Discovery is based on the official GeoGebra version 5.0.641.0. It contains several extensions that are communicated via its feature matrix.

Available platforms

Example on using the console mode

The option --console allows the user to type GeoGebra commands in the terminal where the program has been started. It is recommended to use this option together with --silent to mute debug messages.

The given GeoGebra commands with this new --console option are forwarded to GeoGebra Discovery via its Input Bar (that is, via the Algebra View). The entered commands are displayed with a leading > prompt. Then, each command is interpreted. The interpretation is shown after a leading >> prompt. The evaluated output (which is shown in the Algebra Window in GeoGebra Discovery) is displayed after a leading << prompt. Example on Linux:

$ geogebra-discovery --silent --console
GeoGebra Discovery 2026May27
GeoGebra 5.0.641.0 04 May 2021 Java 11.0.30-64bit

> (1,2)
>> A = (1, 2)
<< (1, 2)
> (3,4)
>> B = (3, 4)
<< (3, 4)
> Line(A,B)
>> f: Line(A, B)
<< f: -x + y = 1
> C
Parse error
> CTRL-D
Console session ended, exiting...

Here, if an input is incorrect, the returned text is Parse error. CTRL-D (or F6 on Windows) is a shortcut to end communication and exit GeoGebra Discovery as well. (In the meantime, the GeoGebra window is available for displaying the graphical result. It is not recommended to enter commands in the graphical interface if the console mode is used. In fact, the console mode assumes that the user wants to send commands to GeoGebra only via the console.)

It is possible to access the CAS View by using the following technique:

> $1=Solve({x^2=5},x)
>> $1 = Solve({x² = 5},x)
<< {x = -sqrt(5), x = sqrt(5)}
> $1=Solve({x^2=6},x)
>> $1 = Solve({x² = 6},x)
<< {x = -sqrt(6), x = sqrt(6)}

Other cells of the CAS View can be accessed via $2, $3, and so on.

In console mode, it is possible to send a text file to GeoGebra Discovery with the usual GeoGebra commands. That is, the user may create a file input.txt with the commands (1,2), (3,4), Line(A,B), separated by a new-line character, and feed GeoGebra Discovery this way (on Linux):

$ geogebra-discovery --silent --console < input.txt

Redirecting the output to file is possible with

$ geogebra-discovery --silent --console < input.txt > output.txt

The application does not automatically exit after all inputs are processed. This may be addressed in a next version.

The graphical output can be saved by using the ExportImage command (which is available in GeoGebra for many years).

TeXmacs plugin

The command line option --texmacs allows GeoGebra Discovery to communicate data back to its caller, the TeXmacs text processor application. Normal users should not directly use this command line option. Instead, TeXmacs will use it via a specific plugin located in TeXmacs' plugins/geogebra-discovery/progs folder, having the filename init-geogebra-discovery.scm.

To use the plugin, first you need to install TeXmacs. Then, you have to create the plugins/geogebra-discovery/progs folder and create a file init-geogebra-discovery.scm in it.

Installation on Windows

On Windows, this folder should take place in the user's AppData/Roaming/TeXmacs folder (make sure that you change / to \, that is, the correct filename is something like C:\Users\David\AppData\Roaming\TeXmacs\plugins\geogebra-discovery\progs\init-geogebra-discovery.scm). Its content should be created similarly to this example:

(plugin-configure geogebra-discovery
  (:winpath "GeoGebra-Discovery*", ".")
  (:launch "GeoGebra-Discovery.bat --texmacs --silent")
  (:session "GeoGebra Discovery"))

Before using it, you need to copy the GeoGebra-Discovery-5.0.641.0-2026May27 folder (that is, GeoGebra Discovery's unzipped installation folder) to C:\ (make sure you have write permission). Then, TeXmacs usually detects the new plugin on a restart of the program. If not, you need to ask TeXmacs to reinitialize the plugins by selecting Tools > Update > Plugins.

Installation on macOS

On macOS, the folder you need to search for is in the user's .TeXmacs folder (that is, the correct filename is something like /Users/David/.TeXmacs/plugins/geogebra-discovery/progs/init-geogebra-discovery.scm). Its content should be created similarly to this example:

(plugin-configure geogebra-discovery
  (:macpath "GeoGebra-Discovery*", ".")
  (:require (url-exists-in-path? "GeoGebra-Discovery"))
  (:launch "GeoGebra-Discovery --texmacs --silent")
  (:session "GeoGebra Discovery"))

Before using it, you need to copy the GeoGebra-Discovery-5.0.641.0-2026May27 folder (that is, GeoGebra Discovery's unzipped installation folder) to /Applications. Then, TeXmacs usually detects the new plugin on a restart of the program. If not, you need to ask TeXmacs to reinitialize the plugins by selecting Tools > Update > Plugins.

Installation on Linux

On Linux, the folder $HOME/plugins/geogebra-discovery/progs needs to contain the file init-geogebra-discovery.scm with the following content:

(plugin-configure geogebra-discovery
  (:require (url-exists-in-path? "geogebra-discovery"))
  (:launch "geogebra-discovery --texmacs --silent")
  (:session "GeoGebra Discovery"))

Alternatively, if you use the Flatpak version, the following code will help:

(plugin-configure geogebra-discovery
  (:require (url-exists-in-path? "flatpak"))
  (:launch "flatpak run io.github.kovzol.geogebra-discovery --texmacs --silent")
  (:session "GeoGebra Discovery"))

  1. Outsourced computations can be done via Singular for algebraic problems, and via Mathematica, Maple (in the subsystems RegularChains or SyNRAC) or Reduce (in the subsytem RedLog) for real geometry problems. The computer algebra systems Giac and Tarski (the latter includes QEPCAD B) are embedded in GeoGebra Discovery. ↩

Assets 9
Loading