Definitely under construction ...

• Lists of small relation and sequential algebras
• ralist.g, the GAP program used to produce the above lists
• An msdos program that can be used to prove theorems about relation algebras (for a brief description, look at the file help.ra)

This page produced by Peter Jipsen

Pages will be updated and added from time to time. If you have any corrections, improvements, additions please don't hesitate to email me at pjipsen@maths.uct.ac.za.

Last changed 28-Jan-98.