search

homotopy-io / homotopy-webclient

https://homotopy.io
26 stars 5 forks source link

TikZ export #12

Open jamievicary opened 5 years ago

jamievicary commented 5 years ago

Easy to do, let's not overlook this.

jamievicary commented 5 years ago

Lukas, how do you think this would be most easily done. An SVG-to-TikZ conversion script? Or a new rendering engine? The latter would probably produce better TikZ and be easy enough, so I vote for that.

zrho commented 5 years ago

I would also vote for a dedicated TikZ renderer. The layout algorithm is renderer agnostic, so it would not be too hard to integrate.

On Fri, 7 Sep 2018, 16:42 jamievicary notifications@github.com wrote:

Lukas, how do you think this would be most easily done. An SVG-to-TikZ conversion script? Or a new rendering engine? The latter would probably produce better TikZ and be easy enough, so I vote for that.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/jamievicary/homotopy.io/issues/12#issuecomment-419480608, or mute the thread https://github.com/notifications/unsubscribe-auth/AAV1Je41yeS-U9_pm6lk6PB1QooxSp77ks5uYpP-gaJpZM4WTU1N .

mroman42 commented 4 years ago

Would it be possible to get homotopy-io constructions exported into some readable format? This way, users could try to implement a way of translating the data of the constructions into TikZ or other formats.