OKlibrary  0.2.1.6
Constructions.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 23.10.2011 (Swansea) */
00002 /* Copyright 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/RamseyTheory/Lisp/VanderWaerden/Constructions.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/RamseyTheory/Lisp/VanderWaerden/tests/Constructions.mac")$
00023 
00024 /* *******************
00025    * Rabung's method *
00026    *******************
00027 */
00028 
00029 okltest_rabung_valid_param(rabung_valid_param);
00030 
00031 okltest_rabung_derived_parameters(rabung_derived_parameters);
00032 
00033 okltest_rabung_colouring_map(rabung_colouring_map);
00034 
00035 okltest_rabung_attempted_certificate(rabung_attempted_certificate);
00036 
00037 okltest_rabung_checkdirect_certificate(rabung_checkdirect_certificate);
00038 
00039 okltest_rabung_checkcriterion(rabung_checkcriterion);
00040 
00041 okltest_rabung_next_candidates(rabung_next_candidates);
00042 
00043 okltest_rabung_final_prime(rabung_final_prime);
00044 
00045 okltest_rabung_search(rabung_search);
00046 
00047 okltest_rabung_search_next(rabung_search_next);
00048