OKlibrary  0.2.1.6
Enumeration.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 14.1.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 
00021 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Enumeration.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/tests/Enumeration.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Commutativity.mac")$
00024 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/NeutralElements.mac")$
00025 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/Idempotency.mac")$
00026 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/testobjects/NullElements.mac")$
00027 
00028 
00029 /* *********************
00030    * Basic enumeration *
00031    *********************
00032 */
00033 
00034 okltest_all_grd2m(all_grd2m);
00035 okltest_all_grd(all_grd);
00036 
00037 /* ************
00038    * Counting *
00039    ************
00040 */
00041 
00042 okltest_counting_groupoids([
00043  [number_grd, []], 
00044  [number_cgrd, [commutative_bydef_grd]],
00045  [number_ugrd, [has_neutral_el_grd]],
00046  [number_cugrd, [commutative_bydef_grd,has_neutral_el_grd]],
00047  [number_igrd, [idempotent_bydef_grd]],
00048  [number_iugrd, [idempotent_bydef_grd,has_neutral_el_grd]],
00049  [number_cigrd, [commutative_bydef_grd,idempotent_bydef_grd]],
00050  [number_ciugrd, [commutative_bydef_grd,idempotent_bydef_grd,has_neutral_el_grd]],
00051  [number_ngrd, [has_null_el_grd]],
00052  [number_cngrd, [commutative_bydef_grd,has_null_el_grd]],
00053  [number_ingrd, [idempotent_bydef_grd,has_null_el_grd]],
00054  [number_nugrd, [has_null_el_grd,has_neutral_el_grd]],
00055  [number_cingrd, [commutative_bydef_grd,idempotent_bydef_grd,has_null_el_grd]],
00056  [number_cnugrd, [commutative_bydef_grd,has_null_el_grd,has_neutral_el_grd]],
00057  [number_inugrd, [idempotent_bydef_grd,has_null_el_grd,has_neutral_el_grd]],
00058  [number_cinugrd, [commutative_bydef_grd,idempotent_bydef_grd,has_null_el_grd,has_neutral_el_grd]]
00059 ]);
00060 
00061 /* ***********************************
00062    * Enumerating isomorphism classes *
00063    ***********************************
00064 */
00065 
00066 okltest_all_isomorphism_classes_grd(all_isomorphism_classes_bydef_grd);
00067 okltest_all_isomorphism_classes_grd(all_isomorphism_classes_actively_grd);
00068 
00069 okltest_all_isomorphism_classes_actively_sm_grd(all_isomorphism_classes_actively_sm_grd);
00070 
00071 /* *********************************
00072    * Enumerating isotopism classes *
00073    *********************************
00074 */
00075 
00076 okltest_all_isotopism_classes_grd(all_isotopism_classes_actively_grd);
00077 
00078 okltest_all_isotopismisomorphism_classes_grd(all_isotopismisomorphism_classes_actively_grd);
00079