OKlibrary  0.2.1.6
LinearEquations.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 11.5.2013 (Swansea) */
00002 /* Copyright 2013 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/LinearEquations.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/tests/LinearEquations.mac")$
00023 
00024 /* *********************
00025    * Parity conditions *
00026    *********************
00027 */
00028 
00029 okltest_even_parity_cl(even_parity_cl);
00030 okltest_even_parity_wv_cl(even_parity_wv_cl);
00031 okltest_even_parity_fcl(even_parity_fcl);
00032 okltest_odd_parity_cl(odd_parity_cl);
00033 okltest_odd_parity_wv_cl(odd_parity_wv_cl);
00034 okltest_odd_parity_fcl(odd_parity_fcl);
00035 
00036 /* **********************
00037    * Parity constraints *
00038    **********************
00039 */
00040 
00041 okltest_gprt2prt(gprt2prt);
00042 
00043 okltest_equiv_gprt(equiv_gprt);
00044 okltest_equiv_prt(equiv_prt);
00045 
00046 okltest_addgprt2prt(addgprt2prt);
00047 okltest_addprt2prt(addprt2prt);
00048 
00049 /* **********************************
00050    * Translating parity constraints *
00051    **********************************
00052 */
00053 
00054 okltest_prt2cl_0(prt2cl_0);
00055 okltest_prt2cl_aux_1(prt2cl_aux_1);
00056 
00057 okltest_gen_2xor_fcl(gen_2xor_fcl);
00058 
00059 okltest_seteqlit2cl(seteqlit2cl);
00060 
00061 okltest_gprt2s2cl_aux_2(gprt2s2cl_aux_2);
00062 
00063 okltest_gprt2s2cl_aux_s(gprt2s2cl_aux_s);
00064 
00065 okltest_sprt2cl_0(sprt2cl_0);
00066 
00067 okltest_sprt2cl_aux_1(sprt2cl_aux_1);
00068 
00069 okltest_sprt2cl_aux_1e(sprt2cl_aux_1e);
00070 
00071 okltest_closure_sprt(closure_sprt);
00072