OKlibrary  0.2.1.6
DP-Reductions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 25.4.2008 (Guangzhou) */
00002 /* Copyright 2008, 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/Reductions/DP-Reductions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/DP-Reductions.mac")$
00023 
00024 /* *************************
00025    * Singular DP-reduction *
00026    *************************
00027 */
00028 
00029 okltest_sdp_reduction_cs(sdp_reduction_cs);
00030 okltest_onesdp_reduction_cs(onesdp_reduction_cs);
00031 okltest_nononesingulartuple_cs(nononesingulartuple_cs);
00032 
00033 okltest_sdp_set_cs_bydef(sdp_set_cs_bydef);
00034 
00035 okltest_singulartuple_degrees_cs(singulartuple_degrees_cs);
00036 okltest_singulartuple_csp(singulartuple_csp);
00037 okltest_onesingulartuple_csp(onesingulartuple_csp);
00038 okltest_nononesingulartuple_csp(nononesingulartuple_csp);
00039 okltest_totally_singulartuple_csp_bydef(totally_singulartuple_csp_bydef);
00040 
00041 okltest_sdpss_cs_bydef(sdpss_cs_bydef);
00042 
00043 okltest_onesdpss_cs_bydef(onesdpss_cs_bydef);
00044 
00045 okltest_maxnononesdpst_cs_bydef(maxnononesdpst_cs_bydef);
00046 
00047 okltest_sdp_count_cs_bydef(sdp_count_cs_bydef);
00048 okltest_cfsdp_csp_bydef(cfsdp_csp_bydef);
00049 
00050 okltest_cfisdp_count_cs_bydef(cfisdp_count_cs_bydef);
00051 okltest_cfisdp_csp_bydef(cfisdp_csp_bydef);
00052 
00053 okltest_nonsingular_csp(nonsingular_csp);
00054 okltest_nononesingular_csp(nononesingular_csp);
00055