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 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Semigroups/BasicExamples.mac")$
00024 
00025 kill(f)$
00026 
00027 /* ***********************************
00028    * Testing the defining properties *
00029    ***********************************
00030 */
00031 
00032 okltest_opr_grdset_p(f) := block([op],
00033   assert(f(op,[{},op],{}) = true),
00034   assert(f(op,[{1},op],{}) = true),
00035   assert(f(op,[{},op],{1}) = true),
00036   assert(f(lambda([g,x],1), [{1},lambda([x,y],1)], {1}) = true),
00037   assert(f(lambda([x,y],2), singleton_mon, {1,2}) = true),
00038   /* XXX */
00039   true)$
00040 
00041 okltest_opr_ugrdset_p(f) := (
00042   assert(f(singleton_mon[2], singleton_mon, singleton_mon[1]) = true),
00043   assert(f(lambda([x,y],2), singleton_mon, {1,2}) = false),
00044   /* XXX */
00045   true)$
00046 
00047