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
}
[ Verzeichnis aufwärts0.17unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
2026-03-28
|
