OKlibrary  0.2.1.6
Commutativity.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 19.9.2009 (Swansea) */
00002 /* Copyright 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 /* *********
00029    * Tests *
00030    *********
00031 */
00032 
00033 
00034 
00035 /* ********************
00036    * Central elements *
00037    ********************
00038 */
00039 
00040 okltest_central_grd_p(f) := block([G],
00041   assert(f(singleton_mon[3],singleton_mon[1],singleton_mon[2]) = true),
00042   G : null_sgr({0,1},0),
00043   assert(f(0,G[1],G[2]) = true),
00044   assert(f(1,G[1],G[2]) = true),
00045   G : leftnull_sgr({0,1}),
00046   assert(f(0,G[1],G[2]) = false),
00047   assert(f(1,G[1],G[2]) = false),
00048   /* XXX */
00049   true)$
00050 
00051