------ kan ver 1.0 ------------------------------------------- Sean Carmody Craig Reilly Bob Walters 16th May 1991 -------------------------------------------------------------- An implementation of the algorithm developed in 1990 by Carmody & Walters to compute (finite) left Kan extensions is now operational (programmed by Reilly and Carmody). It is available by anonymous ftp from Sydney University: ftp maths.su.oz.au (NOTE "maths" not "math") There are also some sample input files as well as a file called KAN.info which gives further details of the program and one called README which describes the sample input files. If you experiment with the program, we would be very interested to hear any comments or suggestions (especially with regards any bugs which you -- hopefully won't -- find). Sean Carmody. (email: carmody_s@maths.su.oz.au) --------------------------------------------------------------