OKlibrary  0.2.1.6
BasicNotions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 30.12.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2011 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/CombinatorialMatrices/Lisp/LatinSquares/BasicNotions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/CombinatorialMatrices/Lisp/LatinSquares/tests/BasicNotions.mac")$
00023 
00024 /* *****************************
00025    * Notions of "latin squares *
00026    *****************************
00027 */
00028 
00029 okltest_comlso_p(comlso_p);
00030 okltest_comls_p(comls_p);
00031 okltest_ls_p(ls_p);
00032 okltest_hrls_p(hrls_p);
00033 okltest_rls_p(rls_p);
00034 
00035 /* *********************
00036    * Various diagonals *
00037    *********************
00038 */
00039 
00040 okltest_main_diagonal(main_diagonal);
00041 okltest_side_diagonal(side_diagonal);
00042 
00043 okltest_main_pandiagonal(main_pandiagonal);
00044 okltest_side_pandiagonal(side_pandiagonal);
00045 
00046 okltest_dls_p(dls_p);
00047 okltest_spls_p(spls_p);
00048 okltest_pls_p(pls_p);
00049 
00050 /* *****************
00051    * Orthogonality *
00052    *****************
00053 */
00054 
00055 okltest_ocomls_p(ocomls_p);
00056 okltest_ols_p(ols_p);
00057 okltest_mocomls_p(mocomls_p);
00058 okltest_mols_p(mols_p);
00059 okltest_socomls_p(socomls_p);
00060 okltest_sols_p(sols_p);
00061 
00062 /* ************
00063    * Symmetry *
00064    ************
00065 */
00066 
00067 okltest_ssls_p(ssls_p);
00068 
00069 /* ***************************
00070    * Sudoku-like constraints *
00071    ***************************
00072 */
00073 
00074 okltest_sdkbox_p(sdkbox_p);
00075 
00076 /* ****************
00077    * Combinations *
00078    ****************
00079 */
00080 
00081 okltest_sdk_p(sdk_p);
00082 
00083 okltest_sodls_p(sodls_p);
00084 okltest_sssodls_p(sssodls_p);
00085 okltest_psssodls_p(psssodls_p);
00086 
00087 /* ************
00088    * Examples *
00089    ************
00090 */
00091 
00092 okltest_cyc3_rls(cyc3_rls);
00093 okltest_cyc3_o_hrls(cyc3_o_hrls);
00094 okltest_nassoc_rls(nassoc_rls);
00095 okltest_dk10_rls(dk10_rls);
00096 okltest_dk10_o_hrls(dk10_o_hrls);
00097 okltest_sssodls_4_ls(sssodls_4_ls);
00098 okltest_psssodls_8_ls(psssodls_8_ls);
00099 okltest_psssodls_9_ls(psssodls_9_ls);
00100 okltest_psssodls_20_ls(psssodls_20_ls);
00101 
00102 /* **************
00103    * Generators *
00104    **************
00105 */
00106 
00107 okltest_spdl_abn_ls(spdl_abn_ls);
00108 okltest_spdl_abn_ls_p(spdl_abn_ls_p);
00109 
00110 /* ***************
00111    * Conversions *
00112    ***************
00113 */
00114 
00115 okltest_qgrp2comls(qgrp2comls);
00116 okltest_uqgrp2rls(uqgrp2rls);
00117