OKlibrary  0.2.1.6
SetSystems.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 27.3.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 2011, 2012, 2013 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/Hypergraphs/Lisp/SetSystems.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/tests/SetSystems.mac")$
00023 
00024 /* ***************
00025    * Elementship *
00026    ***************
00027 */
00028 
00029 okltest_gelementp(gelementp);
00030 
00031 /* **************
00032    * Singletons *
00033    **************
00034 */
00035 
00036 okltest_singletonp(singletonp);
00037 okltest_single_element(single_element);
00038 
00039 okltest_choose_element(choose_element);
00040 okltest_first_element(first_element);
00041 okltest_last_element(last_element);
00042 
00043 /* *********************
00044    * Set constructions *
00045    *********************
00046 */
00047 
00048 okltest_setn(setn);
00049 okltest_setmn(setmn);
00050 okltest_listn(listn);
00051 okltest_listmn(listmn);
00052 
00053 okltest_singletons(singletons);
00054 
00055 okltest_upairs(upairs);
00056 
00057 /* **********************************
00058    * Constructions related to union *
00059    **********************************
00060 */
00061 
00062 okltest_lunion(lunion);
00063 okltest_family_sets_union(family_sets_union);
00064 
00065 okltest_set_sum(set_sum);
00066 
00067 okltest_cunion(cunion);
00068 okltest_add_elements(add_elements);
00069 okltest_add_element(add_element);
00070 okltest_cunion_l(cunion_l);
00071 okltest_add_elements_l(add_elements_l);
00072 okltest_add_element_l(add_element_l);
00073 
00074 /* ********************************************
00075    * Constructions related to complementation *
00076    ********************************************
00077 */
00078 
00079 okltest_ecomp(ecomp);
00080 okltest_setdifference2(setdifference2);
00081 okltest_setdifference2e(setdifference2e);
00082 
00083 /* **************************************************
00084    * Constructions related to the cartesian product *
00085    **************************************************
00086 */
00087 
00088 okltest_cartesian_product_l(cartesian_product_l);
00089 
00090 okltest_all_transformations_l(all_transformations_l);
00091 okltest_all_transformations_l_l(all_transformations_l_l);
00092 
00093 okltest_all_tuples(all_tuples);
00094 okltest_all_tuples_l(all_tuples_l);
00095 
00096 okltest_all_ord_tuples(all_ord_tuples);
00097 okltest_all_ord_tuples_l(all_ord_tuples_l);
00098 
00099 /* ************************************
00100    * Constructions related to subsets *
00101    ************************************
00102 */
00103 
00104 okltest_kpermutations(kpermutations);
00105 
00106 okltest_powerset_l(powerset_l);
00107 okltest_powerlist2(powerlist2);
00108 
00109 /* *********************************************
00110    * Tests related to unions and intersections *
00111    *********************************************
00112 */
00113 
00114 okltest_bunion_closed_p(bunion_closed_p);
00115 
00116 /* *******************************
00117    * Tests related to partitions *
00118    *******************************
00119 */
00120 
00121 okltest_empty_element_p(empty_element_p);
00122 
00123 okltest_non_disjoint_pair(non_disjoint_pair);
00124 okltest_non_disjoint_pairs(non_disjoint_pairs);
00125 okltest_disjoint_set_system_p(disjoint_set_system_p);
00126 
00127 okltest_blockpartitionp(blockpartitionp);
00128 okltest_partitionp(partitionp);
00129 
00130 /* ********************************
00131    * Tests related to subsumption *
00132    ********************************
00133 */
00134 
00135 okltest_antichain_p(antichain_p);
00136 
00137 okltest_subsumption_closed_p(subsumption_closed_p);
00138 
00139 okltest_accessible_ss_p(accessible_ss_p);
00140 
00141 okltest_lr_subsetp(lr_subsetp);
00142 okltest_l1r_subsetp(l1r_subsetp);
00143 okltest_rl_subsetp(rl_subsetp);
00144 okltest_r1l_subsetp(r1l_subsetp);
00145 
00146 /* *****************************************
00147    * Constructions related to disjointness *
00148    *****************************************
00149 */
00150 
00151 okltest_remove_with_element(remove_with_element);
00152 okltest_remove_with_element_l(remove_with_element_l);
00153 okltest_remove_non_disjoint(remove_non_disjoint);
00154 okltest_unify_nondisjoint_elements(unify_nondisjoint_elements);
00155 
00156 
00157 /* *****************************************
00158    * Constructions related to subsumption *
00159    *****************************************
00160 */
00161 
00162 okltest_min_elements_l(min_elements_l_0);
00163 okltest_min_elements_l(min_elements_l);
00164 
00165 okltest_min_elements(min_elements_0);
00166 okltest_min_elements(min_elements);
00167 
00168 okltest_max_elements_l(max_elements_l);
00169 okltest_max_elements(max_elements);
00170 
00171 okltest_check_subsumption(check_subsumption);
00172