OKlibrary  0.2.1.6
Numbers.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 12.4.2009 (Swansea) */
00002 /* Copyright 2009, 2010 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/VanderWaerden/Numbers.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/RamseyTheory/Lisp/VanderWaerden/tests/Numbers.mac")$
00023 
00024 /* ***************************
00025    * Van der Waerden numbers *
00026    ***************************
00027 */
00028 
00029 okltest_vanderwaerden(vanderwaerden);
00030 okltest_vanderwaerden_p(vanderwaerden_p);
00031 
00032 /* ************************
00033    * The transversal case *
00034    ************************
00035 */
00036 
00037 okltest_vanderwaerdent_a(vanderwaerdent_a);
00038 
00039 /* *******************************************************
00040    * The formula from [Landman, Robertson, Culver, 2005] *
00041    *******************************************************
00042 */
00043 
00044 okltest_lrc_j(lrc_j);
00045 okltest_lrc_l0p(lrc_l0p);
00046 okltest_lrc_l1p(lrc_l1p);
00047 
00048 /* ********************************
00049    * Generalised transversal case *
00050    ********************************
00051 */
00052 
00053 okltest_vanderwaerdents_a(vanderwaerdents_a);
00054 
00055 /* ******************************************************************
00056    * Transversal numbers of hypergraphs of arithmetic progresssions *
00057    ******************************************************************
00058 */
00059 
00060 okltest_alpha_steplist_arithprog_seq(alpha_steplist_arithprog_seq);
00061 
00062 /* *********************************
00063    * Analysing transversal numbers *
00064    *********************************
00065 */
00066 
00067 okltest_alpha_arithprog(alpha_arithprog);
00068 okltest_alphal_arithprog(alphal_arithprog);
00069 
00070 okltest_bestgamma_vdWt(bestgamma_vdWt);
00071 okltest_condition_kl_vdWt(condition_kl_vdWt);
00072 
00073 /* ****************************************
00074    * Checking the consistency of the data *
00075    ****************************************
00076 */
00077 
00078 if oklib_test_level >= 1 then okltest_consistency_check_1() else true;
00079