OKlibrary  0.2.1.6
Basic.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 30.4.2008 (Guangzhou) */
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/Graphs/Lisp/Basic.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Graphs/Lisp/tests/Basic.mac")$
00023 
00024 /* ************************************
00025    * Checking the defining properties *
00026    ************************************
00027 */
00028 
00029 okltest_g_p(g_p);
00030 okltest_gl_p(gl_p);
00031 okltest_dg_p(dg_p);
00032 okltest_dgl_p(dgl_p);
00033 okltest_mug_p(mug_p);
00034 okltest_mugl_p(mugl_p);
00035 okltest_mudg_p(mudg_p);
00036 okltest_mudgl_p(mudgl_p);
00037 okltest_gg_p(gg_p);
00038 okltest_gdg_p(gdg_p);
00039 
00040 okltest_og_p(og_p);
00041 okltest_ogl_p(ogl_p);
00042 okltest_odg_p(odg_p);
00043 okltest_odgl_p(odgl_p);
00044 okltest_omug_p(omug_p);
00045 okltest_omugl_p(omugl_p);
00046 okltest_omudg_p(omudg_p);
00047 okltest_omudgl_p(omudgl_p);
00048 okltest_ogg_p(ogg_p);
00049 okltest_ogdg_p(ogdg_p);
00050 
00051 /* *********************
00052    * Checking equality *
00053    *********************
00054 */
00055 
00056 okltest_gr_equalp(gr_equalp);
00057 
00058 /* **************
00059    * Promotions *
00060    **************
00061 */
00062 
00063 okltest_g2mug(g2mug);
00064 okltest_gl2mugl(gl2mugl);
00065 okltest_g2gg(g2gg);
00066 okltest_gl2gg(gl2gg);
00067 okltest_mug2gg(mug2gg);
00068 okltest_mugl2gg(mugl2gg);
00069 
00070 okltest_ogl2omugl(ogl2omugl);
00071 okltest_og2ogg(og2ogg);
00072 okltest_ogl2ogg(ogl2ogg);
00073 okltest_omugl2ogg(omugl2ogg);
00074 
00075 okltest_g2og(g2og);
00076 okltest_gl2ogl(gl2ogl);
00077 okltest_mug2omug(mug2omug);
00078 okltest_mugl2omugl(mugl2omugl);
00079 okltest_gg2ogg(gg2ogg);
00080 
00081 okltest_dg2mudg(dg2mudg);
00082 okltest_dgl2mudgl(dgl2mudgl);
00083 okltest_dg2gdg(dg2gdg);
00084 okltest_dgl2gdg(dgl2gdg);
00085 okltest_mudg2gdg(mudg2gdg);
00086 okltest_mudgl2gdg(mudgl2gdg);
00087 
00088 okltest_odgl2omudgl(odgl2omudgl);
00089 okltest_odg2ogdg(odg2ogdg);
00090 okltest_odgl2ogdg(odgl2ogdg);
00091 okltest_omudgl2ogdg(omudgl2ogdg);
00092 
00093 okltest_dg2odg(dg2odg);
00094 okltest_dgl2odgl(dgl2odgl);
00095 okltest_mudg2omudg(mudg2omudg);
00096 okltest_mudgl2omudgl(mudgl2omudgl);
00097 okltest_gdg2ogdg(gdg2ogdg);
00098 
00099 /* *************
00100    * Downcasts *
00101    *************
00102 */
00103 
00104 okltest_mug2g(mug2g);
00105 okltest_mugl2gl(mugl2gl);
00106 okltest_gg2gl(gg2gl);
00107 okltest_gg2mugl(gg2mugl);
00108 
00109 okltest_omug2og(omug2og);
00110 okltest_omugl2ogl(omugl2ogl);
00111 okltest_ogg2ogl(ogg2ogl);
00112 okltest_ogg2omugl(ogg2omugl);
00113 
00114 okltest_og2g(og2g);
00115 okltest_ogl2gl(ogl2gl);
00116 okltest_omug2mug(omug2mug);
00117 okltest_omugl2mugl(omugl2mugl);
00118 okltest_ogg2gg(ogg2gg);
00119 
00120 okltest_mudg2dg(mudg2dg);
00121 okltest_mudgl2dgl(mudgl2dgl);
00122 okltest_gdg2dgl(gdg2dgl);
00123 okltest_gdg2mudgl(gdg2mudgl);
00124 
00125 okltest_omudg2odg(omudg2odg);
00126 okltest_omudgl2odgl(omudgl2odgl);
00127 okltest_ogdg2odgl(ogdg2odgl);
00128 okltest_ogdg2omudgl(ogdg2omudgl);
00129 
00130 okltest_odg2dg(odg2dg);
00131 okltest_odgl2dgl(odgl2dgl);
00132 okltest_omudg2mudg(omudg2mudg);
00133 okltest_omudgl2mudgl(omudgl2mudgl);
00134 okltest_ogdg2gdg(ogdg2gdg);
00135 
00136 /* ***************
00137    * Conversions *
00138    ***************
00139 */
00140 
00141 okltest_gl2g(gl2g);
00142 okltest_gg2g(gg2g);
00143 okltest_ogl2og(ogl2og);
00144 okltest_ogg2og(ogg2og);
00145 okltest_mugl2mug(mugl2mug);
00146 okltest_omugl2omug(omugl2omug);
00147 okltest_dgl2dg(dgl2dg);
00148 okltest_odgl2odg(odgl2odg);
00149 
00150 okltest_dg2g(dg2g);
00151 okltest_odg2og(odg2og);
00152 okltest_dgl2gl(dgl2gl);
00153 okltest_odgl2ogl(odgl2ogl);
00154 okltest_gdg2gg(gdg2gg);
00155 okltest_ogdg2ogg(ogdg2ogg);
00156 okltest_mudg2mug(mudg2mug);
00157 
00158 okltest_g2dg(g2dg);
00159 okltest_gl2dgl(gl2dgl);
00160 okltest_mug2mudg(mug2mudg);
00161 
00162 /* **************************
00163    * Basic graph operations *
00164    **************************
00165 */
00166 
00167 okltest_expand_edge(expand_edge);
00168 
00169 okltest_neighbours_g(neighbours_g);
00170 okltest_neighbours_og(neighbours_og);
00171 okltest_neighbours_gl(neighbours_gl);
00172 okltest_neighbours_gg(neighbours_gg);
00173 okltest_outneighbours_dg(outneighbours_dg);
00174 okltest_outneighbours_dgl(outneighbours_dgl);
00175 okltest_inneighbours_dg(inneighbours_dg);
00176 okltest_inneighbours_dgl(inneighbours_dgl);
00177 
00178 okltest_remove_vertices_gl(remove_vertices_gl);
00179 
00180 /* *****************************
00181    * Basic graph constructions *
00182    *****************************
00183 */
00184 
00185 okltest_edge_induced_subgraph_g(edge_induced_subgraph_g);
00186 okltest_edge_induced_subgraph_gl(edge_induced_subgraph_gl);
00187 okltest_edge_induced_subgraph_mug(edge_induced_subgraph_mug);
00188 okltest_edge_induced_subgraph_mugl(edge_induced_subgraph_mugl);
00189 okltest_edge_induced_subgraph_gg(edge_induced_subgraph_gg);
00190 okltest_edge_induced_subgraph_dg(edge_induced_subgraph_dg);
00191 okltest_edge_induced_subgraph_dgl(edge_induced_subgraph_dgl);
00192 okltest_edge_induced_subgraph_mudg(edge_induced_subgraph_mudg);
00193 okltest_edge_induced_subgraph_mudgl(edge_induced_subgraph_mudgl);
00194 okltest_edge_induced_subgraph_gdg(edge_induced_subgraph_gdg);
00195 
00196 okltest_complement_g(complement_g);
00197 
00198 okltest_transposed_dg(transposed_dg);
00199 okltest_transposed_dgl(transposed_dgl);
00200 okltest_transposed_odg(transposed_odg);
00201 okltest_transposed_odgl(transposed_odgl);
00202 
00203 /* **********
00204    * Tests  *
00205    **********
00206 */
00207 
00208 okltest_parallel_edges_gg_p(parallel_edges_gg_p);
00209 okltest_parallel_edges_mug_p(parallel_edges_mug_p);
00210 okltest_parallel_edges_mugl_p(parallel_edges_mugl_p);
00211 okltest_parallel_edges_ogg_p(parallel_edges_ogg_p);
00212 okltest_parallel_edges_omug_p(parallel_edges_omug_p);
00213 okltest_parallel_edges_omugl_p(parallel_edges_omugl_p);
00214 
00215 okltest_irreflexive_gl_p(irreflexive_gl_p);
00216 okltest_irreflexive_mugl_p(irreflexive_mugl_p);
00217 okltest_irreflexive_gg_p(irreflexive_gg_p);
00218 okltest_irreflexive_ogl_p(irreflexive_ogl_p);
00219 okltest_irreflexive_omugl_p(irreflexive_omugl_p);
00220 okltest_irreflexive_ogg_p(irreflexive_ogg_p);
00221 
00222 okltest_orientedgraph_dg_p(orientedgraph_dg_p);
00223 okltest_orientedgraph_dgl_p(orientedgraph_dgl_p);
00224 okltest_orientedgraph_odg_p(orientedgraph_odg_p);
00225 okltest_orientedgraph_odgl_p(orientedgraph_odgl_p);
00226 
00227 okltest_complete_g_p(complete_g_p);
00228 okltest_complete_gl_p(complete_gl_p);
00229 okltest_complete_og_p(complete_og_p);
00230 okltest_complete_ogl_p(complete_ogl_p);
00231 okltest_complete_mug_p(complete_mug_p);
00232 okltest_complete_mugl_p(complete_mugl_p);
00233 okltest_complete_omug_p(complete_omug_p);
00234 okltest_complete_omugl_p(complete_omugl_p);
00235 okltest_complete_gg_p(complete_gg_p);
00236 okltest_complete_ogg_p(complete_ogg_p);
00237 
00238 okltest_dominating_vertex_g_p(dominating_vertex_g_p);
00239 okltest_dominating_vertex_gl_p(dominating_vertex_gl_p);
00240 
00241 okltest_has_dominating_vertex_g(has_dominating_vertex_g);
00242 okltest_has_dominating_vertex_gl(has_dominating_vertex_gl);
00243 
00244 okltest_connected_g_p(connected_g_p);
00245 okltest_connected_og_p(connected_og_p);
00246 okltest_connected_mug_p(connected_mug_p);
00247 okltest_connected_omug_p(connected_omug_p);
00248 okltest_connected_gg_p(connected_gg_p);
00249 okltest_connected_ogg_p(connected_ogg_p);
00250 okltest_connected_gl_p(connected_gl_p);
00251 okltest_connected_ogl_p(connected_ogl_p);
00252 okltest_connected_mugl_p(connected_mugl_p);
00253 okltest_connected_omugl_p(connected_omugl_p);
00254 
00255 okltest_sconnected_dg_p(sconnected_dg_p);
00256 okltest_sconnected_odg_p(sconnected_odg_p);
00257 okltest_sconnected_mudg_p(sconnected_mudg_p);
00258 okltest_sconnected_omudg_p(sconnected_omudg_p);
00259 okltest_sconnected_gdg_p(sconnected_gdg_p);
00260 okltest_sconnected_ogdg_p(sconnected_ogdg_p);
00261 okltest_sconnected_dgl_p(sconnected_dgl_p);
00262 okltest_sconnected_odgl_p(sconnected_odgl_p);
00263 okltest_sconnected_mudgl_p(sconnected_mudgl_p);
00264 okltest_sconnected_omudgl_p(sconnected_omudgl_p);
00265 
00266 okltest_tree_g_p(tree_g_p);
00267 okltest_tree_og_p(tree_og_p);
00268 okltest_tree_mug_p(tree_mug_p);
00269 okltest_tree_omug_p(tree_omug_p);
00270 okltest_tree_gg_p(tree_gg_p);
00271 okltest_tree_ogg_p(tree_ogg_p);
00272 okltest_tree_gl_p(tree_gl_p);
00273 okltest_tree_ogl_p(tree_ogl_p);
00274 okltest_tree_mugl_p(tree_mugl_p);
00275 okltest_tree_omugl_p(tree_omugl_p);
00276 
00277 okltest_regular_g_p(regular_g_p);
00278 okltest_regular1_gg_p(regular1_gg_p);
00279 okltest_regular2_gg_p(regular2_gg_p);
00280 
00281 okltest_cycle_gg_p(cycle_gg_p);
00282 
00283 okltest_bipartite_g_p(bipartite_g_p);
00284 
00285 okltest_completebipartite_g_p(completebipartite_g_p);
00286 okltest_completebipartite_gl_p(completebipartite_gl_p);
00287 okltest_completebipartite_gg_p(completebipartite_gg_p);
00288 
00289 /* ********************************
00290    * Connections to Maxima-graphs *
00291    ********************************
00292 */
00293 
00294 okltest_g2mg(g2mg);
00295 okltest_mg2og(mg2og);
00296 okltest_mg2g(mg2g);
00297 
00298 okltest_dg2mdg(dg2mdg);
00299