OKlibrary  0.2.1.6
Basic.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 20.8.2009 (Swansea) */
00002 /* Copyright 2009, 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/Satisfiability/Lisp/BranchingTuples/Basic.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/BranchingTuples/tests/Basic.mac")$
00023 
00024 /* ************************
00025    * Elementary functions *
00026    ************************
00027 */
00028 
00029 okltest_bt_apply_permutation(bt_apply_permutation);
00030 
00031 okltest_int_seq_bt(int_seq_bt);
00032 
00033 /* ***************
00034    * Power means *
00035    ***************
00036 */
00037 
00038 okltest_meann(meann);
00039 
00040 okltest_gmean(gmean);
00041 okltest_gmeann(gmeann);
00042 
00043 okltest_hmean(hmean);
00044 okltest_hmeann(hmeann);
00045 
00046 /* ***********************************************
00047    * Lower and upper bounds for the tau-function *
00048    ***********************************************
00049 */
00050 
00051 /* ****************************
00052    * Comparison of tau-values *
00053    ****************************
00054 */
00055 
00056 /* ********************************
00057    *   Computing the tau-function *
00058    ********************************
00059 */
00060 
00061 
00062 /* ********************
00063    * Higher precision *
00064    ********************
00065 */
00066 
00067 /* ************************
00068    * Symbolic computation *
00069    ************************
00070 */
00071 
00072 /* *************************************
00073    *   Derivatives of the tau-function *
00074    *************************************
00075 */
00076 
00077 
00078 /* ******************************************
00079    *   The induced probability distribution *
00080    ******************************************
00081 */
00082 
00083 okltest_tauprob(tauprob);
00084 okltest_tauprob_hp(tauprob_hp);
00085 okltest_tauprob_symbolical(tauprob_symbolical);
00086 
00087 /* ****************
00088    * The tau-mean *
00089    ****************
00090 */
00091 
00092 okltest_taumean(taumean);
00093 okltest_taumean_inf(taumean_inf);
00094 
00095 /* *********************************************
00096    *   Convexity considerations: line versions *
00097    *********************************************
00098 */
00099 
00100 
00101 /* ************************************
00102    * Investigations on approximations *
00103    ************************************
00104 */
00105