OKlibrary  0.2.1.6
Homomorphisms.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 2.11.2011 (Swansea) */
00002 /* Copyright 2011, 2012 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00021 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Homomorphisms.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/tests/Homomorphisms.mac")$
00023 
00024 /* *****************
00025    * Basic notions *
00026    *****************
00027 */
00028 
00029 okltest_homomorphism_bydef_hg(homomorphism_bydef_hg);
00030 okltest_automorphism_bydef_hg(automorphism_bydef_hg);
00031 
00032 okltest_suphomomorphism_bydef_hg(suphomomorphism_bydef_hg);
00033 
00034 okltest_transport_hg(transport_hg);
00035 
00036 /* **************************
00037    * Special transport-maps *
00038    **************************
00039 */
00040 
00041 okltest_colouring_blocks(colouring_blocks);
00042 
00043 okltest_random_colouring(random_colouring);
00044 
00045 okltest_random_projection_hg(random_projection_hg);
00046 okltest_random_projection_min_hg(random_projection_min_hg);
00047 
00048 okltest_modulo_colouring(modulo_colouring);
00049 okltest_modulo_projection_hg(modulo_projection_hg);
00050 
00051 okltest_mirrorfold(mirrorfold);
00052 okltest_mirrorexpand(mirrorexpand);
00053 
00054 /* ***********************************
00055    * Translations to non-boolean SAT *
00056    ***********************************
00057 */
00058 
00059 okltest_hyphom_dirneg_ohg2nbfcsud(hyphom_dirneg_ohg2nbfcsud);
00060