OKlibrary  0.2.1.6
ProjectivePlanes.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 6.8.2008 (Swansea) */
00002 /* Copyright 2008 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/CombinatorialMatrices/Lisp/Basics.mac")$
00023 
00024 
00025 /* ***************************************
00026    * Classification of degenerated cases *
00027    ***************************************
00028 */
00029 
00030 
00031 /* ******************
00032    * The Fano plane *
00033    ******************
00034 */
00035 
00036 /* The incidence matrix of the Fano plane, given as a
00037    symmetric matrix:
00038 */
00039 fano_m : matrix(
00040     [0 , 1 , 1 , 0 , 0 , 1 , 0],
00041     [1 , 0 , 1 , 0 , 1 , 0 , 0],
00042     [1 , 1 , 0 , 1 , 0 , 0 , 0],
00043     [0 , 0 , 1 , 1 , 0 , 0 , 1],
00044     [0 , 1 , 0 , 0 , 1 , 0 , 1],
00045     [1 , 0 , 0 , 0 , 0 , 1 , 1],
00046     [0 , 0 , 0 , 1 , 1 , 1 , 0]
00047 )$
00048 fano_ics : com2ics(m2com(fano_m))$
00049 fano_gl : scom2gl(m2scom(fano_m))$
00050