Skip to content

Releases: kovzol/geogebra

GeoGebra Discovery 2024Nov05

05 Nov 14:09
@kovzol kovzol
v5.0.641.0-2024Nov05
3fc602f
Compare
Choose a tag to compare
GeoGebra Discovery 2024Nov05 Latest
Latest

Summary

This is a snapshot release of GeoGebra Discovery.

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

What is new?

  • The CAS View export to LaTeX has been improved: It exports special characters like {, } and _ correctly.
  • Translations have been updated to GeoGebra's currently used translation items.
  • Envelope computations are more deterministic (variable numbering restarts on a new computation).
  • Improved explanations in the ShowProof command.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Oct14

14 Oct 10:43
@kovzol kovzol
v5.0.641.0-2024Oct14
a288314
Compare
Choose a tag to compare
GeoGebra Discovery 2024Oct14

Summary

This is a snapshot release of GeoGebra Discovery.

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

What is new?

  • The CAS View can be exported to LaTeX now. This option is available at File > Export... > Export CAS View to LaTeX in the desktop version and in File > Download as... > Export CAS View to LaTeX in the web version.

Known bugs

  • Exports in the web version may have problems with accented characters. Most of such issues can be worked around by using the recode utility for the moment.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Sep19

19 Sep 07:51
@kovzol kovzol
v5.0.641.0-2024Sep19
b352164
Compare
Choose a tag to compare
GeoGebra Discovery 2024Sep19

Summary

This is a snapshot release of GeoGebra Discovery.

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

What is new?

  • The ShowProof command now accepts a second parameter. If it is true, the construction in the Graphics View will be redrawn with algebraic explanations. In former versions, this was by default like that. From now on, the user needs to explicitly ask for this feature.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Sep18

18 Sep 13:02
@kovzol kovzol
v5.0.641.0-2024Sep18
20d90f2
Compare
Choose a tag to compare
GeoGebra Discovery 2024Sep18

Summary

This is a snapshot release of GeoGebra Discovery.

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

What is new?

  • A minor but very important fix in the computer algebra subsystem. It turned out that GeoGebra Discovery with some newer Java versions did not work properly. This fix should work around the issue.
  • An unidentified problem with a simplified release process has been worked around. This may affect Windows and Mac users.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Sep05

06 Sep 13:07
@kovzol kovzol
v5.0.641.0-2024Sep05
5028069
Compare
Choose a tag to compare
GeoGebra Discovery 2024Sep05

Summary

This is a snapshot release of GeoGebra Discovery.

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

What is new?

  • Minor but important fixes in the prover subsystem, concerning stability.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Jun29

29 Jun 06:51
@kovzol kovzol
v5.0.641.0-2024Jun29
66d9f12
Compare
Choose a tag to compare
GeoGebra Discovery 2024Jun29

Summary

This is a stable release of GeoGebra Discovery.

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

What is new?

  • Minor fixes in the prover subsystem.
  • Several minor improvements in the Hungarian translation (including grammar).
  • Filenames for exports (including CAS/HTML, CAS/Mathematica and others) can be selected and changed by the user.

The changes are based on valuable feedback given by Soma Bartha and András Kerekes.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024May18

18 May 15:27
@kovzol kovzol
v5.0.641.0-2024May18
a79118e
Compare
Choose a tag to compare
GeoGebra Discovery 2024May18

Summary

This is a stable release of GeoGebra Discovery.

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

What is new?

  • Application name is shown correctly on Mac ("GeoGebra Discovery" instead of "GeoGebra3D"). Window title is changed on other platforms, too.
  • Additional improvements in the English, German, Hungarian and Turkish explanations in the ShowProof command. Thanks to Selen Galiç.

Known bugs (they were already present in former versions too)

  • The web version of the ShowProof command may crash in some cases on computational difficulties.
  • Some steps of the proofs in the ShowProof command may be explained inaccurately or just partly.
  • On clearing the CAS View, some rows may not be deleted.
  • If Giac crashes, the user is not informed about this. There is no attempt to restart Giac, either.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024May06

