In a fit of nervousness I baked all stuff I have so far into the main TeX base. In fact, some details and clarifications aside, I thiiink the beast is feature-complete (in the sense that every feature is declared), but who knows. The thing with the duals is still in there at the moment and I am still unsure whether to leave it in there. After all, I just was shown a way to do it the correct way. Naoyoroshi...
On the other hand, I am a bit queasy about the lack of formalism in graph theory. There is to my knowledge no standard-book about infinite graphs, so I would have to develop the theory on Serre's notation. Even if I knew how to do it, it would still take weeks, if not months to do.
The reason I am devoting so much attention to this unlucky part of the thesis is that there is after all some sort of use to it - at least there is a use to having both graphs: Formulating Kulkarni's theory of Farey-Symbols. But what I need for that I still don't know. Some Jordan Curve Theorem would be great, but is difficult to come by for graphs (and I doubt its existence for multigraphs).
Well, I'm to 88 pages now and with details and clarifications I just might reach three digits. Kewl.
Keine Kommentare:
Kommentar veröffentlichen