OKlibrary  0.2.1.6
Basics.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 16.3.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 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/CombinatorialMatrices/Lisp/Basics.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/CombinatorialMatrices/Lisp/tests/Basics.mac")$
00023 
00024 /* *****************
00025    * Basic notions *
00026    *****************
00027 */
00028 
00029 okltest_binfam_p(binfam_p);
00030 
00031 okltest_com_p(com_p);
00032 okltest_ocom_p(ocom_p);
00033 okltest_scom_p(scom_p);
00034 
00035 okltest_sqscom_p(sqscom_p);
00036 okltest_osqcom_p(osqcom_p);
00037 
00038 /* *********************
00039    * Checking equality *
00040    *********************
00041 */
00042 
00043 okltest_com_equalp(com_equalp);
00044 okltest_scom_equalp(scom_equalp);
00045 
00046 /* ***************
00047    * Conversions *
00048    ***************
00049 */
00050 
00051 okltest_scom2com(scom2com);
00052 okltest_oscom2ocom(oscom2ocom);
00053 okltest_com2scom(com2scom);
00054 okltest_ocom2oscom(ocom2oscom);
00055 
00056 okltest_ocom2com(ocom2com);
00057 okltest_oscom2scom(oscom2scom);
00058 okltest_com2ocom(com2ocom);
00059 okltest_scom2oscom(scom2oscom);
00060 
00061 okltest_com2m(com2m);
00062 okltest_ocom2m(ocom2m);
00063 okltest_scom2m(scom2m);
00064 okltest_oscom2m(oscom2m);
00065 
00066 okltest_m2com(m2com);
00067 okltest_m2ocom(m2ocom);
00068 okltest_m2scom(m2scom);
00069 okltest_m2oscom(m2oscom);
00070 
00071 okltest_com_l(com_l);
00072 okltest_scom_l(scom_l);
00073 
00074 okltest_mrc2ocom(mrc2ocom);
00075 
00076 /* ***********************
00077    * Basic constructions *
00078    ***********************
00079 */
00080 
00081 okltest_emptycom(emptycom);
00082 okltest_emptycom_r(emptycom_r);
00083 okltest_emptycom_c(emptycom_c);
00084 okltest_emptyscom(emptyscom);
00085 
00086 okltest_zerocom(zerocom);
00087 okltest_zeroscom(zeroscom);
00088 
00089 okltest_constantcom(constantcom);
00090 okltest_constantscom(constantscom);
00091 
00092 okltest_idscom(idscom);
00093 okltest_cdiagscom(okltest_cdiagscom);
00094 
00095 okltest_all_m(all_m);
00096 
00097 okltest_genmatrix_m(genmatrix_m);
00098 okltest_genmatrix_sm(genmatrix_sm);
00099 
00100 /* *******************
00101    * Random matrices *
00102    *******************
00103 */
00104 
00105 okltest_random_m(random_m);
00106 okltest_random_intiv_m(random_intiv_m);
00107 okltest_random_fpiv_m(random_fpiv_m);
00108 okltest_random_sm(random_sm);
00109 
00110 okltest_random_permutation_m(random_permutation_m);
00111 okltest_random_rpermutation_m(random_rpermutation_m);
00112 okltest_random_cpermutation_m(random_cpermutation_m);
00113 
00114 okltest_random_spolar_m(random_spolar_m);
00115 
00116 okltest_extend_linear_hull(extend_linear_hull);
00117 okltest_linear_hull(linear_hull);
00118 okltest_random_inv_m(random_inv_m);
00119 
00120 /* ****************************
00121    * Rows, columns, diagonals *
00122    ****************************
00123 */
00124 
00125 okltest_com2l_r(com2l_r);
00126 okltest_com2ll_r(com2ll_r);
00127 okltest_scom2ll_r(scom2ll_r);
00128 okltest_com2l_c(com2l_c);
00129 okltest_com2ll_c(com2ll_c);
00130 okltest_scom2ll_c(scom2ll_c);
00131 
00132 okltest_row_m(row_m);
00133 okltest_column_m(column_m);
00134 
00135 okltest_com2omsoms_r(com2omsoms_r);
00136 okltest_com2omsoms_c(com2omsoms_c);
00137 
00138 okltest_maindiag_scom(maindiag_scom);
00139 okltest_maindiagoms_scom(maindiagoms_scom);
00140 
00141 /* *******************
00142    * Transformations *
00143    *******************
00144 */
00145 
00146 okltest_scom2g(scom2g);
00147 okltest_scom2gl(scom2gl);
00148 okltest_scom2dg(scom2dg);
00149 okltest_scom2dgl(scom2dgl);
00150 
00151 okltest_com2ghg(com2ghg);
00152 
00153 okltest_trans_l2scom(trans_l2scom);
00154 
00155 /* ********************
00156    * Basic operations *
00157    ********************
00158 */
00159 
00160 okltest_dim_com(dim_com);
00161 okltest_order_scom(order_scom);
00162 
00163 okltest_trans_com(trans_com);
00164 okltest_trans_scom(trans_scom);
00165 
00166 /* ************************
00167    * Algebraic operations *
00168    ************************
00169 */
00170 
00171 okltest_add_scom(add_scom);
00172 okltest_diff_scom(diff_scom);
00173 okltest_scprod_scom(scprod_scom);
00174 okltest_prod_com(prod_com);
00175 
00176 /* ********************
00177    * Entry statistics *
00178    ********************
00179 */
00180 
00181 okltest_min_com(min_com);
00182 okltest_max_com(max_com);
00183 
00184 okltest_sum_com(sum_com);
00185 okltest_sum_scom(sum_scom);
00186 
00187 okltest_sum_m(sum_m);
00188 
00189 okltest_abs_com(abs_com);
00190 okltest_abs_scom(abs_scom);
00191 
00192 okltest_rowsums_list_com(rowsums_list_com);
00193 okltest_columnsums_list_com(columnsums_list_com);
00194 
00195 okltest_com_distribution(com_distribution);
00196 
00197 /* ***************
00198    * Basic tests *
00199    ***************
00200 */
00201 
00202 okltest_empty_com_p(empty_com_p);
00203 
00204 okltest_every_com_p(every_com_p);
00205 okltest_every_scom_p(every_scom_p);
00206 okltest_some_com_p(some_com_p);
00207 okltest_some_scom_p(some_scom_p);
00208 
00209 okltest_every_diagc_scom_p(every_diagc_scom_p);
00210 okltest_every_diag_scom_p(every_diag_scom_p);
00211 okltest_every_ndiagc_scom_p(every_ndiagc_scom_p);
00212 okltest_every_ndiag_scom_p(every_ndiag_scom_p);
00213 okltest_some_ndiag_scom_p(some_ndiag_scom_p);
00214 
00215 okltest_extscom_com_p(extscom_com_p);
00216 okltest_obsscom_com_p(obsscom_com_p);
00217 
00218 okltest_symmetric_scom_p(symmetric_scom_p);
00219 okltest_symmetric_m_p(symmetric_m_p);
00220 
00221 okltest_alldifferent_m_p(alldifferent_m_p);
00222 
00223 /* ***************
00224    * Polynomials *
00225    ***************
00226 */
00227 
00228 okltest_charpoly_m(charpoly_m);
00229 okltest_charpoly_scom(charpoly_scom);
00230