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

Quelle  francy.ipynb   Sprache: unbekannt

 
{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Load Francy Package"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 1,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    },
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 2,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    },
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 3,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "LoadPackage(\"francy\");\n",
    "LoadPackage(\"digraph\");\n",
    "LoadPackage(\"num\");"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### An attempt to LatticeSubgroups By Markus"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"canvas\" : {\"graph\" : {\"collapsed\" : true,\"id\" : \"F2BC07CD866814A9944E0535F2727B3D1\",\"links\" : {\"F04B841BB95E84A5014DCF7B2A0251FC3\" : {\"color\" : \"\",\"id\" : \"F04B841BB95E84A5014DCF7B2A0251FC3\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FDCE98F0FCF044BA8BC32E2E6682E684B\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F0534FB53BDD644774C20549B32BA5956\" : {\"color\" : \"\",\"id\" : \"F0534FB53BDD644774C20549B32BA5956\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"FB385CA820A654A6B6C9533891D817F6B\",\"weight\" : 0},\"F06668D287B154619349F2436DCD72C18\" : {\"color\" : \"\",\"id\" : \"F06668D287B154619349F2436DCD72C18\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F18B55C70101B40263C58AE0DF0086DDE\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F0B1E608E0B7844971C520DBC7A9E74A1\" : {\"color\" : \"\",\"id\" : \"F0B1E608E0B7844971C520DBC7A9E74A1\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F5A5771BF1E494AAC2C1784384F18DC8F\",\"target\" : \"F61F04F2EE6D640DE2CBC0D49EC76408B\",\"weight\" : 0},\"F0CEC88E53D9F4AD9243579FC2E221BF2\" : {\"color\" : \"\",\"id\" : \"F0CEC88E53D9F4AD9243579FC2E221BF2\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FC103BB918B784ACA3CA7404240528265\",\"target\" : \"F81E418CB16954DA0ECC64B0416F84EF0\",\"weight\" : 0},\"F0EFC447BC2A94F6A046EAA5CF1827861\" : {\"color\" : \"\",\"id\" : \"F0EFC447BC2A94F6A046EAA5CF1827861\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F228444A7C4A542D4BCE6C0AFBEEB3424\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F12B892EB1F6944BD1CB9AEEA3E2DC31B\" : {\"color\" : \"\",\"id\" : \"F12B892EB1F6944BD1CB9AEEA3E2DC31B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F5A5771BF1E494AAC2C1784384F18DC8F\",\"target\" : \"F5B659AAB3A894F20B41D222BDB6E9746\",\"weight\" : 0},\"F137DB56349C44C86349415D8DBC577B4\" : {\"color\" : \"\",\"id\" : \"F137DB56349C44C86349415D8DBC577B4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FFE43A6EA50084AD224C9EFFBDBDD9775\",\"target\" : \"F6A0BCE66633249C4E4FE5F6931B1630F\",\"weight\" : 0},\"F14734F04A2EC4D0174E3D02B7040ABE0\" : {\"color\" : \"\",\"id\" : \"F14734F04A2EC4D0174E3D02B7040ABE0\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F7819D5F86F0B41ACA4BE9732793F564D\",\"target\" : \"FB385CA820A654A6B6C9533891D817F6B\",\"weight\" : 0},\"F1527ED48A5FA4803A4760D4A4ECD67A4\" : {\"color\" : \"\",\"id\" : \"F1527ED48A5FA4803A4760D4A4ECD67A4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"FDCE98F0FCF044BA8BC32E2E6682E684B\",\"weight\" : 0},\"F16B6D4BBBDE549606C32412BD5FCAAC8\" : {\"color\" : \"\",\"id\" : \"F16B6D4BBBDE549606C32412BD5FCAAC8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F67B962BCBF294BF14C2EE2EC12AC5E18\",\"weight\" : 0},\"F1B09C45784694781CC3D3E68AF1F5CFF\" : {\"color\" : \"\",\"id\" : \"F1B09C45784694781CC3D3E68AF1F5CFF\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4888D5A914AF4F4144D7014F3ADFA2AD\",\"target\" : \"FB7659CB2A4754522FC6A50E56B5D9E5F\",\"weight\" : 0},\"F2140F5B9EB414493EC719FFE8D4BF2ED\" : {\"color\" : \"\",\"id\" : \"F2140F5B9EB414493EC719FFE8D4BF2ED\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB03BBA6682884F85343CF5CCF74B9D24\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F24860B81D2DE491BE4F5F9B4D4A07C7F\" : {\"color\" : \"\",\"id\" : \"F24860B81D2DE491BE4F5F9B4D4A07C7F\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F5B659AAB3A894F20B41D222BDB6E9746\",\"weight\" : 0},\"F26572242DF2F43D9AC72DA4D57B7AA81\" : {\"color\" : \"\",\"id\" : \"F26572242DF2F43D9AC72DA4D57B7AA81\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FC103BB918B784ACA3CA7404240528265\",\"target\" : \"FA345964883AF459A9C3C5042B9F3D102\",\"weight\" : 0},\"F2ACDFEAF7704468DD44BC4CFBDA98CDD\" : {\"color\" : \"\",\"id\" : \"F2ACDFEAF7704468DD44BC4CFBDA98CDD\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA345964883AF459A9C3C5042B9F3D102\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F2B929BF53E274CED6C033077FD182A78\" : {\"color\" : \"\",\"id\" : \"F2B929BF53E274CED6C033077FD182A78\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F08AF33D4A0504971FC056DCBB7BCB308\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F2BCA389AE5E74B703C862241C033D761\" : {\"color\" : \"\",\"id\" : \"F2BCA389AE5E74B703C862241C033D761\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"FFE43A6EA50084AD224C9EFFBDBDD9775\",\"weight\" : 0},\"F2D93B026F585424AF4DCE24E0C2A49F8\" : {\"color\" : \"\",\"id\" : \"F2D93B026F585424AF4DCE24E0C2A49F8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FF3FB46A59E2844281CBADFFF56EF24F9\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F2E04D2A449AB404484BE1DB2766E0E0A\" : {\"color\" : \"\",\"id\" : \"F2E04D2A449AB404484BE1DB2766E0E0A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F8A0E59ECD1D24F6AECEC9667B498FE5F\",\"weight\" : 0},\"F32F85A285C36492DF41341B206CF469A\" : {\"color\" : \"\",\"id\" : \"F32F85A285C36492DF41341B206CF469A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F228444A7C4A542D4BCE6C0AFBEEB3424\",\"weight\" : 0},\"F330476CCC97F40C484795D0F126D75CE\" : {\"color\" : \"\",\"id\" : \"F330476CCC97F40C484795D0F126D75CE\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4888D5A914AF4F4144D7014F3ADFA2AD\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F3513C9B110C7438B64E6A4A2EF887B49\" : {\"color\" : \"\",\"id\" : \"F3513C9B110C7438B64E6A4A2EF887B49\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F6A0BCE66633249C4E4FE5F6931B1630F\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F360FDB11B96046EC64EACF2FF9DF2819\" : {\"color\" : \"\",\"id\" : \"F360FDB11B96046EC64EACF2FF9DF2819\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F05E306E7BA0240BFF4B59B772536AC52\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F37407350D8344221FCDF6B0C4FACDF6E\" : {\"color\" : \"\",\"id\" : \"F37407350D8344221FCDF6B0C4FACDF6E\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F0470FE1CE5464A419C47CB3478F966D2\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F383B937CCF3547927CB4CC7779D548B7\" : {\"color\" : \"\",\"id\" : \"F383B937CCF3547927CB4CC7779D548B7\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F81E418CB16954DA0ECC64B0416F84EF0\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F395B367C2F9243410CB0A7E8BCCF58D6\" : {\"color\" : \"\",\"id\" : \"F395B367C2F9243410CB0A7E8BCCF58D6\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F67ADFBE598DC4B1FDC9257CFB114B480\",\"target\" : \"FA5A90467202E4480D40971BE334DE0F3\",\"weight\" : 0},\"F3F10A2DC1ECE471C0CB1E7A1D6292133\" : {\"color\" : \"\",\"id\" : \"F3F10A2DC1ECE471C0CB1E7A1D6292133\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"FB7659CB2A4754522FC6A50E56B5D9E5F\",\"weight\" : 0},\"F40168CEA92334FC0148D276E79DE5B4B\" : {\"color\" : \"\",\"id\" : \"F40168CEA92334FC0148D276E79DE5B4B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"weight\" : 0},\"F4358CADED853411B94A33DAB4A036C8D\" : {\"color\" : \"\",\"id\" : \"F4358CADED853411B94A33DAB4A036C8D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F7819D5F86F0B41ACA4BE9732793F564D\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F483C58C84F764BA7ACE75701FDD9E22C\" : {\"color\" : \"\",\"id\" : \"F483C58C84F764BA7ACE75701FDD9E22C\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"FB0D37AFC978D49C0641B268ABADFB1FB\",\"weight\" : 0},\"F49BDA1295C9445F6F4EC266BF0A82D84\" : {\"color\" : \"\",\"id\" : \"F49BDA1295C9445F6F4EC266BF0A82D84\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F5074E619779D4AAC7C630A8C550DCE4E\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F4B6224E6E985455E6C182BA6BE9E14F8\" : {\"color\" : \"\",\"id\" : \"F4B6224E6E985455E6C182BA6BE9E14F8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F67B962BCBF294BF14C2EE2EC12AC5E18\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F4D178A036EF742C2BC6C055D9B907FB9\" : {\"color\" : \"\",\"id\" : \"F4D178A036EF742C2BC6C055D9B907FB9\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB0D37AFC978D49C0641B268ABADFB1FB\",\"target\" : \"F019AC7A6ED924E693494820A54CD4B05\",\"weight\" : 0},\"F55F63E4544B84A3F14A229612277EA64\" : {\"color\" : \"\",\"id\" : \"F55F63E4544B84A3F14A229612277EA64\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F5B659AAB3A894F20B41D222BDB6E9746\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F562A6F4EEB684370C4573A32DB918402\" : {\"color\" : \"\",\"id\" : \"F562A6F4EEB684370C4573A32DB918402\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"FC103BB918B784ACA3CA7404240528265\",\"weight\" : 0},\"F5934678072AB4FE24C1E02260B3AEC51\" : {\"color\" : \"\",\"id\" : \"F5934678072AB4FE24C1E02260B3AEC51\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F60203B7254BE4CFC046C558E36D7D8C8\",\"weight\" : 0},\"F5CDD6C14340F4CE52CB819785F23B0BB\" : {\"color\" : \"\",\"id\" : \"F5CDD6C14340F4CE52CB819785F23B0BB\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4888D5A914AF4F4144D7014F3ADFA2AD\",\"target\" : \"FB03BBA6682884F85343CF5CCF74B9D24\",\"weight\" : 0},\"F5EFEB101EAFA4AD5BC6729B00FB31224\" : {\"color\" : \"\",\"id\" : \"F5EFEB101EAFA4AD5BC6729B00FB31224\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"FA345964883AF459A9C3C5042B9F3D102\",\"weight\" : 0},\"F6712D58088354743248E80CD0871AE9A\" : {\"color\" : \"\",\"id\" : \"F6712D58088354743248E80CD0871AE9A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F3A204C3BC6324F0DF43480C1821F0511\",\"target\" : \"F319E56140B0742E84C19F6F965240AD6\",\"weight\" : 0},\"F6B0D2D96936A4F02940D4BE2F53D08CF\" : {\"color\" : \"\",\"id\" : \"F6B0D2D96936A4F02940D4BE2F53D08CF\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F319E56140B0742E84C19F6F965240AD6\",\"weight\" : 0},\"F6BF6D40B218C4097549934EF617AE244\" : {\"color\" : \"\",\"id\" : \"F6BF6D40B218C4097549934EF617AE244\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F36D70F2EED0A4B655C48FAE8FF362CF3\",\"weight\" : 0},\"F6E830FE3BA81486EBC7520C337511CD6\" : {\"color\" : \"\",\"id\" : \"F6E830FE3BA81486EBC7520C337511CD6\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F67ADFBE598DC4B1FDC9257CFB114B480\",\"weight\" : 0},\"F6FFD0DC6D901452F0C4BDBFB98CC8EA4\" : {\"color\" : \"\",\"id\" : \"F6FFD0DC6D901452F0C4BDBFB98CC8EA4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F61F04F2EE6D640DE2CBC0D49EC76408B\",\"weight\" : 0},\"F70C0C02B07B84DB34C05ECEED45E49C0\" : {\"color\" : \"\",\"id\" : \"F70C0C02B07B84DB34C05ECEED45E49C0\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F7819D5F86F0B41ACA4BE9732793F564D\",\"target\" : \"F4F26BEBD124842CC2CDA37DE0868DA22\",\"weight\" : 0},\"F7220CDA1859D4FB5D44E4B78F5ED59EB\" : {\"color\" : \"\",\"id\" : \"F7220CDA1859D4FB5D44E4B78F5ED59EB\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F8EE3D37ADA264D75545D7371AD980E3F\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F73BA8F0160C048B6EC43BD311F163595\" : {\"color\" : \"\",\"id\" : \"F73BA8F0160C048B6EC43BD311F163595\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F7819D5F86F0B41ACA4BE9732793F564D\",\"weight\" : 0},\"F7634F3CE41084B803C4699F24E14D4A0\" : {\"color\" : \"\",\"id\" : \"F7634F3CE41084B803C4699F24E14D4A0\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FFE43A6EA50084AD224C9EFFBDBDD9775\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F7CE460F59FF34ABCCC0A2DA6C499EBE1\" : {\"color\" : \"\",\"id\" : \"F7CE460F59FF34ABCCC0A2DA6C499EBE1\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F08AF33D4A0504971FC056DCBB7BCB308\",\"weight\" : 0},\"F858A0120C4444F10ECA4C280DCA35730\" : {\"color\" : \"\",\"id\" : \"F858A0120C4444F10ECA4C280DCA35730\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F67ADFBE598DC4B1FDC9257CFB114B480\",\"target\" : \"F228444A7C4A542D4BCE6C0AFBEEB3424\",\"weight\" : 0},\"F8987EB361DA64586C40E112150E13098\" : {\"color\" : \"\",\"id\" : \"F8987EB361DA64586C40E112150E13098\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F3A204C3BC6324F0DF43480C1821F0511\",\"weight\" : 0},\"F8B6637E1BB054FCE7CD574E607BE624A\" : {\"color\" : \"\",\"id\" : \"F8B6637E1BB054FCE7CD574E607BE624A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FC103BB918B784ACA3CA7404240528265\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F8DCD5BBDED624AE18C514461B4AAEA75\" : {\"color\" : \"\",\"id\" : \"F8DCD5BBDED624AE18C514461B4AAEA75\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F8A0E59ECD1D24F6AECEC9667B498FE5F\",\"target\" : \"F05E306E7BA0240BFF4B59B772536AC52\",\"weight\" : 0},\"F8DD0CA00423F4D774CF0766011BCA30F\" : {\"color\" : \"\",\"id\" : \"F8DD0CA00423F4D774CF0766011BCA30F\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB7659CB2A4754522FC6A50E56B5D9E5F\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F936E20B004D54A3D0C08E853E35C38A4\" : {\"color\" : \"\",\"id\" : \"F936E20B004D54A3D0C08E853E35C38A4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F4888D5A914AF4F4144D7014F3ADFA2AD\",\"weight\" : 0},\"F94F08AE9E9724579DC4004270C597E1A\" : {\"color\" : \"\",\"id\" : \"F94F08AE9E9724579DC4004270C597E1A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F71E1019A4AFC45907C1B20372DC42FDF\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F972A7D3A2BD2428E84513487EA9965A8\" : {\"color\" : \"\",\"id\" : \"F972A7D3A2BD2428E84513487EA9965A8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F8A0E59ECD1D24F6AECEC9667B498FE5F\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"F9980C3AB1FE8467A0C39E0816714D39D\" : {\"color\" : \"\",\"id\" : \"F9980C3AB1FE8467A0C39E0816714D39D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F36D70F2EED0A4B655C48FAE8FF362CF3\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"F9F3EBB45E0E542B3FC53FCD55E436659\" : {\"color\" : \"\",\"id\" : \"F9F3EBB45E0E542B3FC53FCD55E436659\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F319E56140B0742E84C19F6F965240AD6\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FA04511C0F9864CD49421236EAD4681D7\" : {\"color\" : \"\",\"id\" : \"FA04511C0F9864CD49421236EAD4681D7\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB0D37AFC978D49C0641B268ABADFB1FB\",\"target\" : \"F8EE3D37ADA264D75545D7371AD980E3F\",\"weight\" : 0},\"FA6051B31B0334002FC557EA064E34781\" : {\"color\" : \"\",\"id\" : \"FA6051B31B0334002FC557EA064E34781\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FA78183C1D3CA418F3CC3C83037C3C6B8\" : {\"color\" : \"\",\"id\" : \"FA78183C1D3CA418F3CC3C83037C3C6B8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4F26BEBD124842CC2CDA37DE0868DA22\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FA79F838DC78B4AEBF4D14426FF5AF0F4\" : {\"color\" : \"\",\"id\" : \"FA79F838DC78B4AEBF4D14426FF5AF0F4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F81E418CB16954DA0ECC64B0416F84EF0\",\"weight\" : 0},\"FA927E80CEE7A424B2422AFBA0F2555D8\" : {\"color\" : \"\",\"id\" : \"FA927E80CEE7A424B2422AFBA0F2555D8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F07CA41218DCF468D2C4C8DC29A4E435F\",\"weight\" : 0},\"FA9ED231CB4E94792E44909958FE38065\" : {\"color\" : \"\",\"id\" : \"FA9ED231CB4E94792E44909958FE38065\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA5A90467202E4480D40971BE334DE0F3\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FADAB64089636489B9C138F2DEEA6DF25\" : {\"color\" : \"\",\"id\" : \"FADAB64089636489B9C138F2DEEA6DF25\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB385CA820A654A6B6C9533891D817F6B\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FAE9D1BE0EA16438874B27FE539D34269\" : {\"color\" : \"\",\"id\" : \"FAE9D1BE0EA16438874B27FE539D34269\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F07CA41218DCF468D2C4C8DC29A4E435F\",\"target\" : \"F0470FE1CE5464A419C47CB3478F966D2\",\"weight\" : 0},\"FB044BBE020E04383F4C5C95C677AC07D\" : {\"color\" : \"\",\"id\" : \"FB044BBE020E04383F4C5C95C677AC07D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F4F26BEBD124842CC2CDA37DE0868DA22\",\"weight\" : 0},\"FB2EF5C7DE1814CEC9CE0BD93A05AE5A9\" : {\"color\" : \"\",\"id\" : \"FB2EF5C7DE1814CEC9CE0BD93A05AE5A9\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FDCE98F0FCF044BA8BC32E2E6682E684B\",\"target\" : \"F67B962BCBF294BF14C2EE2EC12AC5E18\",\"weight\" : 0},\"FB44F8E272E49437FD43BFC7AC2524DF4\" : {\"color\" : \"\",\"id\" : \"FB44F8E272E49437FD43BFC7AC2524DF4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F67B962BCBF294BF14C2EE2EC12AC5E18\",\"weight\" : 0},\"FB4A5CE0FD8C84773440706490F3EEAA6\" : {\"color\" : \"\",\"id\" : \"FB4A5CE0FD8C84773440706490F3EEAA6\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F8EE3D37ADA264D75545D7371AD980E3F\",\"weight\" : 0},\"FB6420EDE3EBF43D84C022594ED685445\" : {\"color\" : \"\",\"id\" : \"FB6420EDE3EBF43D84C022594ED685445\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F5074E619779D4AAC7C630A8C550DCE4E\",\"weight\" : 0},\"FB64AF9C0DF8844D5549A677F3E73A8E0\" : {\"color\" : \"\",\"id\" : \"FB64AF9C0DF8844D5549A677F3E73A8E0\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FB0D37AFC978D49C0641B268ABADFB1FB\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FBD9E398833344A7ADC806BAD17402604\" : {\"color\" : \"\",\"id\" : \"FBD9E398833344A7ADC806BAD17402604\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F61F04F2EE6D640DE2CBC0D49EC76408B\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FC17233E967514F6CE4F0F353D6A14C85\" : {\"color\" : \"\",\"id\" : \"FC17233E967514F6CE4F0F353D6A14C85\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F5A5771BF1E494AAC2C1784384F18DC8F\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FC31B35D78FF84F2B8C6FAADDC0DB0052\" : {\"color\" : \"\",\"id\" : \"FC31B35D78FF84F2B8C6FAADDC0DB0052\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F07CA41218DCF468D2C4C8DC29A4E435F\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FC3BF146966EC4D04DCF185F67B457960\" : {\"color\" : \"\",\"id\" : \"FC3BF146966EC4D04DCF185F67B457960\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F71E1019A4AFC45907C1B20372DC42FDF\",\"weight\" : 0},\"FC3F97C37978E48F7ACDF22F2D8EEEAC7\" : {\"color\" : \"\",\"id\" : \"FC3F97C37978E48F7ACDF22F2D8EEEAC7\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F019AC7A6ED924E693494820A54CD4B05\",\"target\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"weight\" : 0},\"FC7D8DD2542844CD584F39D6A21CEE2C7\" : {\"color\" : \"\",\"id\" : \"FC7D8DD2542844CD584F39D6A21CEE2C7\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"FA5A90467202E4480D40971BE334DE0F3\",\"weight\" : 0},\"FC9F8E4D6C2AC4E1BCC02AF98B1B13AF8\" : {\"color\" : \"\",\"id\" : \"FC9F8E4D6C2AC4E1BCC02AF98B1B13AF8\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F019AC7A6ED924E693494820A54CD4B05\",\"weight\" : 0},\"FCB30C5C48EDD45D744A771BD4CA25AD1\" : {\"color\" : \"\",\"id\" : \"FCB30C5C48EDD45D744A771BD4CA25AD1\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F6A0BCE66633249C4E4FE5F6931B1630F\",\"weight\" : 0},\"FCD8CD831DB1B4C93CC1771842D80FD45\" : {\"color\" : \"\",\"id\" : \"FCD8CD831DB1B4C93CC1771842D80FD45\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F67ADFBE598DC4B1FDC9257CFB114B480\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FCDAA11DED07240C1F4429FBD27CD81D3\" : {\"color\" : \"\",\"id\" : \"FCDAA11DED07240C1F4429FBD27CD81D3\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F05E306E7BA0240BFF4B59B772536AC52\",\"weight\" : 0},\"FCF8B9FDB01264AD5446BBEFB8133E0D1\" : {\"color\" : \"\",\"id\" : \"FCF8B9FDB01264AD5446BBEFB8133E0D1\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"FF3FB46A59E2844281CBADFFF56EF24F9\",\"weight\" : 0},\"FD24388E504254B3ECC899D9748C5DE87\" : {\"color\" : \"\",\"id\" : \"FD24388E504254B3ECC899D9748C5DE87\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F60203B7254BE4CFC046C558E36D7D8C8\",\"target\" : \"F08AF33D4A0504971FC056DCBB7BCB308\",\"weight\" : 0},\"FDF3C3C926F384025CC730F076C1FBC14\" : {\"color\" : \"\",\"id\" : \"FDF3C3C926F384025CC730F076C1FBC14\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F8A0E59ECD1D24F6AECEC9667B498FE5F\",\"target\" : \"F36D70F2EED0A4B655C48FAE8FF362CF3\",\"weight\" : 0},\"FE051511DCE3D4A3A34FDD9BF5CDAD1E4\" : {\"color\" : \"\",\"id\" : \"FE051511DCE3D4A3A34FDD9BF5CDAD1E4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F07CA41218DCF468D2C4C8DC29A4E435F\",\"target\" : \"F5074E619779D4AAC7C630A8C550DCE4E\",\"weight\" : 0},\"FE06BCD46747840705407AA26AB9BA35A\" : {\"color\" : \"\",\"id\" : \"FE06BCD46747840705407AA26AB9BA35A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F3A204C3BC6324F0DF43480C1821F0511\",\"target\" : \"F18B55C70101B40263C58AE0DF0086DDE\",\"weight\" : 0},\"FE29E81CAF5734142D4115FBBCB27CD5C\" : {\"color\" : \"\",\"id\" : \"FE29E81CAF5734142D4115FBBCB27CD5C\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F60203B7254BE4CFC046C558E36D7D8C8\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FE8CE86EAA1EB4A063481C01F4687D755\" : {\"color\" : \"\",\"id\" : \"FE8CE86EAA1EB4A063481C01F4687D755\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F5A5771BF1E494AAC2C1784384F18DC8F\",\"weight\" : 0},\"FEA332E0097E749D3243339D7D5184871\" : {\"color\" : \"\",\"id\" : \"FEA332E0097E749D3243339D7D5184871\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"target\" : \"F73CFCE99F7494534B499916CE3F02797\",\"weight\" : 0},\"FEAA418A30A99453F84DD6D8EDCA03B7D\" : {\"color\" : \"\",\"id\" : \"FEAA418A30A99453F84DD6D8EDCA03B7D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F73CFCE99F7494534B499916CE3F02797\",\"target\" : \"F0470FE1CE5464A419C47CB3478F966D2\",\"weight\" : 0},\"FF2206DA17A2A442A9C27B0E5619816C4\" : {\"color\" : \"\",\"id\" : \"FF2206DA17A2A442A9C27B0E5619816C4\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F60203B7254BE4CFC046C558E36D7D8C8\",\"target\" : \"FF3FB46A59E2844281CBADFFF56EF24F9\",\"weight\" : 0},\"FF220FEE8575C43BDFC303D047B8FC287\" : {\"color\" : \"\",\"id\" : \"FF220FEE8575C43BDFC303D047B8FC287\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FFE43A6EA50084AD224C9EFFBDBDD9775\",\"target\" : \"F71E1019A4AFC45907C1B20372DC42FDF\",\"weight\" : 0},\"FF8A6855F5AC54313B45FE0312895B7F2\" : {\"color\" : \"\",\"id\" : \"FF8A6855F5AC54313B45FE0312895B7F2\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F3A204C3BC6324F0DF43480C1821F0511\",\"target\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"weight\" : 0},\"FFE870E8FBCFD498C64744438F77AB719\" : {\"color\" : \"\",\"id\" : \"FFE870E8FBCFD498C64744438F77AB719\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"FB03BBA6682884F85343CF5CCF74B9D24\",\"weight\" : 0},\"FFF716FCA2C214DC1DC6C7127F700805A\" : {\"color\" : \"\",\"id\" : \"FFF716FCA2C214DC1DC6C7127F700805A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"target\" : \"F18B55C70101B40263C58AE0DF0086DDE\",\"weight\" : 0}},\"nodes\" : {\"F019AC7A6ED924E693494820A54CD4B05\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F019AC7A6ED924E693494820A54CD4B05\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F0470FE1CE5464A419C47CB3478F966D2\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F0470FE1CE5464A419C47CB3478F966D2\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F05E306E7BA0240BFF4B59B772536AC52\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F05E306E7BA0240BFF4B59B772536AC52\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F07CA41218DCF468D2C4C8DC29A4E435F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F07CA41218DCF468D2C4C8DC29A4E435F\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F08AF33D4A0504971FC056DCBB7BCB308\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F08AF33D4A0504971FC056DCBB7BCB308\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F18B55C70101B40263C58AE0DF0086DDE\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F18B55C70101B40263C58AE0DF0086DDE\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F228444A7C4A542D4BCE6C0AFBEEB3424\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F228444A7C4A542D4BCE6C0AFBEEB3424\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F319E56140B0742E84C19F6F965240AD6\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F319E56140B0742E84C19F6F965240AD6\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F36D70F2EED0A4B655C48FAE8FF362CF3\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F36D70F2EED0A4B655C48FAE8FF362CF3\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F3A204C3BC6324F0DF43480C1821F0511\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F3A204C3BC6324F0DF43480C1821F0511\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F4888D5A914AF4F4144D7014F3ADFA2AD\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F4888D5A914AF4F4144D7014F3ADFA2AD\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F4F26BEBD124842CC2CDA37DE0868DA22\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F4F26BEBD124842CC2CDA37DE0868DA22\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F5074E619779D4AAC7C630A8C550DCE4E\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F5074E619779D4AAC7C630A8C550DCE4E\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F5A5771BF1E494AAC2C1784384F18DC8F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F5A5771BF1E494AAC2C1784384F18DC8F\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F5B659AAB3A894F20B41D222BDB6E9746\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F5B659AAB3A894F20B41D222BDB6E9746\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F60203B7254BE4CFC046C558E36D7D8C8\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F60203B7254BE4CFC046C558E36D7D8C8\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F61F04F2EE6D640DE2CBC0D49EC76408B\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F61F04F2EE6D640DE2CBC0D49EC76408B\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F67ADFBE598DC4B1FDC9257CFB114B480\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F67ADFBE598DC4B1FDC9257CFB114B480\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F67B962BCBF294BF14C2EE2EC12AC5E18\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F67B962BCBF294BF14C2EE2EC12AC5E18\",\"layer\" : -8,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"6\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"F6A0BCE66633249C4E4FE5F6931B1630F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F6A0BCE66633249C4E4FE5F6931B1630F\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F71E1019A4AFC45907C1B20372DC42FDF\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F71E1019A4AFC45907C1B20372DC42FDF\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F73CFCE99F7494534B499916CE3F02797\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F73CFCE99F7494534B499916CE3F02797\",\"layer\" : -10,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"9\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"F7489FC43B5504D62144DBA48CBE476E1\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F7489FC43B5504D62144DBA48CBE476E1\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"3\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"F7819D5F86F0B41ACA4BE9732793F564D\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F7819D5F86F0B41ACA4BE9732793F564D\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F81E418CB16954DA0ECC64B0416F84EF0\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F81E418CB16954DA0ECC64B0416F84EF0\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F8A0E59ECD1D24F6AECEC9667B498FE5F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F8A0E59ECD1D24F6AECEC9667B498FE5F\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F8EE3D37ADA264D75545D7371AD980E3F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F8EE3D37ADA264D75545D7371AD980E3F\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FA252DDFF58D2482A9CF502CB380478B2\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FA252DDFF58D2482A9CF502CB380478B2\",\"layer\" : -12,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"10\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"FA345964883AF459A9C3C5042B9F3D102\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FA345964883AF459A9C3C5042B9F3D102\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FA5A90467202E4480D40971BE334DE0F3\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FA5A90467202E4480D40971BE334DE0F3\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FB03BBA6682884F85343CF5CCF74B9D24\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FB03BBA6682884F85343CF5CCF74B9D24\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FB0D37AFC978D49C0641B268ABADFB1FB\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FB0D37AFC978D49C0641B268ABADFB1FB\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FB385CA820A654A6B6C9533891D817F6B\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FB385CA820A654A6B6C9533891D817F6B\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FB7659CB2A4754522FC6A50E56B5D9E5F\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FB7659CB2A4754522FC6A50E56B5D9E5F\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FC103BB918B784ACA3CA7404240528265\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FC103BB918B784ACA3CA7404240528265\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FC2FF40F5390740DF9429D683EFCE04AB\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FC2FF40F5390740DF9429D683EFCE04AB\",\"layer\" : -2,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"1\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"FCAEED7EAB57A47DA2C385B084509A718\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FCAEED7EAB57A47DA2C385B084509A718\",\"layer\" : -10,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"7\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"FDCE98F0FCF044BA8BC32E2E6682E684B\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FDCE98F0FCF044BA8BC32E2E6682E684B\",\"layer\" : -10,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"8\",\"type\" : \"diamond\",\"x\" : 0,\"y\" : 0},\"FF3FB46A59E2844281CBADFFF56EF24F9\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FF3FB46A59E2844281CBADFFF56EF24F9\",\"layer\" : -4,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FFE43A6EA50084AD224C9EFFBDBDD9775\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FFE43A6EA50084AD224C9EFFBDBDD9775\",\"layer\" : -6,\"menus\" : {},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0}},\"simulation\" : true,\"type\" : \"undirected\"},\"height\" : 600,\"id\" : \"F979DB2E57A54489AE4AFE39B07AE76B9\",\"menus\" : {},\"messages\" : {},\"texTypesetting\" : true,\"title\" : \"Lattice Subgroups\",\"width\" : 800,\"zoomToFit\" : true},\"mime\" : \"application\\/vnd.francy+json\",\"version\" : \"1.2.4\"}"
     },
     "execution_count": 8,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DisplayLatticeSubgroups := function(L)\n",
    "    local cls, len, sz, max, rep, z, t, i, j, k, graphHasse, nodes, last;\n",
    "    cls:=ConjugacyClassesSubgroups(L);\n",
    "    len:=[];\n",
    "    sz:=[];\n",
    "    for i in cls do\n",
    "        Add(len,Size(i));\n",
    "        AddSet(sz,Size(Representative(i)));\n",
    "    od;\n",
    "\n",
    "    graphHasse := Graph(GraphType.UNDIRECTED);\n",
    "#SetShowNeighbours(graphHasse,true);\n",
    "\n",
    "    nodes := [];\n",
    "    sz:=Reversed(sz);\n",
    "    # subgroup nodes, also acccording to size\n",
    "    for i in [1..Length(cls)] do\n",
    "        nodes[i] := [];\n",
    "        for j in [1..len[i]] do\n",
    "            if len[i]=1 then\n",
    "                nodes[i][j] := Shape(ShapeType.DIAMOND, String(i));\n",
    "                SetLayer(nodes[i][j], -Size(Representative(cls[i])));\n",
    "                # AppendTo(file,\"\\\"\",i,\"x\",j,\"\\\" [label=\\\"\",i,\"\\\", shape=box];\\n\");\n",
    "            else\n",
    "                nodes[i][j] := Shape(ShapeType.CIRCLE, String(i));\n",
    "                SetLayer(nodes[i][j], -Size(Representative(cls[i])));\n",
    "                # AppendTo(file,\"\\\"\",i,\"x\",j,\"\\\" [label=\\\"\",i,\"-\",j,\"\\\", shape=circle];\\n\");\n",
    "            fi;\n",
    "            Add(graphHasse, nodes[i][j]);\n",
    "        od;\n",
    "    od;\n",
    "\n",
    "    last:=rec(o:=0,n:=0);\n",
    "    for i in [1..Length(cls)] do\n",
    "        for j in [1..len[i]] do\n",
    "            if Layer(nodes[i][j]) <> last.o then\n",
    "                last.o := Layer(nodes[i][j]);\n",
    "                last.n := last.n - 2;\n",
    "            fi;\n",
    "            SetLayer(nodes[i][j], last.n);\n",
    "        od;\n",
    "    od;\n",
    "\n",
    "    max:=MaximalSubgroupsLattice(L);\n",
    "    for i in [1..Length(cls)] do\n",
    "        for j in max[i] do\n",
    "            rep:=ClassElementLattice(cls[i],1);\n",
    "            for k in [1..len[i]] do\n",
    "                if k=1 then\n",
    "                    z:=j[2];\n",
    "                else\n",
    "                    t:=cls[i]!.normalizerTransversal[k];\n",
    "                    z:=ClassElementLattice(cls[j[1]],1); # force computation of transv.\n",
    "                    z:=cls[j[1]]!.normalizerTransversal[j[2]]*t;\n",
    "                    z:=PositionCanonical(cls[j[1]]!.normalizerTransversal,z);\n",
    "                fi;\n",
    "                Add(graphHasse, Link(nodes[i][k],nodes[j[1]][z]));\n",
    "          od;\n",
    "        od;\n",
    "      od;\n",
    "    return graphHasse;\n",
    "end;;\n",
    "L:=LatticeSubgroups(DihedralGroup(44));;\n",
    "canvas := Canvas(\"Lattice Subgroups\");;\n",
    "Add(canvas, DisplayLatticeSubgroups(L));;\n",
    "Draw(canvas);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Digraphs"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"canvas\" : {\"graph\" : {\"collapsed\" : true,\"id\" : \"F25646FAF2CD049E8BCF3C717AD009791\",\"links\" : {\"F092BF8CFE6824312D46B18D5283C070D\" : {\"color\" : \"\",\"id\" : \"F092BF8CFE6824312D46B18D5283C070D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"target\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"weight\" : 0},\"F0F07C3E7BDFA4B877CB27500E79954DE\" : {\"color\" : \"\",\"id\" : \"F0F07C3E7BDFA4B877CB27500E79954DE\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"weight\" : 0},\"F110EEE288C46455E8C12F219D25B06CE\" : {\"color\" : \"\",\"id\" : \"F110EEE288C46455E8C12F219D25B06CE\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"weight\" : 0},\"F156883B221B04A6084C09DF2261B0F7B\" : {\"color\" : \"\",\"id\" : \"F156883B221B04A6084C09DF2261B0F7B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"target\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"weight\" : 0},\"F1CC7A9ABDC0B4039DC1D84A933872F1C\" : {\"color\" : \"\",\"id\" : \"F1CC7A9ABDC0B4039DC1D84A933872F1C\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"weight\" : 0},\"F249DB592AF524B84AC6F4C46812B710E\" : {\"color\" : \"\",\"id\" : \"F249DB592AF524B84AC6F4C46812B710E\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F26D7C394901D4A243C96D3A27A0D9E50\" : {\"color\" : \"\",\"id\" : \"F26D7C394901D4A243C96D3A27A0D9E50\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"target\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"weight\" : 0},\"F2E1A3496EC9C4E631C8627312B982900\" : {\"color\" : \"\",\"id\" : \"F2E1A3496EC9C4E631C8627312B982900\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"target\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"weight\" : 0},\"F33D166091CB647C4CC2BD52D64938CFE\" : {\"color\" : \"\",\"id\" : \"F33D166091CB647C4CC2BD52D64938CFE\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"weight\" : 0},\"F3EB974EF77F440E00437069CE9D32AB6\" : {\"color\" : \"\",\"id\" : \"F3EB974EF77F440E00437069CE9D32AB6\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"target\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"weight\" : 0},\"F433D8A4FD6F044B07CC2C74F3C275EC7\" : {\"color\" : \"\",\"id\" : \"F433D8A4FD6F044B07CC2C74F3C275EC7\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"target\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"weight\" : 0},\"F478BFB29EBF349E7EC5C1E922026A702\" : {\"color\" : \"\",\"id\" : \"F478BFB29EBF349E7EC5C1E922026A702\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"target\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"weight\" : 0},\"F4F0CFFE8ECB5433DDC5560333AB4F53F\" : {\"color\" : \"\",\"id\" : \"F4F0CFFE8ECB5433DDC5560333AB4F53F\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"target\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"weight\" : 0},\"F5CA77BCDC35C4A266433C1F77E681E8D\" : {\"color\" : \"\",\"id\" : \"F5CA77BCDC35C4A266433C1F77E681E8D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F5F9BDF43EB104E56DC517038F1CFEE06\" : {\"color\" : \"\",\"id\" : \"F5F9BDF43EB104E56DC517038F1CFEE06\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"weight\" : 0},\"F680499AAFD7B4D3CF4F8D277F9F435FE\" : {\"color\" : \"\",\"id\" : \"F680499AAFD7B4D3CF4F8D277F9F435FE\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F70320DD9A523491D9CA455CD68E56446\" : {\"color\" : \"\",\"id\" : \"F70320DD9A523491D9CA455CD68E56446\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"target\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"weight\" : 0},\"F7B6536AF98C1453E14E1E4751312BA5F\" : {\"color\" : \"\",\"id\" : \"F7B6536AF98C1453E14E1E4751312BA5F\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F7E5A6BE17F8A4EF0CCFAC644DB6C975E\" : {\"color\" : \"\",\"id\" : \"F7E5A6BE17F8A4EF0CCFAC644DB6C975E\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"weight\" : 0},\"F7FEF6E3A4BF640AADC2BCE7615F0C215\" : {\"color\" : \"\",\"id\" : \"F7FEF6E3A4BF640AADC2BCE7615F0C215\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F8401EC6AD970422D9C2BB473F9B3BA1B\" : {\"color\" : \"\",\"id\" : \"F8401EC6AD970422D9C2BB473F9B3BA1B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"target\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"weight\" : 0},\"F853959B08BF04E740CA9F4A47A8FD928\" : {\"color\" : \"\",\"id\" : \"F853959B08BF04E740CA9F4A47A8FD928\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"weight\" : 0},\"F85FA145E6A4B4EDDF43A535EC30AA26D\" : {\"color\" : \"\",\"id\" : \"F85FA145E6A4B4EDDF43A535EC30AA26D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"target\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"weight\" : 0},\"F8CE604E7A9044A81F434B04E7E1C542B\" : {\"color\" : \"\",\"id\" : \"F8CE604E7A9044A81F434B04E7E1C542B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"F8FA8529529F64F919C99C43F99FE3434\" : {\"color\" : \"\",\"id\" : \"F8FA8529529F64F919C99C43F99FE3434\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"target\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"weight\" : 0},\"F9842A2E3F33D40D7CC9E3C53BD09C113\" : {\"color\" : \"\",\"id\" : \"F9842A2E3F33D40D7CC9E3C53BD09C113\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"weight\" : 0},\"FA0509657BF8046272416B73979C67B1D\" : {\"color\" : \"\",\"id\" : \"FA0509657BF8046272416B73979C67B1D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"FA4BC1F0013494DD69C1F36E220BBC114\" : {\"color\" : \"\",\"id\" : \"FA4BC1F0013494DD69C1F36E220BBC114\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"target\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"weight\" : 0},\"FAD51BB353C9B4081A4F63CAE5523108D\" : {\"color\" : \"\",\"id\" : \"FAD51BB353C9B4081A4F63CAE5523108D\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"target\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"weight\" : 0},\"FB08E8CB8A4224EC52428D6D7E487552B\" : {\"color\" : \"\",\"id\" : \"FB08E8CB8A4224EC52428D6D7E487552B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"FBB4C5D238A794B74CC82EF892374DF55\" : {\"color\" : \"\",\"id\" : \"FBB4C5D238A794B74CC82EF892374DF55\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"weight\" : 0},\"FCF2B8E13B6134293640008C52AB94F6A\" : {\"color\" : \"\",\"id\" : \"FCF2B8E13B6134293640008C52AB94F6A\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"target\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"weight\" : 0},\"FE6711A37ACF8440AFC430BF113A62DE0\" : {\"color\" : \"\",\"id\" : \"FE6711A37ACF8440AFC430BF113A62DE0\",\"invisible\" : false,\"length\" : 0,\"source\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0},\"FF6250A0A3A7F48496C8FA2DE914E959B\" : {\"color\" : \"\",\"id\" : \"FF6250A0A3A7F48496C8FA2DE914E959B\",\"invisible\" : false,\"length\" : 0,\"source\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"target\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"weight\" : 0}},\"nodes\" : {\"F08E51F92BCD04C7B2CF2E880A6BBD53A\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F08E51F92BCD04C7B2CF2E880A6BBD53A\",\"layer\" : 0,\"menus\" : {\"F98293EC29FB54AD84C22F9063B8C0533\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FC6F50468BB554826CCBAA39771237E2F\",\"knownArgs\" : [\"6\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F98293EC29FB54AD84C22F9063B8C0533\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"6\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F14016DD34B6544FCC49D2056591EE05D\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F14016DD34B6544FCC49D2056591EE05D\",\"layer\" : 0,\"menus\" : {\"F50C7CE8D8D244FD22CC449CAB3AD0367\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"F8711BDBBA2A64A6534C462C55F3154AC\",\"knownArgs\" : [\"7\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F50C7CE8D8D244FD22CC449CAB3AD0367\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"7\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F24D256E999DD4F10B4AA77CB43F8C970\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F24D256E999DD4F10B4AA77CB43F8C970\",\"layer\" : 0,\"menus\" : {\"FCA0B0AA62F1B4E291C81B89B4C8E2DD5\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"F337FAD46A9324E8E2C35D39A0F55328C\",\"knownArgs\" : [\"3\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"FCA0B0AA62F1B4E291C81B89B4C8E2DD5\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"3\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F385580564AD04AE4B45C1A31853FFE70\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F385580564AD04AE4B45C1A31853FFE70\",\"layer\" : 0,\"menus\" : {\"F5B0F5DB65B16433ABCEF66241E15AE7D\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FF151E849EF1240EC1C406B98F589C16A\",\"knownArgs\" : [\"1\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F5B0F5DB65B16433ABCEF66241E15AE7D\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"1\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F4FAF4A4604454510DC6986ED4D05ABC6\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F4FAF4A4604454510DC6986ED4D05ABC6\",\"layer\" : 0,\"menus\" : {\"F8CDA665D2B21412454EF5554411A76C4\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FCA5F0FB4D74A4D976414C18490B400CF\",\"knownArgs\" : [\"9\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F8CDA665D2B21412454EF5554411A76C4\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"9\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"F9D274B33209A43CDD496AC84A6DDABFB\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"F9D274B33209A43CDD496AC84A6DDABFB\",\"layer\" : 0,\"menus\" : {\"F1624BA34B25A435C041AF6D48DC4B05A\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"F44A2C6E4244D44F27495B973576F964D\",\"knownArgs\" : [\"2\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F1624BA34B25A435C041AF6D48DC4B05A\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"2\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FA4DEA8F633A6450E94691B5A644BBAB8\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FA4DEA8F633A6450E94691B5A644BBAB8\",\"layer\" : 0,\"menus\" : {\"FE56D3640EBDB4A4C8C6140D8147B109B\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FB9BE3EF1E8D64F674C931CF738FD9F96\",\"knownArgs\" : [\"5\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"FE56D3640EBDB4A4C8C6140D8147B109B\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"5\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FCEA3C6EE6E944BF42CFBFB2D0D5B78C3\",\"layer\" : 0,\"menus\" : {\"F647F88C6DF11424D54B34F6A2E097A0F\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"F6B205968AEF8413704F091398B0BF144\",\"knownArgs\" : [\"10\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F647F88C6DF11424D54B34F6A2E097A0F\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"10\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FD10B11D52F2C40C5540A152191D7F32D\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FD10B11D52F2C40C5540A152191D7F32D\",\"layer\" : 0,\"menus\" : {\"F5627D2FD82124EB47460035A3D50A74A\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FFD0D1F5EC6A9444CDC6B143E7E342BF3\",\"knownArgs\" : [\"8\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"F5627D2FD82124EB47460035A3D50A74A\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"8\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0},\"FEB46B2AD34B342CD4C95AAA1C78530F6\" : {\"callbacks\" : {},\"color\" : \"\",\"id\" : \"FEB46B2AD34B342CD4C95AAA1C78530F6\",\"layer\" : 0,\"menus\" : {\"FB3F7928D27E44FE40C90D88D468CC481\" : {\"callback\" : {\"func\" : \"IsGroupSimple\",\"id\" : \"FFEFB98E3BCCB418BA458ECBB0CCA925C\",\"knownArgs\" : [\"4\"],\"requiredArgs\" : {},\"trigger\" : \"click\"},\"id\" : \"FB3F7928D27E44FE40C90D88D468CC481\",\"menus\" : {},\"title\" : \"Is this subgroup simple?\"}},\"messages\" : {},\"parent\" : \"\",\"size\" : 10,\"title\" : \"4\",\"type\" : \"circle\",\"x\" : 0,\"y\" : 0}},\"simulation\" : true,\"type\" : \"directed\"},\"height\" : 600,\"id\" : \"F4A2BA0AF7CC2464894BA54A7A1D65CAB\",\"menus\" : {},\"messages\" : {},\"renderer\" : \"GraphViz-Renderer.dot\",\"texTypesetting\" : true,\"title\" : \"Subgroups Digraph of Group( [ f1, f2, f3 ] )\",\"width\" : 800,\"zoomToFit\" : true},\"mime\" : \"application\\/vnd.francy+json\",\"version\" : \"1.2.4\"}"
     },
     "execution_count": 24,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "G := DihedralGroup(8);; #SymmetricGroup(5);; #FreeGroup( \"a\", \"b\" );;\n",
    "as := AllSubgroups(G);;\n",
    "d := Digraph(as, {H, K} -> IsSubgroup(H, K));;\n",
    "\n",
    "vertices := DigraphVertices(d);;\n",
    "edges := DigraphEdges(d);;\n",
    "\n",
    "graph := Graph(GraphType.DIRECTED);;\n",
    "#SetDrag(graph, true);;\n",
    "nodes := [];;\n",
    "\n",
    "simpleGroupMessage := FrancyMessage(FrancyMessageType.INFO, \"Simple Groups\", \"A group is simple if it is nontrivial and has no nontrivial normal subgroups.\");;\n",
    "\n",
    "IsGroupSimple := function(i)\n",
    "    Add(canvas, simpleGroupMessage);;\n",
    "    if IsSimpleGroup(as[i]) then\n",
    "        Add(canvas, FrancyMessage(\"Simple\", Concatenation(\"The vertex \", String(i), \", representing the subgroup \", String(as[i]), \", is simple.\")));;\n",
    "    else\n",
    "        Add(canvas, FrancyMessage(\"Not Simple\", Concatenation(\"The vertex \", String(i), \", representing the subgroup \", String(as[i]), \", is not simple.\")));;\n",
    "    fi;;\n",
    "    return Draw(canvas);\n",
    "end;;\n",
    "    \n",
    "for i in vertices do;\n",
    "    nodes[i] := Shape(ShapeType.CIRCLE, String(i));;\n",
    "#SetColor(nodes[i], \"#0c9460\");;\n",
    "    Add(nodes[i], Menu(\"Is this subgroup simple?\", Callback(IsGroupSimple, [i])));;\n",
    "    Add(graph, nodes[i]);;\n",
    "od;;\n",
    "\n",
    "for i in edges do\n",
    "    Add(graph, Link(nodes[i[1]], nodes[i[2]]));;\n",
    "od;;\n",
    "\n",
    "canvas := Canvas(Concatenation(\"Subgroups Digraph of \", String(G)));;\n",
    "Add(canvas, graph);;\n",
    "\n",
    "graphviz := FrancyRenderer(FrancyRendererType.GRAPHVIZ_DOT);;\n",
    "Add(canvas, graphviz);;\n",
    "\n",
    "Draw(canvas);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "celltoolbar": "Raw Cell Format",
  "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.13dev"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 4
}

[ Dauer der Verarbeitung: 0.47 Sekunden  (vorverarbeitet)  ]