OKlibrary  0.2.1.6
Constructions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 7.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/TransformationMonoids.mac")$
00024 
00025 kill(f)$
00026 
00027 /* ***********************
00028    * Complex composition *
00029    ***********************
00030 */
00031 
00032 okltest_complex_compo(f) := block([C],
00033   C : f("+"),
00034   assert(C({},{}) = {}),
00035   assert(C({},{0}) = {}),
00036   assert(C({0},{}) = {}),
00037   assert(C({0},{1,2}) = {1,2}),
00038   assert(C({1,2},{0}) = {1,2}),
00039   assert(C({1,2,3},{-1,0,1}) = {1,2,3,0,4}),
00040   C : f("["),
00041   assert(C({},{}) = {}),
00042   assert(C({},{0}) = {}),
00043   assert(C({0},{}) = {}),
00044   assert(C({0},{1,2}) = {[0,1],[0,2]}),
00045   assert(C({1,2},{0}) = {[1,0],[2,0]}),
00046   assert(C({1,2},{3,4}) = {[1,3],[1,4],[2,3],[2,4]}),
00047   C : f(transformation_l_compo),
00048   assert(C({},{}) = {}),
00049   assert(C({},{[]}) = {}),
00050   assert(C({[]},{[]}) = {[]}),
00051   assert(C({[1,3,2],[2,1,3]},{[2,1,3],[1,3,2]}) = {[3,1,2],[1,2,3],[2,3,1]}),
00052   true)$
00053 
00054 okltest_complex_grd(f) := (
00055   /* XXX */
00056   true)$
00057 
00058 
00059 /* *********************
00060    * Product groupoids *
00061    *********************
00062 */
00063 
00064 okltest_product_compo(f) := (
00065   /* XXX */
00066   true)$
00067 
00068 okltest_product_grd(f) := (
00069   /* XXX */
00070   true)$
00071 
00072 
00073 /* *****************
00074    * Transposition *
00075    *****************
00076 */
00077 
00078 okltest_transposed_compo(f) := (
00079   /* XXX */
00080   true)$
00081 
00082 okltest_transposed_grd(f) := (
00083   /* XXX */
00084   true)$
00085 
00086 okltest_transposed_ugrd(f) := (
00087   /* XXX */
00088   true)$
00089 
00090