At last... LaTeX inside Dot inside LaTeX
Feb. 5th, 2004 09:07 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
compilerbitchI managed to get dot to draw a diagram where the boxes contained LaTeX formulae today:
A Haas diagram showing the lattice of values of my 15-value logic with respect to subset membership
The trick was to fire up LaTeX once for each bubble, with only the content of the bubble on the page (i.e. no headings/page numbers/etc.), then to use dvips -E to generate EPS with a tight bounding box. Getting dot to use these images was easy -- for each node, set the shape to epsf and specify the relevant EPS file. I then made dot export the whole diagram as an EPS, which allowed me to integrate it into a big LaTeX document. (As a slight aside, the whole document, diagrams and all is built by a single 500 line ML program).
I am such a geek. Someone slap me.
A Haas diagram showing the lattice of values of my 15-value logic with respect to subset membership
The trick was to fire up LaTeX once for each bubble, with only the content of the bubble on the page (i.e. no headings/page numbers/etc.), then to use dvips -E to generate EPS with a tight bounding box. Getting dot to use these images was easy -- for each node, set the shape to epsf and specify the relevant EPS file. I then made dot export the whole diagram as an EPS, which allowed me to integrate it into a big LaTeX document. (As a slight aside, the whole document, diagrams and all is built by a single 500 line ML program).
I am such a geek. Someone slap me.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Re:
Date: 2004-02-06 02:00 am (UTC)I'm planning to add a bunch of other operators that can't be defined directly in conventional logics, e.g. D-type flip flops, SR latches, C elements, etc. so I can have a go at deriving algebraic laws for manipulating circuits that contain them. I'm also planning on having a go at embedding these logics in a more sophisticated dense continuous time interval temporal logic for model checking purposes. It's fun so far...!