OKlibrary  0.2.1.6
SchurProblems.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 19.4.2009 (Swansea) */
00002 /* Copyright 2009, 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/Satisfiability/Lisp/Generators/RamseyTheory/SchurProblems.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/RamseyTheory/tests/SchurProblems.mac")$
00023 
00024 /* *****************
00025    * Schur triples *
00026    *****************
00027 */
00028 
00029 okltest_schur_nbfcsud(schur_nbfcsud);
00030 
00031 okltest_nvar_schur_nbfcsud(nvar_schur_nbfcsud);
00032 okltest_nval_schur_nbfcsud(nval_schur_nbfcsud);
00033 okltest_ncl_list_schur_nbfcsud(ncl_list_schur_nbfcsud);
00034 okltest_ncl_schur_nbfcsud(ncl_schur_nbfcsud);
00035 
00036 okltest_nvar_pd_schur_nbfcsud(nvar_pd_schur_nbfcsud);
00037 okltest_nvar_pd_wschur_nbfcsud(nvar_pd_wschur_nbfcsud);
00038 
00039 /* *********************
00040    * Symmetry breaking *
00041    *********************
00042 */
00043 
00044 okltest_schur_sb_nbfcsud(schur_sb_nbfcsud);
00045 
00046 /* ****************************
00047    * Heuristical restrictions *
00048    ****************************
00049 */
00050 
00051 okltest_schur_fullsb_nbcl(schur_fullsb_nbcl);
00052 okltest_wschur_fullsb_nbcl(wschur_fullsb_nbcl);
00053 
00054 okltest_schur_rm_nbfclud(schur_rm_nbfclud);
00055 
00056 /* ****************************************
00057    * Translation into boolean clause-sets *
00058    ****************************************
00059 */
00060 okltest_schur_aloamo_fcl(schur_aloamo_fcl);
00061 
00062 okltest_nvar_schur_aloamo_fcl(nvar_schur_aloamo_fcl);
00063 okltest_nvar_schur_aloamo_fcs(nvar_schur_aloamo_fcs);
00064 okltest_ncl_list_schur_aloamo_fcl(ncl_list_schur_aloamo_fcl);
00065 okltest_ncl_list_schur_aloamo_fcs(ncl_list_schur_aloamo_fcs);
00066 
00067 /* *******************
00068    * Standardisation *
00069    *******************
00070 */
00071 
00072 okltest_schur_aloamo_stdfcl(schur_aloamo_stdfcl);
00073 
00074 okltest_pd_schur_aloamo_stdfcl(pd_schur_aloamo_stdfcl);
00075 
00076 okltest_mschur_aloamo_stdfcl(mschur_aloamo_stdfcl);
00077 okltest_wmschur_aloamo_stdfcl(wmschur_aloamo_stdfcl);
00078 okltest_symmetrictriples_aloamo_stdfcl(symmetrictriples_aloamo_stdfcl);
00079 okltest_wsymmetrictriples_aloamo_stdfcl(wsymmetrictriples_aloamo_stdfcl);
00080 
00081 okltest_pd_schur_fullsb_aloamo_stdfcl(pd_schur_fullsb_aloamo_stdfcl);
00082 okltest_pd_wschur_fullsb_aloamo_stdfcl(pd_wschur_fullsb_aloamo_stdfcl);
00083 
00084 okltest_schur_rm_aloamo_stdfcl(schur_rm_aloamo_stdfcl);
00085 okltest_pd_schur_rm_aloamo_stdfcl(pd_schur_rm_aloamo_stdfcl);
00086 okltest_pd_schur_fullsb_rm_aloamo_stdfcl(pd_schur_fullsb_rm_aloamo_stdfcl);
00087 
00088 okltest_schur_standnest_stdfcl(schur_standnest_stdfcl);
00089