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 :

• in gg, export to eps somewhere on the harddrive
• in texmacs, link or insert image, look in the path to find the eps image
• the result : an image that will not evolve if you modify the ggb file
• maybe modify this first possibility by replacing eps with png ?

second possiblity with ggbeps export command line :

• Create a new menu in Texmacs "insert a GeoGebra picture".
• When the user chooses this menu he just has to find (one time), in the harddrive, the path to the ggb files.
• Advantage : there could be in texmacs an "actualize page" and, at the clic on this option, texmacs would retake the ggb file and reconvert it to eps and reinsert or link it in the texmacs page.
• This lets opened the possiblity to drive this ggb file from javascript if the user wants so.
• Summary : menu in texmacs insertion of graphic ggb choice of the gg file command line export to image insertion of image in TeXmacs document.

third possibility by creating an environment around ggb

• Create a java "environment" (sorry for the unprecize word) that would be droven by texmacs and would drive geogebra to do this :
• in texmacs there would be a button "insert gg figure"
• on the clic this button would open a new ggb window ; in this new window you could either build a new gg picture or drag and drop an existing ggb file to open it "in" this window
• at the close of this window there would be a "return" where texmacs would (tell ggb to) record simultaneously a toto.ggb and a toto.eps file somewhere hidden and insert the eps picture in the texmacs document [replace eps with png ?]
• we can also imagine a system to double-clic on the figure in the texmacs page and open a window with this figure in order to modify it.
• Summary : menu intégration of ggb graphic opening of ggb work in ggb (or open existing file) close geogebra save in a precise file choosen by the developper texmacs detects the close of ggb and runs the comand that creates the graphic from the ggb file then the picture is inserted in the texmacs document and and the ggb file source code too (in invisible mode ?) when double clic on ggb picture in texmacs, the ggb file integrated in the texmacs document is save as a ggb file in a temp folder and ggb is launched and that's it.

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

• un connaisseur java ou GeoGebra pour aider à comprendre si l'export ggbpng via ligne de commande peut être accéléré dans le calendrier, et si la solution 2 ou 3 sont faisables vu les sources de GeoGebra.