OKlibrary  0.2.1.6
BasicNotions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 11.7.2008 (Swansea) */
00002 /* Copyright 2008, 2009 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 /* ***********************
00028    * Fundamental notions *
00029    ***********************
00030 */
00031 
00032 okltest_ebcp_gg_p(f) := block([G,edgef],
00033   assert(f({},[{},{},edgef]) = true),
00034   assert(f({},[{1},{},edgef]) = true),
00035   assert(f({{1},{}},[{1,2},{1},lambda([e],{1,2})]) = false),
00036   assert(f({{1},{}},[{1},{1},lambda([e],{1})]) = false),
00037   assert(f({{1},{}},[{1,2},{1},lambda([e],{1,2})]) = false),
00038   assert(f({{1},{2}},[{1,2},{1,2},lambda([e],if e=1 then {1} else {1,2})]) = false),
00039   assert(f({{1,2}},[{1,2},{1,2},lambda([e],if e=1 then {1} else {1,2})]) = false),
00040   assert(f({{1},{2}},[{1,2},{1,2},lambda([e],{1,2})]) = true),
00041   assert(f({{1},{2}},[{1,2,3},{1,2},lambda([e],if e=1 then {1,2} else {2,3})]) = true),
00042   assert(f({{1},{2}},[{1,2},{1,2},lambda([e],{1,2})]) = true),
00043   assert(f({{1},{2}},[{1,2},{1,2,3},lambda([e],{1,2})]) = false),
00044   assert(f({{1,2},{2}},[{1,2},{1,2},lambda([e],{1,2})]) = false),
00045   true)$
00046