OKlibrary  0.2.1.6
Basics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 21.5.2010 (Swansea) */
00002 /* Copyright 2010 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 
00022 oklib_include("OKlib/ComputerAlgebra/TestSystem/Lisp/Asserts.mac")$
00023 
00024 kill(f)$
00025 
00026 
00027 okltest_prime_clause_p(f) := (
00028   assert(f({},{}) = false),
00029   assert(f({},{{}}) = true),
00030   assert(f({},{{1}}) = false),
00031   assert(f({},{{1},{-1}}) = true),
00032   assert(f({1},{{1}}) = true),
00033   assert(f({1,3},{{1,2},{-2,3}}) = true),
00034   assert(f({1,2,3},{{1,2},{-2,3}}) = false),
00035   true)$
00036 
00037 okltest_dual_prime_clause_p(f) := (
00038   assert(f({},{}) = true),
00039   assert(f({},{{}}) = false),
00040   assert(f({},{{1}}) = false),
00041   assert(f({},{{1},{-1}}) = false),
00042   assert(f({1},{{1}}) = true),
00043   assert(f({1,3},{{1,2},{-2,3}}) = true),
00044   assert(f({1,2,3},{{1,2},{-2,3}}) = false),
00045   true)$
00046 
00047 okltest_prime_cs_p(f) := (
00048   assert(f({}) = true),
00049   assert(f({{}}) = true),
00050   assert(f({{1}}) = true),
00051   assert(f({{},{1}}) = false),
00052   assert(f({{1,2},{-2,3},{1,3}}) = true),
00053   assert(f({{1,2},{-2,3}}) = true),
00054   true)$
00055 
00056 okltest_maximal_prime_cs_p(f) := (
00057   assert(f({}) = true),
00058   assert(f({{}}) = true),
00059   assert(f({{1}}) = true),
00060   assert(f({{},{1}}) = false),
00061   assert(f({{1,2},{-2,3},{1,3}}) = true),
00062   assert(f({{1,2},{-2,3}}) = false),
00063   true)$
00064