OKlibrary  0.2.1.6
Isomorphisms.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 9.8.2008 (Swansea) */
00002 /* Copyright 2008, 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/Isomorphisms.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/CombinatorialMatrices/Lisp/tests/Isomorphisms.mac")$
00023 
00024 /* ********************************
00025    * Incomplete isomorphism tests *
00026    ********************************
00027 */
00028 
00029 okltest_decisions_is_isomorphic_incl0_com(is_isomorphic_incl0_com);
00030 okltest_decisions_is_isomorphic_incl1_com(is_isomorphic_incl1_com);
00031 okltest_decisions_is_isomorphic_incl2a_com(is_isomorphic_incl2a_com);
00032 okltest_unknown_is_isomorphic_incl2a_com(is_isomorphic_incl2a_com);
00033 okltest_decisions_is_isomorphic_incl2b_com(is_isomorphic_incl2b_com);
00034 okltest_unknown_is_isomorphic_incl2b_com(is_isomorphic_incl2b_com);
00035 okltest_decisions_is_isomorphic_inclall_com(is_isomorphic_inclall_com);
00036 
00037 /* ******************************
00038    * Complete isomorphism tests *
00039    ******************************
00040 */
00041 
00042 okltest_is_isomorphic_com_p(is_isomorphic_rowperm0_com_p);
00043 okltest_is_isomorphic_com_p(is_isomorphic_rowperm1_com_p);
00044 okltest_is_isomorphic_com_p(is_isomorphic_rowperm2a_com_p);
00045 okltest_is_isomorphic_com_p(is_isomorphic_rowpermall_com_p);
00046 
00047 
00048 /* ************************
00049    * Duality and polarity *
00050    ************************
00051 */
00052 
00053 okltest_selfpolar_bydef_m_p(selfpolar_bydef_m_p);
00054 
00055 okltest_selfdual_bydef_m_p(selfdual_bydef_m_p);
00056