OKlibrary  0.2.1.6
Basics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 26.5.2012 (Swansea) */
00002 /* Copyright 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 
00022 oklib_include("OKlib/ComputerAlgebra/TestSystem/Lisp/Asserts.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/SetSystems.mac")$
00024 
00025 
00026 kill(f)$
00027 
00028 /* ***********************
00029    * Fundamental notions *
00030    ***********************
00031 */
00032 
00033 okltest_augmentation_ss_p(f) := (
00034   assert(f({}) = true),
00035   assert(f({{}}) = true),
00036   assert(f({{},{1}}) = true),
00037   assert(f({{},{1},{2}}) = true),
00038   assert(f({{1},{2}}) = true),
00039   assert(f({{},{1},{2},{1,2}}) = true),
00040   assert(f({{},{1},{2},{1,2,3}}) = false),
00041   assert(f({{},{1},{2},{1,2,3},{1,3}}) = false),
00042   assert(f({{},{1},{2},{1,2,3},{1,2}}) = true),
00043   assert(f({{1,2},{3,4}}) = true),
00044   assert(f({{1,2},{3,4},{1,2,3}}) = false),
00045   assert(f({{1,2},{3,4},{1,2,3},{1,3,4}}) = true),
00046   assert(f({{1,2},{1,2,3},{1,4,5}}) = false),
00047   assert(f({{1,2},{1,4},{1,2,3},{1,4,5}}) = false),
00048   assert(f({{1,2},{1,4},{1,2,3},{1,4,5},{1,3,4}}) = false),
00049   assert(f({{1,2},{1,4},{1,2,3},{1,4,5},{1,2,4}}) = true),
00050   true)$
00051 
00052 okltest_mtrins_p(f) := (
00053   assert(f([{},{}]) = false),
00054   assert(f([{},{{}}]) = true),
00055   for n : 0 thru 4 do block([N : setn(n), M],
00056     M : [N,adjoin({},singletons(N))],
00057     assert(f(M) = true)
00058   ),
00059   for n : 0 thru 3 do block([N : setn(n), M],
00060     M : [N,powerset(N)],
00061     assert(f(M) = true)
00062   ),
00063   true)$
00064