OKlibrary  0.2.1.6
RBases.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 28.12.2009 (Swansea) */
00002 /* Copyright 2009, 2010, 2011 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/RBases.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/RBases.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/BasicOperations.mac")$
00024 
00025 
00026 /* *****************
00027    * Basic notions *
00028    *****************
00029 */
00030 
00031 okltest_rgen0_p_cs(rgen0_p_cs);
00032 okltest_rgen0_p_cl(rgen0_p_cl);
00033 
00034 okltest_rgen_p_cs(rgen_p_cs);
00035 
00036 okltest_rbase_p_cs(rbase_p_cs);
00037 
00038 okltest_all_rbases_bydef(all_rbases_bydef);
00039 
00040 /* ********************
00041    * Basic algorithms *
00042    ********************
00043 */
00044 
00045 okltest_rand_rbase_cs(
00046  lambda([F,red_], cl2cs(
00047    rbase_cl(random_permutation(cs2cl(F)),
00048             buildq([red_],lambda([G],cs2cl(red_(cl2cs(G))))))))
00049 )$
00050 
00051 /* ************
00052    * Sampling *
00053    ************
00054 */
00055 
00056 okltest_rand_rbase_cs(rand_rbase_cs);
00057