OKlibrary  0.2.1.6
Hypergraphs.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 27.7.2008 (Swansea) */
00002 /* Copyright 2008, 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 
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/Ramsey.mac")$
00023 
00024 /* Ramsey hypergraphs are computed by ramsey_(o)hg(q,r,n) (from
00025    Hypergraphs/Lisp/Generators/Ramsey.mac).
00026 */
00027 
00028 /* The satisfiability problems for 2 colours are created by 
00029    ramsey2_ofcs(q,r,n) (from
00030    ComputerAlgebra/Satisfiability/Lisp/Generators/RamseyTheory/RamseyProblems.mac).
00031 */
00032 
00033 
00034 /* S_n acts by automorphisms on the vertex set of ramsey_hg(q,r,n): */
00035 
00036