I'd like to convert geometric figures between Mathematica and GeoGebra.
Does anyone know how to do that?
$\begingroup$
$\endgroup$
1
-
1$\begingroup$ have you tried via .eps? $\endgroup$– KubaCommented Oct 22, 2017 at 7:09
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
6
Yes, GeoGebra files are in zipped XML so you can replicate GeoGebra drawings in Mathematica - concurrent with every GeoGebra Save.
I wrote a reader of GeoGebra XML and used it for exploring geometry. All symbols in GG can be used in Mathematica except those with "'" or "_" , the latter gets Subscript[].
Symbolic equations with GG symbols can be written in Mathematica. To get the evaluation use the function val[].
{xx, Sqrt[a b - ( a b c^2)/(a + b)^2]} // val
{9.22407, 9.22407}
Or if you don't bother to read values
AB == GD (1 + b/xx) + FD (1 + a/xx) // val
True
I've only tried a few primitive drawings since I was more interested in applying Mathematica computation to geometry {drawings}, but all the data is in the XML.
-
11$\begingroup$ Where is the package? Can you show step by step conversion from GG to MMA? $\endgroup$– KubaCommented Jun 19, 2019 at 8:01
-
4$\begingroup$ "I wrote a reader of GeoGebra XML and used it for exploring geometry." Sounds like a non-trivial undertaking. Would you mind sharing? $\endgroup$– SzabolcsCommented Nov 17, 2019 at 5:06
-
$\begingroup$ @Douglas Kubler, as the others have stated, that seems like a complex undertaking and a tool which would be useful to many. Would you please consider sharing the code with us all? source? or do you have that as a GitHub or SourceForge project already? Thank you in advance for your consideration of this request. $\endgroup$ Commented Oct 9, 2023 at 16:56
-
1$\begingroup$ @EricMarceau I think I misunderstood. I never interfaces GeoGebra with Mathematica. I would also like to see the GeoGebra importer Douglas wrote, even if imperfect, as I have been using GeoGebra regularly for the last couple of months. $\endgroup$– SzabolcsCommented Oct 9, 2023 at 18:03
-
$\begingroup$ Sorry, @Szabolcs, I misunderstood. $\endgroup$ Commented Oct 9, 2023 at 18:06