Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 1562165658] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0293 geometric_solution 4.33476898 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.766432846800 0.060426848917 0 0 2 2 2310 0132 2310 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.670941834321 0.265127740495 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 -1 1 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.170642297842 0.208175947982 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 1 0 -1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884752994392 0.553110929464 6 3 6 5 0132 0132 2310 3201 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612011635339 0.782923752547 6 4 6 3 3201 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612011635339 0.782923752547 4 4 5 5 0132 3201 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546563726681 0.308300656399 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1943939253455468433037/94483611841953732032*c_0101_6^21 + 562833719685111257455431/472418059209768660160*c_0101_6^19 + 6046986752301114137972227/472418059209768660160*c_0101_6^17 + 5374834480058712411482937/118104514802442165040*c_0101_6^15 - 30358508888922111842685439/472418059209768660160*c_0101_6^13 + 5446302955449053114883331/472418059209768660160*c_0101_6^11 - 8339946537804865115659299/236209029604884330080*c_0101_6^9 + 30136453702143562126726521/472418059209768660160*c_0101_6^7 - 3075566956872849823797743/94483611841953732032*c_0101_6^5 + 2388950226168514688463589/472418059209768660160*c_0101_6^3 + 4554321325649132932439/59052257401221082520*c_0101_6, c_0011_0 - 1, c_0011_2 + 325924858524914372795/377934447367814928128*c_0101_6^20 + 1203234451931092365897/23620902960488433008*c_0101_6^18 + 112519949953344185257615/188967223683907464064*c_0101_6^16 + 976874386174418891202349/377934447367814928128*c_0101_6^14 + 52718364632871223085951/377934447367814928128*c_0101_6^12 - 9199189498045577974755/94483611841953732032*c_0101_6^10 - 637350319362748952332017/377934447367814928128*c_0101_6^8 + 278032445988653208482249/377934447367814928128*c_0101_6^6 - 6452155747328554155047/188967223683907464064*c_0101_6^4 - 305220369085485037385/188967223683907464064*c_0101_6^2 - 261328587214639080881/377934447367814928128, c_0101_0 + 47908044691893567325/377934447367814928128*c_0101_6^21 + 717149256381060242665/94483611841953732032*c_0101_6^19 + 17682942657883906956127/188967223683907464064*c_0101_6^17 + 170210424090829412238647/377934447367814928128*c_0101_6^15 + 122468660052327208417993/377934447367814928128*c_0101_6^13 - 12436658948914442739/1476306435030527063*c_0101_6^11 - 81759528248437614509147/377934447367814928128*c_0101_6^9 - 24472130276893290716473/377934447367814928128*c_0101_6^7 + 20525161462084946072009/188967223683907464064*c_0101_6^5 - 5546846199339009971725/188967223683907464064*c_0101_6^3 + 86204260362918808429/377934447367814928128*c_0101_6, c_0101_1 + 258165464836640214385/377934447367814928128*c_0101_6^21 + 3814002835120772286869/94483611841953732032*c_0101_6^19 + 89339143750238222098051/188967223683907464064*c_0101_6^17 + 780144644430242409515059/377934447367814928128*c_0101_6^15 + 82525101599893840824509/377934447367814928128*c_0101_6^13 + 4045383536136769962359/23620902960488433008*c_0101_6^11 - 481474981831325159142311/377934447367814928128*c_0101_6^9 + 212127469133064088162547/377934447367814928128*c_0101_6^7 - 29564446853876045705867/188967223683907464064*c_0101_6^5 + 7304680706383066592463/188967223683907464064*c_0101_6^3 - 98290916976225984495/377934447367814928128*c_0101_6, c_0101_3 - 8186105452394344505/188967223683907464064*c_0101_6^21 - 238311026617599865819/94483611841953732032*c_0101_6^19 - 1311728628459978050449/47241805920976866016*c_0101_6^17 - 19948384258707122244417/188967223683907464064*c_0101_6^15 + 17192594979855271984083/188967223683907464064*c_0101_6^13 - 3868249247250016651073/94483611841953732032*c_0101_6^11 + 13330349248585027541065/188967223683907464064*c_0101_6^9 - 21316900338241571004159/188967223683907464064*c_0101_6^7 + 2911315946236436411329/47241805920976866016*c_0101_6^5 - 363755677187400965885/23620902960488433008*c_0101_6^3 + 119913660081116312317/188967223683907464064*c_0101_6, c_0101_4 + 26355184284655348805/47241805920976866016*c_0101_6^21 + 1543582789384585005153/47241805920976866016*c_0101_6^19 + 17419353255213899520497/47241805920976866016*c_0101_6^17 + 34943412079224006169623/23620902960488433008*c_0101_6^15 - 35374669030758777561475/47241805920976866016*c_0101_6^13 - 5882132003150770197235/47241805920976866016*c_0101_6^11 - 12572289608328921885665/11810451480244216504*c_0101_6^9 + 48049819168605936221481/47241805920976866016*c_0101_6^7 - 11978662849489148292841/47241805920976866016*c_0101_6^5 + 290471010743489218703/47241805920976866016*c_0101_6^3 - 6950698091102177897/23620902960488433008*c_0101_6, c_0101_6^22 + 293/5*c_0101_6^20 + 3314/5*c_0101_6^18 + 2673*c_0101_6^16 - 6268/5*c_0101_6^14 - 1219/5*c_0101_6^12 - 9571/5*c_0101_6^10 + 8824/5*c_0101_6^8 - 2027/5*c_0101_6^6 + 32/5*c_0101_6^4 + 3/5*c_0101_6^2 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB