Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/digraphs/notebooks/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 27.8.2025 mit Größe 20 kB image not shown  

Quelle  demo.ipynb   Sprache: unbekannt

 
{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 1,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "LoadPackage(\"digraphs\");"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "\"1.0.1\""
      ]
     },
     "execution_count": 2,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "GAPInfo.PackagesInfo.digraphs[1].Version;"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<immutable symmetric digraph with 6 vertices, 24 edges>"
      ]
     },
     "execution_count": 3,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "D := JohnsonDigraph(4, 2);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
       " -->\n",
       "<!-- Title: hgn Pages: 1 -->\n",
       "<svg width=\"182pt\" height=\"332pt\"\n",
       " viewBox=\"0.00 0.00 182.00 332.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 328)\">\n",
       "<title>hgn</title>\n",
       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-328 178,-328 178,4 -4,4\"/>\n",
       "<!-- 1 -->\n",
       "<g id=\"node1\" class=\"node\">\n",
       "<title>1</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"87\" cy=\"-306\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"87\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
       "</g>\n",
       "<!-- 2 -->\n",
       "<g id=\"node2\" class=\"node\">\n",
       "<title>2</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"64\" cy=\"-234\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"64\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
       "</g>\n",
       "<!-- 1--2 -->\n",
       "<g id=\"edge1\" class=\"edge\">\n",
       "<title>1--2</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M81.4323,-288.5708C77.8162,-277.2506 73.1223,-262.5568 69.5164,-251.2687\"/>\n",
       "</g>\n",
       "<!-- 3 -->\n",
       "<g id=\"node3\" class=\"node\">\n",
       "<title>3</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"18\" cy=\"-162\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"18\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">3</text>\n",
       "</g>\n",
       "<!-- 1--3 -->\n",
       "<g id=\"edge2\" class=\"edge\">\n",
       "<title>1--3</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M72.912,-294.6472C61.4599,-284.6352 45.8076,-269.0212 37,-252 25.1109,-229.0233 20.6603,-199.0859 18.9949,-180.1984\"/>\n",
       "</g>\n",
       "<!-- 4 -->\n",
       "<g id=\"node4\" class=\"node\">\n",
       "<title>4</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"156\" cy=\"-162\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"156\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">4</text>\n",
       "</g>\n",
       "<!-- 1--4 -->\n",
       "<g id=\"edge3\" class=\"edge\">\n",
       "<title>1--4</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M98.4575,-291.5182C106.3893,-280.9976 116.7779,-266.1768 124,-252 136.2699,-227.9145 145.888,-198.0134 151.2568,-179.4671\"/>\n",
       "</g>\n",
       "<!-- 5 -->\n",
       "<g id=\"node5\" class=\"node\">\n",
       "<title>5</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"110\" cy=\"-90\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"110\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">5</text>\n",
       "</g>\n",
       "<!-- 1--5 -->\n",
       "<g id=\"edge4\" class=\"edge\">\n",
       "<title>1--5</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M88.9214,-287.9555C93.2508,-247.2967 103.7284,-148.8988 108.0679,-108.1451\"/>\n",
       "</g>\n",
       "<!-- 2--3 -->\n",
       "<g id=\"edge5\" class=\"edge\">\n",
       "<title>2--3</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M54.2446,-218.7307C46.4382,-206.512 35.544,-189.4602 27.7414,-177.2473\"/>\n",
       "</g>\n",
       "<!-- 2--4 -->\n",
       "<g id=\"edge6\" class=\"edge\">\n",
       "<title>2--4</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M78.375,-222.75C95.6587,-209.2236 124.4873,-186.6621 141.7259,-173.171\"/>\n",
       "</g>\n",
       "<!-- 6 -->\n",
       "<g id=\"node6\" class=\"node\">\n",
       "<title>6</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"87\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"87\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">6</text>\n",
       "</g>\n",
       "<!-- 2--6 -->\n",
       "<g id=\"edge7\" class=\"edge\">\n",
       "<title>2--6</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M65.9214,-215.9555C70.2508,-175.2967 80.7284,-76.8988 85.0679,-36.1451\"/>\n",
       "</g>\n",
       "<!-- 3--5 -->\n",
       "<g id=\"edge8\" class=\"edge\">\n",
       "<title>3--5</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M32.375,-150.75C49.6587,-137.2236 78.4873,-114.6621 95.7259,-101.171\"/>\n",
       "</g>\n",
       "<!-- 3--6 -->\n",
       "<g id=\"edge9\" class=\"edge\">\n",
       "<title>3--6</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M22.7432,-144.5329C28.112,-125.9866 37.7301,-96.0855 50,-72 57.2221,-57.8232 67.6107,-43.0024 75.5425,-32.4818\"/>\n",
       "</g>\n",
       "<!-- 4--5 -->\n",
       "<g id=\"edge10\" class=\"edge\">\n",
       "<title>4--5</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M146.2446,-146.7307C138.4382,-134.512 127.544,-117.4602 119.7414,-105.2473\"/>\n",
       "</g>\n",
       "<!-- 4--6 -->\n",
       "<g id=\"edge11\" class=\"edge\">\n",
       "<title>4--6</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M155.0051,-143.8016C153.3397,-124.9141 148.8891,-94.9767 137,-72 128.1924,-54.9788 112.5401,-39.3648 101.088,-29.3528\"/>\n",
       "</g>\n",
       "<!-- 5--6 -->\n",
       "<g id=\"edge12\" class=\"edge\">\n",
       "<title>5--6</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M104.4323,-72.5708C100.8162,-61.2506 96.1223,-46.5568 92.5164,-35.2687\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ]
     },
     "execution_count": 4,
     "metadata": {
      "image/svg+xml": {
       "height": 500,
       "width": 500
      }
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "JupyterSplashDot(DotSymmetricDigraph(D));"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 5,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "LoadPackage(\"francy\");"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<immutable digraph with 10 vertices, 30 edges>"
      ]
     },
     "execution_count": 6,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "D := PetersenGraph();\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "function( D ) ... end"
      ]
     },
     "execution_count": 7,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "FrancyDigraph := function(D)\n",
    "    local graph, nodes, v, w, canvas;\n",
    "    graph := Graph(GraphType.DIRECTED);\n",
    "    nodes := [];\n",
    "    for v in DigraphVertices(D) do\n",
    "        nodes[v] := Shape(ShapeType.SQUARE, String(v));\n",
    "        SetColor(nodes[v], \"#FFFFFF\");    \n",
    "        Add(graph, nodes[v]);\n",
    "    od;\n",
    "    for v in DigraphVertices(D) do\n",
    "        for w in OutNeighboursOfVertex(D, v) do\n",
    "            Add(graph, Link(nodes[v], nodes[w]));\n",
    "        od;\n",
    "    od;\n",
    "    canvas := Canvas(\"A digraph\");\n",
    "    Add(canvas, graph);\n",
    "    return canvas;\n",
    "end;\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"version\" : \"1.2.4\",\"mime\" : \"application\\/vnd.francy+json\",\"canvas\" : {\"width\" : 800,\"id\" : \"F72\",\"height\" : 600,\"title\" : \"A digraph\",\"graph\" : {\"type\" : \"directed\",\"id\" : \"F1\",\"simulation\" : true,\"collapsed\" : true,\"nodes\" : {\"F2\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F2\",\"size\" : 10,\"title\" : \"1\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F3\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F3\",\"size\" : 10,\"title\" : \"2\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F4\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F4\",\"size\" : 10,\"title\" : \"3\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F5\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F5\",\"size\" : 10,\"title\" : \"4\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F6\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F6\",\"size\" : 10,\"title\" : \"5\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F7\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F7\",\"size\" : 10,\"title\" : \"6\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F8\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F8\",\"size\" : 10,\"title\" : \"7\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F9\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F9\",\"size\" : 10,\"title\" : \"8\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F10\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F10\",\"size\" : 10,\"title\" : \"9\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F11\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"square\",\"id\" : \"F11\",\"size\" : 10,\"title\" : \"10\",\"layer\" : 0,\"parent\" : \"\",\"color\" : \"#FFFFFF\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}}},\"links\" : {\"F12\" : {\"id\" : \"F12\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F13\" : {\"id\" : \"F13\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F14\" : {\"id\" : \"F14\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F15\" : {\"id\" : \"F15\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F16\" : {\"id\" : \"F16\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F17\" : {\"id\" : \"F17\",\"source\" : \"F2\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F18\" : {\"id\" : \"F18\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F19\" : {\"id\" : \"F19\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F20\" : {\"id\" : \"F20\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F21\" : {\"id\" : \"F21\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F22\" : {\"id\" : \"F22\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F23\" : {\"id\" : \"F23\",\"source\" : \"F3\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false},\"F24\" : {\"id\" : \"F24\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F25\" : {\"id\" : \"F25\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F26\" : {\"id\" : \"F26\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F27\" : {\"id\" : \"F27\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F28\" : {\"id\" : \"F28\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F29\" : {\"id\" : \"F29\",\"source\" : \"F4\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F30\" : {\"id\" : \"F30\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F31\" : {\"id\" : \"F31\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F32\" : {\"id\" : \"F32\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F33\" : {\"id\" : \"F33\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F34\" : {\"id\" : \"F34\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false},\"F35\" : {\"id\" : \"F35\",\"source\" : \"F5\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F36\" : {\"id\" : \"F36\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F37\" : {\"id\" : \"F37\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F38\" : {\"id\" : \"F38\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F39\" : {\"id\" : \"F39\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F40\" : {\"id\" : \"F40\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F41\" : {\"id\" : \"F41\",\"source\" : \"F6\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false},\"F42\" : {\"id\" : \"F42\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F43\" : {\"id\" : \"F43\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F44\" : {\"id\" : \"F44\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F45\" : {\"id\" : \"F45\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F46\" : {\"id\" : \"F46\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F47\" : {\"id\" : \"F47\",\"source\" : \"F7\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F48\" : {\"id\" : \"F48\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F2\",\"color\" : \"\",\"invisible\" : false},\"F49\" : {\"id\" : \"F49\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F50\" : {\"id\" : \"F50\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F51\" : {\"id\" : \"F51\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F52\" : {\"id\" : \"F52\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false},\"F53\" : {\"id\" : \"F53\",\"source\" : \"F8\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F54\" : {\"id\" : \"F54\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F55\" : {\"id\" : \"F55\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F56\" : {\"id\" : \"F56\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F57\" : {\"id\" : \"F57\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F58\" : {\"id\" : \"F58\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false},\"F59\" : {\"id\" : \"F59\",\"source\" : \"F9\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F60\" : {\"id\" : \"F60\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F3\",\"color\" : \"\",\"invisible\" : false},\"F61\" : {\"id\" : \"F61\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F62\" : {\"id\" : \"F62\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F6\",\"color\" : \"\",\"invisible\" : false},\"F63\" : {\"id\" : \"F63\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F64\" : {\"id\" : \"F64\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F65\" : {\"id\" : \"F65\",\"source\" : \"F10\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F11\",\"color\" : \"\",\"invisible\" : false},\"F66\" : {\"id\" : \"F66\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F4\",\"color\" : \"\",\"invisible\" : false},\"F67\" : {\"id\" : \"F67\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F5\",\"color\" : \"\",\"invisible\" : false},\"F68\" : {\"id\" : \"F68\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F7\",\"color\" : \"\",\"invisible\" : false},\"F69\" : {\"id\" : \"F69\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F8\",\"color\" : \"\",\"invisible\" : false},\"F70\" : {\"id\" : \"F70\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F9\",\"color\" : \"\",\"invisible\" : false},\"F71\" : {\"id\" : \"F71\",\"source\" : \"F11\",\"length\" : 0,\"weight\" : 0,\"target\" : \"F10\",\"color\" : \"\",\"invisible\" : false}}},\"zoomToFit\" : true,\"texTypesetting\" : false,\"menus\" : {},\"messages\" : {}}}"
     },
     "execution_count": 8,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "Draw(FrancyDigraph(JohnsonDigraph(5, 2)));\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "GAP 4",
   "language": "gap",
   "name": "gap-4"
  },
  "language_info": {
   "codemirror_mode": "gap",
   "file_extension": ".g",
   "mimetype": "text/x-gap",
   "name": "GAP 4",
   "nbconvert_exporter": "",
   "pygments_lexer": "gap",
   "version": "4.dev"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]