michiexile | Rewrites, rewrites, rewrites

I'm about to start the third or fourth day - in a row - spent with trying to explain a homology theory for abstract simplicial complexes. There is an inherent orientation present in most sane homology theories; an orientation not present in abstract simplicial complexes as such.

I spent the better part of yesterday failing to prove that it doesn't matter in what way you introduce this orientation, since you'll get isomorphic complexes anyway. I ended up proving it, with some help and encouragement from my advisor, and writing it up while

rockywuff,

davidwithaknife,

fluffboll and

kandra where more or less waiting for me to actually get out of my chair and join them.

Now, as I sit down again, I have ideas to make the whole presentation slightly more .. decent. There I go again. =)

Edit/Update:
Well... Sort of. I'm halfway through rewriting when my advisor comes in through the door and thrusts a problem on calculating homology of certain simplicial complexes occuring in his Ramsey theory research on me. So I spend the day calculating the homology of the flag complexes of independent vertex subsets of two specific graphs instead.