von Gast » Fr 16. Aug 2019, 17:50
Aber wenn es dir wirklich darum geht, DVI zu rendern, dann schau dir mal den Code von dvipng an. Das ist vergleichsweise schnell und kann für verschiedene Auflösungen verwendet werden. Wenn man auf den Quellen aufbaut, kann man sich sicher den Schritt der Umwandlung in PNG oder GIF sparen und so noch einmal Zeit rausholen.
Wenn es alles mögliche beherrschen soll, wird es dagegen mit schlank und schnell nicht viel werden. Dann braucht man eine PS-Interpreter und eine PDF-Engine und landet irgendwann bei einschlägigen Libs dafür, wie sie auch von okular, evince etc. verwendet werden.
Aber wenn es dir wirklich darum geht, DVI zu rendern, dann schau dir mal den Code von dvipng an. Das ist vergleichsweise schnell und kann für verschiedene Auflösungen verwendet werden. Wenn man auf den Quellen aufbaut, kann man sich sicher den Schritt der Umwandlung in PNG oder GIF sparen und so noch einmal Zeit rausholen.
Wenn es alles mögliche beherrschen soll, wird es dagegen mit schlank und schnell nicht viel werden. Dann braucht man eine PS-Interpreter und eine PDF-Engine und landet irgendwann bei einschlägigen Libs dafür, wie sie auch von okular, evince etc. verwendet werden.