OKlibrary  0.2.1.6
BasicNotions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 6.7.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 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 
00021 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/BasicNotions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/tests/BasicNotions.mac")$
00023 
00024 /* ************************************
00025    * Checking the defining properties *
00026    ************************************
00027 */
00028 
00029 okltest_compo_p(compo_p);
00030 
00031 okltest_grd_p(grd_p);
00032 okltest_ugrd_p(ugrd_p);
00033 okltest_cgrd_p(cgrd_p);
00034 okltest_cugrd_p(cugrd_p);
00035 
00036 okltest_ogrd_p(ogrd_p);
00037 okltest_ougrd_p(ougrd_p);
00038 
00039 okltest_sgr_p(sgr_p);
00040 okltest_csgr_p(csgr_p);
00041 okltest_mon_p(mon_p);
00042 okltest_cmon_p(cmon_p);
00043 
00044 okltest_qgrp_p(qgrp_p);
00045 okltest_cqgrp_p(cqgrp_p);
00046 okltest_uqgrp_p(uqgrp_p);
00047 okltest_cuqgrp_p(cuqgrp_p);
00048 
00049 okltest_oqgrp_p(oqgrp_p);
00050 okltest_ouqgrp_p(ouqgrp_p);
00051 
00052 okltest_grp_p(grp_p);
00053 okltest_cgrp_p(cgrp_p);
00054 okltest_ugrp_p(ugrp_p);
00055 okltest_cugrp_p(cugrp_p);
00056 okltest_ugrpi_p(ugrpi_p);
00057 okltest_cugrpi_p(cugrpi_p);
00058 
00059 okltest_ogrp_p(ogrp_p);
00060 okltest_ougrp_p(ougrp_p);
00061 okltest_ougrpi_p(ougrpi_p);
00062 
00063 /* *********************
00064    * Checking equality *
00065    *********************
00066 */
00067 
00068 okltest_grd_equalp(grd_equalp);
00069 okltest_ugrd_equalp(ugrd_equalp);
00070 
00071 /* *************
00072    * Downcasts *
00073    *************
00074 */
00075 
00076 okltest_ugrd2grd(ugrd2grd);
00077 
00078 okltest_ogrd2grd(ogrd2grd);
00079 
00080 okltest_ugrpi2ugrp(ugrpi2ugrp);
00081 okltest_ugrpi2grp(ugrpi2grp);
00082 okltest_ugrp2grp(ugrp2grp);
00083 
00084 okltest_ougrp2ugrp(ougrp2ugrp);
00085 okltest_ougrpi2ugrpi(ougrpi2ugrpi);
00086 
00087 /* **************
00088    * Promotions *
00089    **************
00090 */
00091 
00092 okltest_grd2ogrd(grd2ogrd);
00093 okltest_ugrd2ougrd(ugrd2ougrd);
00094 
00095 okltest_ugrp2ougrp(ugrp2ougrp);
00096 okltest_ugrpi2ougrpi(ugrpi2ougrpi);
00097 
00098 /* ***************
00099    * Conversions *
00100    ***************
00101 */
00102 
00103 okltest_scom2grd(scom2grd);
00104 okltest_grd2scom(grd2scom);
00105 
00106 okltest_m2grd(m2grd);
00107 okltest_grd2m(grd2m);
00108 
00109 okltest_grd2stdgrd(grd2stdgrd);
00110 okltest_grd2m_std(grd2m_std);
00111