OKlibrary  0.2.1.6
Hindman.mac
Go to the documentation of this file.
00001 /* Copyright 2009 Oliver Kullmann
00002 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00003 it and/or modify it under the terms of the GNU General Public License as published by
00004 the Free Software Foundation and included in this library; either version 3 of the
00005 License, or any later version. */
00006 
00020 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/Hindman.mac")$
00021 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/tests/Hindman.mac")$
00022 
00023 /* *****************
00024    * Hindman quads *
00025    *****************
00026 */
00027 
00028 okltest_hindman_a1k2_ohg(hindman_a1k2_ohg);
00029 okltest_nver_hindman_a1k2_ohg(nver_hindman_a1k2_ohg);
00030 okltest_nhyp_hindman_a1k2_ohg(nhyp_hindman_a1k2_ohg);
00031 
00032 okltest_hindmani_a1k2_ohg(hindmani_a1k2_ohg);
00033 okltest_nver_hindmani_a1k2_ohg(nver_hindmani_a1k2_ohg);
00034 okltest_nhyp_hindmani_a1k2_ohg(nhyp_hindmani_a1k2_ohg);
00035 
00036 okltest_hindman_k2_ohg(hindman_k2_ohg);
00037 okltest_nver_hindman_k2_ohg(nver_hindman_k2_ohg);
00038 okltest_nhyp_hindman_k2_ohg(nhyp_hindman_k2_ohg);
00039 
00040 okltest_hindmani_k2_ohg(hindmani_k2_ohg);
00041 okltest_nver_hindmani_k2_ohg(nver_hindmani_k2_ohg);
00042 okltest_nhyp_hindmani_k2_ohg(nhyp_hindmani_k2_ohg);
00043 
00044 /* ********************
00045    * The general case *
00046    ********************
00047 */
00048 
00049 okltest_hindman_ohg(hindman_ohg_0);
00050 okltest_hindmani_ohg(hindmani_ohg_0);
00051