From f55799c1cd7c833dd5a023f074fafb98730d1103 Mon Sep 17 00:00:00 2001 From: kilian Date: Wed, 2 Sep 2026 09:46:25 +0200 Subject: [PATCH] Dateien nach "mod/butadien" hochladen --- mod/butadien/dottodict.py | 2 + mod/butadien/hypergraph.txt | 152 ------------------------------------ 2 files changed, 2 insertions(+), 152 deletions(-) diff --git a/mod/butadien/dottodict.py b/mod/butadien/dottodict.py index a368245..e1a6984 100644 --- a/mod/butadien/dottodict.py +++ b/mod/butadien/dottodict.py @@ -20,6 +20,8 @@ with open('014_dg_0_11100.dot', 'r') as file: educt = re.findall("(?<= ')(.*?)(?=' )", educts) products = re.findall("(?<='r_\\{[0-1]\\}', \\{)(.*?)(?=\\ })", edge)[0] product = re.findall("(?<= ')(.*?)(?=')", products) + if product == educt: + continue HYPERGRAPH[index] = (educt, product) for outflow in re.findall("// id = [0-9]+, graphName = [A-Za-z0-9_,\\{\\} ']+", graph): index = int(re.findall("(?<=id = )(.*?)(?=,)", outflow)[0]) diff --git a/mod/butadien/hypergraph.txt b/mod/butadien/hypergraph.txt index b68625a..94a1c51 100644 --- a/mod/butadien/hypergraph.txt +++ b/mod/butadien/hypergraph.txt @@ -1,30 +1,18 @@ HYPERGRAPH = { 0: (['Butadien'], []), - 1: (['Butadien'], ['Butadien']), 2: (['p_{0,0}'], []), 3: (['p_{0,1}'], []), 4: (['Butadien', 'Butadien'], ['p_{0,0}', 'p_{0,1}']), - 5: (['Butadien', 'Butadien'], ['Butadien', 'Butadien']), 6: (['p_{0,2}'], []), 7: (['Butadien', 'Butadien'], ['p_{0,2}']), - 8: (['p_{0,1}'], ['p_{0,1}']), - 9: (['p_{0,0}', 'p_{0,0}'], ['p_{0,0}', 'p_{0,0}']), 10: (['p_{0,0}', 'p_{0,1}'], ['Butadien', 'Butadien']), - 11: (['p_{0,0}', 'p_{0,1}'], ['p_{0,0}', 'p_{0,1}']), 12: (['p_{0,3}'], []), 13: (['p_{0,0}', 'p_{0,2}'], ['p_{0,3}']), - 14: (['p_{0,0}', 'p_{0,2}'], ['p_{0,0}', 'p_{0,2}']), - 15: (['Butadien', 'p_{0,0}'], ['Butadien', 'p_{0,0}']), - 16: (['p_{0,1}', 'p_{0,1}'], ['p_{0,1}', 'p_{0,1}']), 17: (['p_{0,4}'], []), 18: (['p_{0,1}', 'p_{0,1}'], ['Butadien', 'p_{0,4}']), 19: (['p_{0,5}'], []), 20: (['p_{0,1}', 'p_{0,2}'], ['Butadien', 'p_{0,5}']), - 21: (['Butadien', 'p_{0,1}'], ['Butadien', 'p_{0,1}']), - 22: (['p_{0,1}', 'p_{0,2}'], ['p_{0,1}', 'p_{0,2}']), 23: (['Butadien', 'p_{0,1}'], ['p_{0,0}', 'p_{0,4}']), - 24: (['p_{0,2}', 'p_{0,2}'], ['p_{0,2}', 'p_{0,2}']), - 25: (['Butadien', 'p_{0,2}'], ['Butadien', 'p_{0,2}']), 26: (['Butadien', 'p_{0,2}'], ['p_{0,0}', 'p_{0,5}']), 27: (['p_{0,6}'], []), 28: (['p_{0,0}', 'p_{0,1}'], ['p_{0,6}']), @@ -38,179 +26,39 @@ HYPERGRAPH = { 36: (['p_{0,10}'], []), 37: (['Butadien', 'p_{0,1}'], ['p_{0,10}']), 38: (['p_{0,3}'], ['p_{0,0}', 'p_{0,2}']), - 39: (['p_{0,3}'], ['p_{0,3}']), - 40: (['p_{0,4}'], ['p_{0,4}']), 41: (['p_{0,11}'], []), 42: (['p_{0,4}'], ['p_{0,0}', 'p_{0,11}']), 43: (['p_{0,12}'], []), 44: (['p_{0,5}'], ['p_{0,12}']), - 45: (['p_{0,5}'], ['p_{0,5}']), - 46: (['p_{0,6}'], ['p_{0,6}']), - 47: (['p_{0,8}'], ['p_{0,8}']), - 48: (['p_{0,9}'], ['p_{0,9}']), - 49: (['p_{0,10}'], ['p_{0,10}']), - 50: (['p_{0,3}', 'p_{0,3}'], ['p_{0,3}', 'p_{0,3}']), - 51: (['p_{0,3}', 'p_{0,4}'], ['p_{0,3}', 'p_{0,4}']), - 52: (['p_{0,3}', 'p_{0,5}'], ['p_{0,3}', 'p_{0,5}']), - 53: (['p_{0,3}', 'p_{0,6}'], ['p_{0,3}', 'p_{0,6}']), - 54: (['p_{0,3}', 'p_{0,8}'], ['p_{0,3}', 'p_{0,8}']), - 55: (['p_{0,3}', 'p_{0,9}'], ['p_{0,3}', 'p_{0,9}']), - 56: (['p_{0,3}', 'p_{0,10}'], ['p_{0,3}', 'p_{0,10}']), - 57: (['p_{0,2}', 'p_{0,3}'], ['p_{0,2}', 'p_{0,3}']), - 58: (['p_{0,0}', 'p_{0,3}'], ['p_{0,0}', 'p_{0,3}']), - 59: (['Butadien', 'p_{0,3}'], ['Butadien', 'p_{0,3}']), - 60: (['p_{0,1}', 'p_{0,3}'], ['p_{0,1}', 'p_{0,3}']), - 61: (['p_{0,4}', 'p_{0,4}'], ['p_{0,4}', 'p_{0,4}']), - 62: (['p_{0,4}', 'p_{0,5}'], ['p_{0,4}', 'p_{0,5}']), 63: (['p_{0,13}'], []), 64: (['p_{0,4}', 'p_{0,6}'], ['p_{0,1}', 'p_{0,13}']), 65: (['p_{0,2}', 'p_{0,4}'], ['p_{0,1}', 'p_{0,5}']), 66: (['p_{0,0}', 'p_{0,4}'], ['Butadien', 'p_{0,1}']), 67: (['Butadien', 'p_{0,4}'], ['p_{0,1}', 'p_{0,1}']), - 68: (['Butadien', 'p_{0,4}'], ['Butadien', 'p_{0,4}']), - 69: (['p_{0,1}', 'p_{0,4}'], ['p_{0,1}', 'p_{0,4}']), - 70: (['p_{0,4}', 'p_{0,6}'], ['p_{0,4}', 'p_{0,6}']), - 71: (['p_{0,4}', 'p_{0,8}'], ['p_{0,4}', 'p_{0,8}']), - 72: (['p_{0,4}', 'p_{0,9}'], ['p_{0,4}', 'p_{0,9}']), - 73: (['p_{0,4}', 'p_{0,10}'], ['p_{0,4}', 'p_{0,10}']), - 74: (['p_{0,2}', 'p_{0,4}'], ['p_{0,2}', 'p_{0,4}']), - 75: (['p_{0,0}', 'p_{0,4}'], ['p_{0,0}', 'p_{0,4}']), - 76: (['p_{0,5}', 'p_{0,5}'], ['p_{0,5}', 'p_{0,5}']), 77: (['p_{0,5}', 'p_{0,6}'], ['p_{0,2}', 'p_{0,13}']), - 78: (['p_{0,2}', 'p_{0,5}'], ['p_{0,2}', 'p_{0,5}']), 79: (['p_{0,0}', 'p_{0,5}'], ['Butadien', 'p_{0,2}']), 80: (['Butadien', 'p_{0,5}'], ['p_{0,1}', 'p_{0,2}']), - 81: (['Butadien', 'p_{0,5}'], ['Butadien', 'p_{0,5}']), - 82: (['p_{0,1}', 'p_{0,5}'], ['p_{0,1}', 'p_{0,5}']), 83: (['p_{0,1}', 'p_{0,5}'], ['p_{0,2}', 'p_{0,4}']), - 84: (['p_{0,5}', 'p_{0,6}'], ['p_{0,5}', 'p_{0,6}']), - 85: (['p_{0,5}', 'p_{0,8}'], ['p_{0,5}', 'p_{0,8}']), - 86: (['p_{0,5}', 'p_{0,9}'], ['p_{0,5}', 'p_{0,9}']), - 87: (['p_{0,5}', 'p_{0,10}'], ['p_{0,5}', 'p_{0,10}']), - 88: (['p_{0,0}', 'p_{0,5}'], ['p_{0,0}', 'p_{0,5}']), - 89: (['p_{0,6}', 'p_{0,6}'], ['p_{0,6}', 'p_{0,6}']), - 90: (['p_{0,6}', 'p_{0,8}'], ['p_{0,6}', 'p_{0,8}']), - 91: (['p_{0,6}', 'p_{0,9}'], ['p_{0,6}', 'p_{0,9}']), - 92: (['p_{0,6}', 'p_{0,10}'], ['p_{0,6}', 'p_{0,10}']), - 93: (['p_{0,2}', 'p_{0,6}'], ['p_{0,2}', 'p_{0,6}']), - 94: (['p_{0,0}', 'p_{0,6}'], ['p_{0,0}', 'p_{0,6}']), - 95: (['Butadien', 'p_{0,6}'], ['Butadien', 'p_{0,6}']), 96: (['Butadien', 'p_{0,6}'], ['p_{0,0}', 'p_{0,13}']), 97: (['p_{0,1}', 'p_{0,6}'], ['Butadien', 'p_{0,13}']), - 98: (['p_{0,1}', 'p_{0,6}'], ['p_{0,1}', 'p_{0,6}']), 99: (['p_{0,14}'], []), 100: (['p_{0,0}', 'p_{0,6}'], ['p_{0,14}']), 101: (['p_{0,15}'], []), 102: (['p_{0,0}', 'p_{0,7}'], ['p_{0,15}']), - 103: (['p_{0,8}', 'p_{0,8}'], ['p_{0,8}', 'p_{0,8}']), - 104: (['p_{0,8}', 'p_{0,9}'], ['p_{0,8}', 'p_{0,9}']), - 105: (['p_{0,8}', 'p_{0,10}'], ['p_{0,8}', 'p_{0,10}']), - 106: (['p_{0,2}', 'p_{0,8}'], ['p_{0,2}', 'p_{0,8}']), - 107: (['p_{0,0}', 'p_{0,8}'], ['p_{0,0}', 'p_{0,8}']), - 108: (['Butadien', 'p_{0,8}'], ['Butadien', 'p_{0,8}']), - 109: (['p_{0,1}', 'p_{0,8}'], ['p_{0,1}', 'p_{0,8}']), - 110: (['p_{0,9}', 'p_{0,9}'], ['p_{0,9}', 'p_{0,9}']), - 111: (['p_{0,9}', 'p_{0,10}'], ['p_{0,9}', 'p_{0,10}']), - 112: (['p_{0,2}', 'p_{0,9}'], ['p_{0,2}', 'p_{0,9}']), - 113: (['p_{0,0}', 'p_{0,9}'], ['p_{0,0}', 'p_{0,9}']), - 114: (['Butadien', 'p_{0,9}'], ['Butadien', 'p_{0,9}']), - 115: (['p_{0,1}', 'p_{0,9}'], ['p_{0,1}', 'p_{0,9}']), - 116: (['p_{0,10}', 'p_{0,10}'], ['p_{0,10}', 'p_{0,10}']), - 117: (['p_{0,2}', 'p_{0,10}'], ['p_{0,2}', 'p_{0,10}']), - 118: (['p_{0,0}', 'p_{0,10}'], ['p_{0,0}', 'p_{0,10}']), - 119: (['Butadien', 'p_{0,10}'], ['Butadien', 'p_{0,10}']), - 120: (['p_{0,1}', 'p_{0,10}'], ['p_{0,1}', 'p_{0,10}']), 121: (['p_{0,0}', 'p_{0,4}'], ['p_{0,13}']), 122: (['p_{0,16}'], []), 123: (['p_{0,0}', 'p_{0,4}'], ['p_{0,16}']), 124: (['p_{0,17}'], []), 125: (['Butadien', 'p_{0,7}'], ['p_{0,17}']), - 126: (['p_{0,11}'], ['p_{0,11}']), 127: (['p_{0,12}'], ['p_{0,5}']), - 128: (['p_{0,12}'], ['p_{0,12}']), - 129: (['p_{0,13}'], ['p_{0,13}']), 130: (['p_{0,14}'], ['p_{0,0}', 'p_{0,6}']), - 131: (['p_{0,14}'], ['p_{0,14}']), 132: (['p_{0,15}'], ['p_{0,0}', 'p_{0,7}']), - 133: (['p_{0,15}'], ['p_{0,15}']), - 134: (['p_{0,16}'], ['p_{0,16}']), 135: (['p_{0,0}', 'p_{0,11}'], ['p_{0,4}']), - 136: (['p_{0,12}', 'p_{0,12}'], ['p_{0,12}', 'p_{0,12}']), - 137: (['p_{0,12}', 'p_{0,13}'], ['p_{0,12}', 'p_{0,13}']), - 138: (['p_{0,12}', 'p_{0,14}'], ['p_{0,12}', 'p_{0,14}']), - 139: (['p_{0,12}', 'p_{0,15}'], ['p_{0,12}', 'p_{0,15}']), - 140: (['p_{0,12}', 'p_{0,16}'], ['p_{0,12}', 'p_{0,16}']), - 141: (['p_{0,8}', 'p_{0,12}'], ['p_{0,8}', 'p_{0,12}']), - 142: (['p_{0,9}', 'p_{0,12}'], ['p_{0,9}', 'p_{0,12}']), - 143: (['Butadien', 'p_{0,12}'], ['Butadien', 'p_{0,12}']), - 144: (['p_{0,10}', 'p_{0,12}'], ['p_{0,10}', 'p_{0,12}']), - 145: (['p_{0,0}', 'p_{0,12}'], ['p_{0,0}', 'p_{0,12}']), - 146: (['p_{0,1}', 'p_{0,12}'], ['p_{0,1}', 'p_{0,12}']), - 147: (['p_{0,2}', 'p_{0,12}'], ['p_{0,2}', 'p_{0,12}']), - 148: (['p_{0,3}', 'p_{0,12}'], ['p_{0,3}', 'p_{0,12}']), - 149: (['p_{0,4}', 'p_{0,12}'], ['p_{0,4}', 'p_{0,12}']), - 150: (['p_{0,5}', 'p_{0,12}'], ['p_{0,5}', 'p_{0,12}']), - 151: (['p_{0,6}', 'p_{0,12}'], ['p_{0,6}', 'p_{0,12}']), - 152: (['p_{0,13}', 'p_{0,13}'], ['p_{0,13}', 'p_{0,13}']), 153: (['Butadien', 'p_{0,13}'], ['p_{0,1}', 'p_{0,6}']), - 154: (['Butadien', 'p_{0,13}'], ['Butadien', 'p_{0,13}']), 155: (['p_{0,0}', 'p_{0,13}'], ['Butadien', 'p_{0,6}']), - 156: (['p_{0,1}', 'p_{0,13}'], ['p_{0,1}', 'p_{0,13}']), 157: (['p_{0,1}', 'p_{0,13}'], ['p_{0,4}', 'p_{0,6}']), 158: (['p_{0,2}', 'p_{0,13}'], ['p_{0,5}', 'p_{0,6}']), - 159: (['p_{0,4}', 'p_{0,13}'], ['p_{0,4}', 'p_{0,13}']), - 160: (['p_{0,5}', 'p_{0,13}'], ['p_{0,5}', 'p_{0,13}']), - 161: (['p_{0,6}', 'p_{0,13}'], ['p_{0,6}', 'p_{0,13}']), - 162: (['p_{0,13}', 'p_{0,14}'], ['p_{0,13}', 'p_{0,14}']), - 163: (['p_{0,13}', 'p_{0,15}'], ['p_{0,13}', 'p_{0,15}']), - 164: (['p_{0,13}', 'p_{0,16}'], ['p_{0,13}', 'p_{0,16}']), - 165: (['p_{0,8}', 'p_{0,13}'], ['p_{0,8}', 'p_{0,13}']), - 166: (['p_{0,9}', 'p_{0,13}'], ['p_{0,9}', 'p_{0,13}']), - 167: (['p_{0,10}', 'p_{0,13}'], ['p_{0,10}', 'p_{0,13}']), - 168: (['p_{0,0}', 'p_{0,13}'], ['p_{0,0}', 'p_{0,13}']), - 169: (['p_{0,2}', 'p_{0,13}'], ['p_{0,2}', 'p_{0,13}']), - 170: (['p_{0,3}', 'p_{0,13}'], ['p_{0,3}', 'p_{0,13}']), - 171: (['p_{0,14}', 'p_{0,14}'], ['p_{0,14}', 'p_{0,14}']), - 172: (['p_{0,14}', 'p_{0,15}'], ['p_{0,14}', 'p_{0,15}']), - 173: (['p_{0,14}', 'p_{0,16}'], ['p_{0,14}', 'p_{0,16}']), - 174: (['p_{0,8}', 'p_{0,14}'], ['p_{0,8}', 'p_{0,14}']), - 175: (['p_{0,9}', 'p_{0,14}'], ['p_{0,9}', 'p_{0,14}']), - 176: (['Butadien', 'p_{0,14}'], ['Butadien', 'p_{0,14}']), - 177: (['p_{0,10}', 'p_{0,14}'], ['p_{0,10}', 'p_{0,14}']), - 178: (['p_{0,0}', 'p_{0,14}'], ['p_{0,0}', 'p_{0,14}']), - 179: (['p_{0,1}', 'p_{0,14}'], ['p_{0,1}', 'p_{0,14}']), - 180: (['p_{0,2}', 'p_{0,14}'], ['p_{0,2}', 'p_{0,14}']), - 181: (['p_{0,3}', 'p_{0,14}'], ['p_{0,3}', 'p_{0,14}']), - 182: (['p_{0,4}', 'p_{0,14}'], ['p_{0,4}', 'p_{0,14}']), - 183: (['p_{0,5}', 'p_{0,14}'], ['p_{0,5}', 'p_{0,14}']), - 184: (['p_{0,6}', 'p_{0,14}'], ['p_{0,6}', 'p_{0,14}']), - 185: (['p_{0,15}', 'p_{0,15}'], ['p_{0,15}', 'p_{0,15}']), - 186: (['p_{0,15}', 'p_{0,16}'], ['p_{0,15}', 'p_{0,16}']), - 187: (['p_{0,8}', 'p_{0,15}'], ['p_{0,8}', 'p_{0,15}']), - 188: (['p_{0,9}', 'p_{0,15}'], ['p_{0,9}', 'p_{0,15}']), - 189: (['Butadien', 'p_{0,15}'], ['Butadien', 'p_{0,15}']), - 190: (['p_{0,10}', 'p_{0,15}'], ['p_{0,10}', 'p_{0,15}']), - 191: (['p_{0,0}', 'p_{0,15}'], ['p_{0,0}', 'p_{0,15}']), - 192: (['p_{0,1}', 'p_{0,15}'], ['p_{0,1}', 'p_{0,15}']), - 193: (['p_{0,2}', 'p_{0,15}'], ['p_{0,2}', 'p_{0,15}']), - 194: (['p_{0,3}', 'p_{0,15}'], ['p_{0,3}', 'p_{0,15}']), - 195: (['p_{0,4}', 'p_{0,15}'], ['p_{0,4}', 'p_{0,15}']), - 196: (['p_{0,5}', 'p_{0,15}'], ['p_{0,5}', 'p_{0,15}']), - 197: (['p_{0,6}', 'p_{0,15}'], ['p_{0,6}', 'p_{0,15}']), - 198: (['p_{0,16}', 'p_{0,16}'], ['p_{0,16}', 'p_{0,16}']), - 199: (['p_{0,8}', 'p_{0,16}'], ['p_{0,8}', 'p_{0,16}']), - 200: (['p_{0,9}', 'p_{0,16}'], ['p_{0,9}', 'p_{0,16}']), - 201: (['Butadien', 'p_{0,16}'], ['Butadien', 'p_{0,16}']), - 202: (['p_{0,10}', 'p_{0,16}'], ['p_{0,10}', 'p_{0,16}']), - 203: (['p_{0,0}', 'p_{0,16}'], ['p_{0,0}', 'p_{0,16}']), - 204: (['p_{0,1}', 'p_{0,16}'], ['p_{0,1}', 'p_{0,16}']), - 205: (['p_{0,2}', 'p_{0,16}'], ['p_{0,2}', 'p_{0,16}']), - 206: (['p_{0,3}', 'p_{0,16}'], ['p_{0,3}', 'p_{0,16}']), - 207: (['p_{0,4}', 'p_{0,16}'], ['p_{0,4}', 'p_{0,16}']), - 208: (['p_{0,5}', 'p_{0,16}'], ['p_{0,5}', 'p_{0,16}']), - 209: (['p_{0,6}', 'p_{0,16}'], ['p_{0,6}', 'p_{0,16}']), 210: (['p_{0,18}'], []), 211: (['Butadien', 'p_{0,11}'], ['p_{0,18}']), - 212: (['p_{0,18}'], ['p_{0,18}']), 213: ([], ['Butadien']), } \ No newline at end of file