GeoGebra

Résumé

GeoGebra étant utilisée par tous les enseignants du secondaire, il faut stratégiquement que nous développions un lien avec TeXmacs.

1.Comment est fait un fichier GeoGebra

Ce sont des .xml zippés et l'on remplace l'extension .zip par .ggb.

Voici un exemple de figure :

Figure 1.

En fichier annexe le code source xml de cette figure.

La taille est faible. Le fichier .ggb de cette figure pèse 8 Ko (taille générique des fichiers <8Ko sous mac os X).

Voici son code source.

2.Quelle est la position de la GeoGebra team

Message de Markus le gérant de GeoGebra :

I think that an integration of GeoGebra into Texmacs would be very nice! Of course, our strength are dynamic figures and we only have a third party eps export library. However, I suggest to you start playing with this and keep in touch with our lead developer.

3.Quelles sont les pistes possibles

The first pistes turn around inserting a dead picture of the dynamic GeoGebra figure. For this we use the GeoGebra « export to picture » feature : the ggbeps export has some bugs (see here). It seems that the eps export does not have a long future… The ggbpng export is perfect. The ggbpdf is to verify but i can not manage to insert any pdf in TeXmacs.

What do you think ? Could be a right format to insert pictures into TeXmacs ?

Is the ggb eps or ggbpng export via the command line planed ? Yes but for when ?

Now, there are at least 3 possibilities.

first possibility, currently available :

second possiblity with ggbeps export command line :

third possibility by creating an environment around ggb

3.1.Pour info

GeoGebra dispose d'un module de calcul formel.

Forum GeoGebra, août 2011 :

GeoGebra a changé son CAS. Ce n'est plus MathsPiper, ni Maxima. C'est maintenant MPReduce (implémenté en LISP).

4.Aides nécessaires