OKlibrary  0.2.1.6
Basics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 16.3.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 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/Hypergraphs/Lisp/Basics.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/tests/Basics.mac")$
00023 
00024 /* ************************************
00025    * Checking the defining properties *
00026    ************************************
00027 */
00028 
00029 okltest_hg_p(hg_p);
00030 okltest_ohg_p(ohg_p);
00031 okltest_ghg_p(ghg_p);
00032 okltest_oghg_p(oghg_p);
00033 
00034 /* **************
00035    * Promotions *
00036    **************
00037 */
00038 
00039 okltest_hg2ohg(hg2ohg);
00040 
00041 
00042 /* *************
00043    * Downcasts *
00044    *************
00045 */
00046 
00047 okltest_ghg2hg(ghg2hg);
00048 
00049 /* ************* **
00050    * Conversions *
00051    ***************
00052 */
00053 
00054 okltest_setsystem2hg(setsystem2hg);
00055 okltest_listsets2hg(listsets2hg);
00056 okltest_listsets2oghg(listsets2oghg);
00057 
00058 okltest_hypver_hg2com(hypver_hg2com);
00059 okltest_hypver_ghg2com(hypver_ghg2com);
00060 
00061 okltest_edge_int_com_hg(edge_int_com_hg);
00062 okltest_vertex_int_com_hg(vertex_int_com_hg);
00063 
00064 /* *****************
00065    * Constructions *
00066    *****************
00067 */
00068 
00069 okltest_union_hg(union_hg);
00070 
00071 okltest_edge_k_hg(edge_k_hg);
00072 okltest_edge_g_hg(edge_g_hg);
00073 okltest_anti_edge_k_hg(anti_edge_k_hg);
00074 okltest_kneser_g_hg(kneser_g_hg);
00075 
00076 /* ************************************************
00077    * Constructions related to the subset-relation *
00078    ************************************************
00079 */
00080 
00081 okltest_min_hg(min_hg);
00082 okltest_max_hg(max_hg);
00083 
00084 okltest_subsumption_ghg(subsumption_ghg);
00085 okltest_subsumption_oghg(subsumption_oghg);
00086 okltest_rsubsumption_hg(rsubsumption_hg);
00087 
00088 /* *****************
00089    * Connectedness *
00090    *****************
00091 */
00092 
00093 okltest_components_hg(components_hg);
00094 okltest_components_ghg(components_ghg);
00095 
00096 okltest_disjoint_union_rep_hg(disjoint_union_rep_hg);
00097 
00098 okltest_is_connected_hg_p(is_connected_hg_p);
00099