OKlibrary  0.2.1.6
Symmetries.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 30.4.2008 (Guangzhou) */
00002 /* Copyright 2008 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/Satisfiability/Lisp/Symmetries/Symmetries.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Symmetries/tests/Symmetries.mac")$
00023 
00024 /* ****************************************
00025    * Isomorphism testing via backtracking *
00026    ****************************************
00027 */
00028 
00029 okltest_is_isomorphic_fcs(is_isomorphic_btr_fcs);
00030 
00031 /* **********************************************
00032    * Isomorphism testing via graph isomorphisms *
00033    **********************************************
00034 */
00035 
00036 okltest_is_isomorphic_fcs(is_isomorphic_fcs);
00037 
00038 /* **********************************************
00039    * Isomorphism testing via matrix isomorphism *
00040    **********************************************
00041 */
00042 
00043 okltest_is_varisomorphic_fcs_p(is_varisomorphic_com_fcs_p);
00044 
00045 /* **********************************
00046    * Isomorphism classes management *
00047    **********************************
00048 */
00049 
00050 okltest_representatives_fcs(representatives_fcs);
00051 
00052 okltest_manage_repository_isomorphism_types(manage_repository_isomorphism_types);
00053 
00054 /* *******************************
00055    * Analysing hash-repositories *
00056    *******************************
00057 */
00058 
00059 okltest_analyse_isorepo_def(analyse_isorepo_def);
00060 okltest_analyse_isorepo_set(analyse_isorepo_set);
00061 okltest_analyse_isorepo_defset(okltest_analyse_isorepo_defset_reference_implementation);
00062 okltest_analyse_isorepo_defset(analyse_isorepo_defset);
00063