OKlibrary  0.2.1.6
Basics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 29.6.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2012 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/Trees/Lisp/Basics.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Trees/Lisp/tests/Basics.mac")$
00023 
00024 /* ****************************
00025    * Unlabelled rooted trees  *
00026    ****************************
00027 */
00028 
00029 okltest_rt_p(rt_p);
00030 okltest_rt2_p(rt2_p);
00031 
00032 okltest_lvs(lvs);
00033 okltest_nds(nds);
00034 
00035 okltest_subtree(subtree);
00036 
00037 okltest_dst(dst);
00038 
00039 /* ****************************
00040    * Labelled rooted trees    *
00041    ****************************
00042 */
00043 
00044 okltest_lrt_p(lrt_p);
00045 
00046 okltest_ndrep2l_lrt(ndrep2l_lrt);
00047 
00048 okltest_l2ult(l2ult);
00049 
00050 okltest_lmap_lrt(lmap_lrt);
00051 
00052 okltest_rt2lrt_il(rt2lrt_il);
00053 
00054 okltest_ll_lrt(ll_lrt);
00055 okltest_lll_lrt(lll_lrt);
00056 okltest_il_lrt(il_lrt);
00057 okltest_l_lrt(l_lrt);
00058 
00059 okltest_preorderl_lrt(preorderl_lrt);
00060 okltest_levelorderl_lrt(levelorderl_lrt);
00061 
00062 okltest_depth_annotation_g_lrt(depth_annotation_g_lrt);
00063 okltest_depth_annotation_lrt(depth_annotation_lrt);
00064 
00065 /* ************
00066    * Measures *
00067    ************
00068 */
00069 
00070 okltest_nnds_rt(nnds_rt);
00071 okltest_nnds_lrt(nnds_lrt);
00072 
00073 okltest_nlvs_rt(nlvs_rt);
00074 okltest_nlvs_lrt(nlvs_lrt);
00075 
00076 okltest_ninds_rt(ninds_rt);
00077 okltest_ninds_lrt(ninds_lrt);
00078 
00079 okltest_height_rt(height_rt);
00080 
00081 okltest_levelled_height_rt(levelled_height_rt);
00082 
00083 
00084 
00085 /* ****************
00086    * Transformers *
00087    ****************
00088 */
00089 
00090 okltest_g2lrt(g2lrt);
00091 
00092 /* **************
00093    * Generators *
00094    **************
00095 */
00096 
00097 okltest_complete_rt(complete_rt);
00098 
00099 okltest_random_lrt(random_lrt);
00100 
00101 okltest_all2_rt(all2_rt);
00102 okltest_num_all2_rt(num_all2_rt);
00103 okltest_all2i_rt(all2i_rt);
00104 okltest_num_all2i_rt(num_all2i_rt);
00105 okltest_all2l_rt(all2l_rt);
00106 okltest_num_all2l_rt(num_all2l_rt);
00107 
00108 okltest_random2_rt(random2_rt);
00109 okltest_random12_rt(random12_rt);
00110 
00111 okltest_all_rt(all_rt);
00112 okltest_num_all_rt(num_all_rt);
00113 okltest_catalan_number(catalan_number);
00114 
00115 /* **************
00116    * Operations *
00117    **************
00118 */
00119 
00120 okltest_mirror_rt(mirror_rt);
00121 
00122 okltest_tdlrt_p(tdlrt_p);
00123 
00124 okltest_trans_lrt(trans_lrt);
00125 
00126 okltest_y_extreme_tdlrt(y_extreme_tdlrt);
00127