OKlibrary  0.2.1.6
BasicExamples.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 18.5.2010 (Swansea) */
00002 /* Copyright 2010 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/BasicNotions.mac")$
00024 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Semigroups/Order.mac")$
00025 
00026 
00027 /* ********************
00028    * Small semigroups *
00029    ********************
00030 */
00031 
00032 
00033 
00034 /* *******************
00035    * Null semigroups *
00036    *******************
00037 */
00038 
00039 
00040 
00041 /* *********************
00042    * Cyclic semigroups *
00043    *********************
00044 */
00045 
00046 okltest_cyclic_sgr(f) := (
00047   for i : 1 thru if oklib_test_level=0 then 3 else 5 do
00048     for p : 1 thru if oklib_test_level=0 then 3 else 5 do block([S : f(i,p)],
00049       assert(sgr_p(S)),
00050       assert(ipo_element_sgr(S[2], 1) = [i,p,i+p-1])
00051   ),
00052   true)$
00053 
00054