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
```