OKlibrary  0.2.1.6
Schur.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 15.7.2012 (Swansea) */
00002 /* Copyright 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/Hypergraphs/Lisp/Generators/Schur.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/tests/Schur.mac")$
00023 
00024 /* *******************
00025    * Schur's theorem *
00026    *******************
00027 */
00028 
00029 okltest_schurtriples_ohg(schurtriples_ohg);
00030 okltest_schurtriples_hg(schurtriples_hg);
00031 
00032 okltest_schurtriples_me_ohg(schurtriples_me_ohg);
00033 okltest_schurtriples_me_hg(schurtriples_me_hg);
00034 
00035 okltest_wschurtriples_ohg(wschurtriples_ohg);
00036 
00037 okltest_nhyp_list_schurtriples_ohg(nhyp_list_schurtriples_ohg);
00038 okltest_nhyp_list_schurtriples_me_ohg(nhyp_list_schurtriples_me_ohg);
00039 okltest_nhyp_list_wschurtriples_ohg(nhyp_list_wschurtriples_ohg);
00040 okltest_nhyp_schurtriples_ohg(nhyp_schurtriples_ohg);
00041 okltest_nhyp_schurtriples_me_ohg(nhyp_schurtriples_me_ohg);
00042 okltest_nhyp_wschurtriples_ohg(nhyp_wschurtriples_ohg);
00043 
00044 okltest_has_schurtriple(has_schurtriple);
00045 okltest_has_wschurtriple(has_wschurtriple);
00046 
00047 /* ************
00048    * Symmetry *
00049    ************
00050 */
00051 
00052 okltest_schurtriples_pd_ohg(schurtriples_pd_ohg);
00053 okltest_wschurtriples_pd_ohg(wschurtriples_pd_ohg);
00054 
00055 okltest_nver_schurtriples_pd_ohg(nver_schurtriples_pd_ohg);
00056 okltest_nver_wschurtriples_pd_ohg(nver_wschurtriples_pd_ohg);
00057 
00058 /* *****************
00059    * Group triples *
00060    *****************
00061 */
00062 
00063 okltest_grouptriples_ougrp2ohg(grouptriples_ougrp2ohg);
00064 okltest_grouptriples_ugrp2hg(grouptriples_ugrp2hg);
00065 okltest_grouptriples_me_ougrp2ohg(grouptriples_me_ougrp2ohg);
00066 okltest_grouptriples_me_ugrp2hg(grouptriples_me_ugrp2hg);
00067 okltest_wgrouptriples_ougrp2ohg(wgrouptriples_ougrp2ohg);
00068 okltest_wgrouptriples_ugrp2hg(wgrouptriples_ugrp2hg);
00069 
00070 okltest_nver_grouptriples_ougrp2ohg(nver_grouptriples_ougrp2ohg);
00071 okltest_nver_grouptriples_ugrp2hg(nver_grouptriples_ugrp2hg);
00072 okltest_nver_grouptriples_me_ougrp2ohg(nver_grouptriples_me_ougrp2ohg);
00073 okltest_nver_grouptriples_me_ugrp2hg(nver_grouptriples_me_ugrp2hg);
00074 okltest_nver_wgrouptriples_ougrp2ohg(nver_wgrouptriples_ougrp2ohg);
00075 okltest_nver_wgrouptriples_ugrp2hg(nver_wgrouptriples_ugrp2hg);
00076 
00077 okltest_nhyp_grouptriples_ougrp2ohg(nhyp_grouptriples_ougrp2ohg);
00078 okltest_nhyp_wgrouptriples_ougrp2ohg(nhyp_wgrouptriples_ougrp2ohg);
00079 
00080 okltest_mschurtriples_ohg(mschurtriples_ohg);
00081 okltest_mschurtriples_hg(mschurtriples_hg);
00082 okltest_mschurtriples_me_ohg(mschurtriples_me_ohg);
00083 okltest_mschurtriples_me_hg(mschurtriples_me_hg);
00084 okltest_wmschurtriples_ohg(wmschurtriples_ohg);
00085 okltest_wmschurtriples_hg(wmschurtriples_hg);
00086 
00087 okltest_nver_mschurtriples_ohg(nver_mschurtriples_ohg);
00088 okltest_nver_mschurtriples_hg(nver_mschurtriples_hg);
00089 okltest_nver_mschurtriples_me_ohg(nver_mschurtriples_me_ohg);
00090 okltest_nver_mschurtriples_me_hg(nver_mschurtriples_me_hg);
00091 okltest_nver_wmschurtriples_ohg(nver_wmschurtriples_ohg);
00092 okltest_nver_wmschurtriples_hg(nver_wmschurtriples_hg);
00093 
00094 okltest_nhyp_mschurtriples_ohg(nhyp_mschurtriples_ohg);
00095 /* okltest_nhyp_mschurtriples_hg(nhyp_mschurtriples_hg); */
00096 /* okltest_nhyp_mschurtriples_me_ohg(nhyp_mschurtriples_me_ohg); */
00097 /* okltest_nhyp_mschurtriples_me_hg(nhyp_mschurtriples_me_hg); */
00098 okltest_nhyp_wmschurtriples_ohg(nhyp_wmschurtriples_ohg);
00099 /* okltest_nhyp_wmschurtriples_hg(nhyp_wmschurtriples_hg); */
00100 
00101 okltest_symmetrictriples_ohg(symmetrictriples_ohg);
00102 okltest_symmetrictriples_hg(symmetrictriples_hg);
00103 okltest_symmetrictriples_me_ohg(symmetrictriples_me_ohg);
00104 okltest_symmetrictriples_me_hg(symmetrictriples_me_hg);
00105 okltest_wsymmetrictriples_ohg(wsymmetrictriples_ohg);
00106 okltest_wsymmetrictriples_hg(wsymmetrictriples_hg);
00107 
00108 okltest_nver_symmetrictriples_ohg(nver_symmetrictriples_ohg);
00109 okltest_nver_symmetrictriples_hg(nver_symmetrictriples_hg);
00110 okltest_nver_symmetrictriples_me_ohg(nver_symmetrictriples_me_ohg);
00111 okltest_nver_symmetrictriples_me_hg(nver_symmetrictriples_me_hg);
00112 okltest_nver_wsymmetrictriples_ohg(nver_wsymmetrictriples_ohg);
00113 okltest_nver_wsymmetrictriples_hg(nver_wsymmetrictriples_hg);
00114 
00115 okltest_nhyp_symmetrictriples_ohg(nhyp_symmetrictriples_ohg);
00116 okltest_nhyp_wsymmetrictriples_ohg(nhyp_wsymmetrictriples_ohg);
00117