06 May 09:43
@kovzol kovzol
v5.0.641.0-2024May06
9ab4bcc
Compare
Choose a tag to compare
GeoGebra Discovery 2024May06

Summary

This is a stable release of GeoGebra Discovery.

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

What is new?

  • Fixes in the Italian and Turkish translations in the output of the ShowProof command. Thanks to Simona Riva and Selen Galiç.
  • The LocusEquation command did not work properly in some previous versions. This is fixed now.
  • There was a re-initialization issue in the prover subsystem that resulted in unreliable computations in some cases if an intersection of circles and other objects appeared.
  • The CAS View HTML export in the web version displayed some accented characters incorrectly. Now this is fixed.
  • The background color in the CAS View HTML export was not set. Now it is changed to an appropriate gray color.
  • Handling of some border cases in the prover system was incomplete, some variables were not defined properly in the real geometry subsystem. This is fixed now.
  • Equality of angles in a thesis is handled via essential conditions. See an example below.

Known bugs (they were already present in former versions too)

  • The web version of the ShowProof command may crash in some cases on computational difficulties.
  • Some steps of the proofs in the ShowProof command may be explained inaccurately or just partly.
  • On clearing the CAS View, some rows may not be deleted.

Available platforms

Example

Setup for the inscribed angle theorem

The inscribed angle theorem can be properly stated and proven now. Create the circumcircle c of triangle ABC and put a point D on c such that the angles ABC and ABD are equal. When selecting the Relation tool and comparing the angles, we learn the following:

Symbolic check of the inscribed angle theorem

Note that in algebraic geometry it is impossible to check the equality of two angles in general, only a weakened variant of the equality can be checked. This has been worked around with GeoGebra Discovery's latest improvements now.

  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 10
Loading

GeoGebra Discovery 2024Apr23

23 Apr 19:14
@kovzol kovzol
v5.0.641.0-2024Apr23
20751a0
Compare
Choose a tag to compare
GeoGebra Discovery 2024Apr23

Summary

This is a developer release of GeoGebra Discovery which includes some technological preview on the current new features. Soon updates are expected to come that should fix some recent issues.

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

What is new?

  • The ShowProof command supports the following new languages: Arabic, Hebrew, Italian and Turkish. Some translation texts may be incorrect, we are working on the improvements. Credits: Houssam Kasti, Noah Dana-Picard, Simona Riva and Selen Galiç. (In addition, English, French, German, Hungarian and Spanish are already supported.)
  • The ShowProof command shows a progress bar on the top of the window. If the final output (the combination of the polynomials) is too long (that is, longer than 5000 characters), then the preprocessing stops and a shortened output is printed to stay responsive, and the remaining calculation is left to the user. Further processing is possible by exporting the CAS View as Maple/Mathematica/Giac text, or to HTML.
  • The ShowProof command displays the algebraic equations also in the Graphics View. Formerly, this feature was accessible only via the command line option captionalgebra in the desktop version. Now it is automatically switched on for the ShowProof command.
  • Symbolic variables are internally numbered from 1 on each start of the ShowProof command. (The same behavior is true for the Prove and ProveDetails commands, but not for the LocusEquation and Envelope commands.)
  • To make it easier to start with a new study with another ShowProof command, it is possible to clear the CAS View now, by selecting "Clear CAS View" in the Edit menu.
  • Text that highlights specialization in ShowProof is shown in orange now. Semi-free definitions are shown in green. Auxiliary definitions are shown in gray.
  • Some minor bugs have been addressed in the localization subsystem (for ShowProof).

Known bugs

  • The web version of the ShowProof command may crash in some cases on computational difficulties.
  • Some steps of the proofs in the ShowProof command may be explained inaccurately or just partly.
  • On clearing the CAS View, some rows may not be deleted.

Available platforms

  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 8
Loading

GeoGebra Discovery 2024Apr17

17 Apr 06:27
@kovzol kovzol
v5.0.641.0-2024Apr17
682a3b4
Compare
Choose a tag to compare
GeoGebra Discovery 2024Apr17

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 via its feature matrix.

What is new?

  • The More button in the Relation command was not working in some former versions. This has been fixed.

Available platforms

  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 8
Loading