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 
00022 oklib_include("OKlib/ComputerAlgebra/TestSystem/Lisp/Asserts.mac")$
00023 
00024 
00025 kill(f)$
00026 
00027 /* *******************
00028    * Rabung's method *
00029    *******************
00030 */
00031 
00032 okltest_rabung_valid_param(f) := (
00033 
00034   true)$
00035 
00036 okltest_rabung_derived_parameters(f) := (
00037 
00038   true)$
00039 
00040 okltest_rabung_colouring_map(f) := (
00041 
00042   true)$
00043 
00044 okltest_rabung_attempted_certificate(f) := (
00045 
00046   true)$
00047 
00048 okltest_rabung_checkdirect_certificate(f) := (
00049 
00050   true)$
00051 
00052 okltest_rabung_checkcriterion(f) := (
00053 
00054   true)$
00055 
00056 okltest_rabung_next_candidates(f) := (
00057 
00058   true)$
00059 
00060 okltest_rabung_final_prime(f) := (
00061 
00062   true)$
00063 
00064 okltest_rabung_search(f) := (
00065   assert(f(2,3,6) = []),
00066   assert(f(2,3,7) = [[3,7]]),
00067   assert(f(2,4,15) = []),
00068   assert(f(2,4,34) = [[5,16],[7,22],[11,34]]),
00069   assert(f(3,3,100) = []),
00070   assert(f(3,4,292) = [[4,13],[7,22],[13,40],[19,58],[37,112],[97,292]]),
00071   assert(f(4,3,75) = [[5,11],[13,27],[37,75]]),
00072   assert(f(5,3,100) = []),
00073   assert(f(6,3,207) = [[7,15],[19,39],[67,135],[79,159],[103,207]]),
00074   true)$
00075 
00076 okltest_rabung_search_next(f) := (
00077 
00078   true)$
00079 
00080