|
|
This model builds on the fdl4Beynon2002 model, fixes some of the problems that were found in the model and makes some improvements to the display of the model that make it easier to use and the visualisation easier to comprehend. This model contains three components, the free distributive lattice FDL4, the lattice of subsets of {1,2,3,4} and the symmetric group S4. The model has at least two different purposes: as a concrete artefact from which to learn about lattice theory; as an experimental environment in which mathematical research into relationships between abstract mathematical objects can be undertaken (by adding to the model and exploring connections).
| mbf4Beynon2003 is available locally within DCS at /dcs/emp/empublic/projects/mbf4Beynon2003 |
| Download mbf4Beynon2003.tar.gz Uncompressed, mbf4Beynon2003 is 531.4 Kbytes (in 54 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
Index.htm |
4212 | 11:29 AM Jan 12 2004 | 09:53 AM Apr 02 2007 |
README.xml |
1540 | 02:10 PM Jan 08 2004 | 09:53 AM Apr 02 2007 |
Run.e |
776 | 03:36 PM Jan 08 2004 | 09:53 AM Apr 02 2007 |
UsingFDL4_README.txt |
295 | 05:03 PM Jan 08 2004 | 09:53 AM Apr 02 2007 |
screenshot.gif |
119283 | 04:54 PM Jan 08 2004 | 09:53 AM Apr 02 2007 |
userguide.txt |
2658 | 10:42 AM May 23 2001 | 09:53 AM Apr 02 2007 |
S4/ |
4096 | 04:30 PM Jan 08 2004 | 09:58 AM Apr 02 2007 |
fdl4Beynon2002/ |
4096 | 03:37 PM Jan 08 2004 | 09:58 AM Apr 02 2007 |
join_S4_FDL4/ |
4096 | 03:31 PM Jan 08 2004 | 09:58 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
