Tons of work, should have committed sooner.  I have started using numeric prelude (which rox), wrote a bunch of matrix stuff, finished coding the minimal resolution computer (agrees with bruner on connective k theory of sphere), written a pure algorithm for subspace avoidance (not tested at all), and a few other pure mathy things.  I hope to get steenrod squares computed soon.  Also a nice box for ext would be neato.  Finally, i want to make this work for group cohomology, but the resolution computer only works over fields (bugger).  I want to compute Ext_R(k,k)*>Ext_R(M,k) too.  Also want to find a nice way of deisplaying it.  Should add a todo file.  So much to do!  Going to show Gunnar Carlsson tommorrow, so it best work.