James Cranch

(maybe you want to visit my front page...)

Some Useful Things

Formal Group Law calculations

I have done some calculations of the formal groups laws for Morava K-theory. Enjoy.

Axiom major mode for XEmacs

This is a major mode for XEmacs, which does syntactic highlighting for code written in the computer algebra system Axiom.

Since the syntax of Axiom is complex, it is a bit fascist about layout. However, if you write your .spad files in roughly the same way as the standard library, it should be OK.

To use it:

1. If you don't have a directory named .xemacs in your home directory, create one.
2. Put this file, axiom.el, into your .xemacs directory.
3. If you don't have a file named custom.el in your .xemacs directory, create one.
4. Add lines like the following to your custom.el file:

   ; Load the Axiom major mode at startup
   (require 'axiom-mode "~/.xemacs/axiom.el")

Please tell me about any bugs or other infelicities you may find.

Part III essay: Koszul duality

This, in PDF format, was my essay for Part III in Cambridge. It mostly follows the paper of Ginzburg and Kapranov, but is slower-paced and does bits of Priddy's original paper.

Sparse Ramsey Theory notes

Imre Leader gave a graduate course on Sparse Ramsey Theory in the Summer term of 2003. I devoted some time to typing up the notes; here they are in both DVI (92kb) and PDF (260kb).

TeX Notes

A few years ago I wrote some notes for beginners to Plain TeX, in order to better understand it myself. They are fairly compressed. Here they are, in case anybody thinks them useful:

1. Elementary Plain TeX (dvi pdf)
2. Elementary Plain TeX: Mathematics (dvi pdf)