OKlibrary  0.2.1.6
Numbers.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 25.11.2008 (Swansea) */
00002 /* Copyright 2008, 2009 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/RamseyTheory/Lisp/Ramsey/Numbers.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/RamseyTheory/Lisp/Ramsey/tests/Numbers.mac")$
00023 
00024 okltest_ramsey(ramsey);
00025 okltest_ramsey_p(ramsey_p);
00026 
00027 
00028 /* *****************
00029    * Trivial cases *
00030    *****************
00031 */
00032 
00033 okltest_ramseyr0_a(ramseyr0_a);
00034 okltest_ramseyr0(ramseyr0);
00035 okltest_ramseytrivle_a(ramseytrivle_a);
00036 okltest_ramseytrivle(ramseytrivle);
00037 okltest_ramseytriveq_a(ramseytriveq_a);
00038 okltest_ramseytriveq(ramseytriveq);
00039 okltest_ramseytrivk_a(ramseytrivk_a);
00040 okltest_ramseytrivk(ramseytrivk);
00041 
00042 
00043 /* *********************
00044    * Two-colour graphs *
00045    *********************
00046 */
00047 
00048 okltest_ramseyg2_3_a(ramseyg2_3_a);
00049 okltest_ramseyg2_3(ramseyg2_3);
00050 okltest_ramseyg2_4_a(ramseyg2_4_a);
00051 okltest_ramseyg2_4(ramseyg2_4);
00052 okltest_ramseyg2_5_a(ramseyg2_5_a);
00053 okltest_ramseyg2_5(ramseyg2_5);
00054 okltest_ramseyg2_6_a(ramseyg2_6_a);
00055 okltest_ramseyg2_6(ramseyg2_6);
00056 okltest_ramseyg2_7_a(ramseyg2_7_a);
00057 okltest_ramseyg2_7(ramseyg2_7);
00058 okltest_ramseyg2_8_a(ramseyg2_8_a);
00059 okltest_ramseyg2_8(ramseyg2_8);
00060 okltest_ramseyg2_9_a(ramseyg2_9_a);
00061 okltest_ramseyg2_9(ramseyg2_9);
00062 okltest_ramseyg2_10_a(ramseyg2_10_a);
00063 okltest_ramseyg2_10(ramseyg2_10);
00064 okltest_ramseyg3_3_3_a(ramseyg3_3_3_a);
00065 okltest_ramseyg3_3_3(ramseyg3_3_3);
00066 
00067 
00068 /* ***************
00069    * Hypergraphs *
00070    ***************
00071 */
00072 
00073 okltest_ramseyhg3_2_4_a(ramseyhg3_2_4_a);
00074 okltest_ramseyhg3_2_4(ramseyhg3_2_4);
00075 
00076 
00077 /* **********
00078    * Bounds *
00079    **********
00080 */
00081 
00082 okltest_ramsey_ub(ramsey_ub);
00083 okltest_ramsey_lb(ramsey_lb);
00084 okltest_ramsey_ub_s(ramsey_ub_s);
00085 okltest_ramsey_lb_s(ramsey_lb_s);
00086