OKlibrary  0.2.1.6
CyclicGroups.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 11.8.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/Algebra/Lisp/Groupoids/BasicNotions.mac")$
00024 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Groups/CyclicGroups.mac")$
00025 
00026 kill(f)$
00027 
00028 okltest_cyclic_ugrpi(f) := (
00029   assert(f(1) = [{0},mod_add(1), 0,mod_add_inv(1)]),
00030   for n : 1 thru cokltl(6,12) do block([Z : f(n)],
00031     assert(ugrpi_p(Z) = true),
00032     assert(ugrpi2ugrp(Z) = cyclic_ugrp(n))
00033   ),
00034   true)$
00035 
00036 okltest_cyclic_ougrp(f) := (
00037   assert(f(1) = [[0],mod_add(1), 0]),
00038   for n : 1 thru cokltl(6,12) do block([Z : f(n)],
00039     assert(ougrp_p(Z) = true),
00040     assert(ougrp2ugrp(Z) = cyclic_ugrp(n))
00041   ),
00042   true)$
00043 
00044