Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 105355983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1575 geometric_solution 5.35666317 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.200231378448 1.163592545814 0 3 2 4 0132 0132 0132 0132 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063395240743 0.902261599296 3 0 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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 0 0 -0.063395240743 0.902261599296 5 1 5 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679562987380 0.967664863502 2 6 1 6 2310 0132 0132 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.392690528265 1.593553790790 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 0 0 1 -1 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.497355156027 0.161679420007 4 4 6 6 3201 0132 2031 1302 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.427372962461 0.152586253088 ==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' : d['1'], 's_3_4' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : 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_0101_2'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2466746294847186141649514056320/6729013432865734452090132097*c_0110\ _6^19 + 1162573816140460843577896060384/672901343286573445209013209\ 7*c_0110_6^18 + 12879681270440043443262146830504/672901343286573445\ 2090132097*c_0110_6^17 - 24603480603944599817940855545236/672901343\ 2865734452090132097*c_0110_6^16 + 511295645709173228327938610859/39\ 5824319580337320711184241*c_0110_6^15 + 65693779282575962425915443864369/6729013432865734452090132097*c_011\ 0_6^14 - 78352058355120141408376544699589/6729013432865734452090132\ 097*c_0110_6^13 - 45241304064488195401403322127507/6729013432865734\ 452090132097*c_0110_6^12 + 102858013890002123690451508602436/672901\ 3432865734452090132097*c_0110_6^11 - 44240356211344537168396193988362/6729013432865734452090132097*c_011\ 0_6^10 - 33549578794607747401195517427079/6729013432865734452090132\ 097*c_0110_6^9 + 53306374056927863221665049207412/67290134328657344\ 52090132097*c_0110_6^8 + 11457352409386134660365903161411/672901343\ 2865734452090132097*c_0110_6^7 - 21002833725867767791364861842392/6\ 729013432865734452090132097*c_0110_6^6 - 347279976871856090619034405020/6729013432865734452090132097*c_0110_\ 6^5 + 29239426389507064809272277517/395824319580337320711184241*c_0\ 110_6^4 - 109433279575611970827690852332/39582431958033732071118424\ 1*c_0110_6^3 - 1163302033732544388123845466103/67290134328657344520\ 90132097*c_0110_6^2 + 599655403153071626853324323987/67290134328657\ 34452090132097*c_0110_6 + 257206317781910574628106817518/6729013432\ 865734452090132097, c_0011_0 - 1, c_0011_4 - 2897691646654789200582309920/395824319580337320711184241*c_0\ 110_6^19 - 20069755764361632541024568/395824319580337320711184241*c\ _0110_6^18 + 15777348097462758289576399730/395824319580337320711184\ 241*c_0110_6^17 - 22085862214173199242322825325/3958243195803373207\ 11184241*c_0110_6^16 - 3471383880334748460524293961/395824319580337\ 320711184241*c_0110_6^15 + 84221293445506935609336234984/3958243195\ 80337320711184241*c_0110_6^14 - 58883560599279091299702536287/39582\ 4319580337320711184241*c_0110_6^13 - 96309063210921134118104780984/395824319580337320711184241*c_0110_6^\ 12 + 106718660694674733674745511234/395824319580337320711184241*c_0\ 110_6^11 - 5378919018021926413763727877/395824319580337320711184241\ *c_0110_6^10 - 74148886685344701140019815994/3958243195803373207111\ 84241*c_0110_6^9 + 59794129289713419003501490617/395824319580337320\ 711184241*c_0110_6^8 + 38863339699448425778033747093/39582431958033\ 7320711184241*c_0110_6^7 - 25698487372933118232020033011/3958243195\ 80337320711184241*c_0110_6^6 - 4058061906663933612746862582/3958243\ 19580337320711184241*c_0110_6^5 + 3788027336382071677743210572/3958\ 24319580337320711184241*c_0110_6^4 - 5127964727393093543767985751/395824319580337320711184241*c_0110_6^3 - 2263148641101528604192809359/395824319580337320711184241*c_0110_6\ ^2 + 202183910527709673635312687/395824319580337320711184241*c_0110\ _6 + 415671569425648806998612746/395824319580337320711184241, c_0101_0 + 1258879250982636968775446048/395824319580337320711184241*c_0\ 110_6^19 - 37193543460491425604376904/395824319580337320711184241*c\ _0110_6^18 - 6784146496244139658265260946/3958243195803373207111842\ 41*c_0110_6^17 + 9911461146989494061417604541/395824319580337320711\ 184241*c_0110_6^16 + 812519962350984497780676613/395824319580337320\ 711184241*c_0110_6^15 - 36361582486143754046002781603/3958243195803\ 37320711184241*c_0110_6^14 + 27305238030994465664731872234/39582431\ 9580337320711184241*c_0110_6^13 + 38664425677734475761543599381/395\ 824319580337320711184241*c_0110_6^12 - 47566847398378649347684785436/395824319580337320711184241*c_0110_6^\ 11 + 6752609815098898918769318358/395824319580337320711184241*c_011\ 0_6^10 + 29497134406403378858212062591/395824319580337320711184241*\ c_0110_6^9 - 26184612944188804666588966158/395824319580337320711184\ 241*c_0110_6^8 - 12132675989647060995864107115/39582431958033732071\ 1184241*c_0110_6^7 + 8547116129969964736091545878/39582431958033732\ 0711184241*c_0110_6^6 + 487320579084494360252931924/395824319580337\ 320711184241*c_0110_6^5 - 627281317908488801698261952/3958243195803\ 37320711184241*c_0110_6^4 + 382649880598825891322879068/39582431958\ 0337320711184241*c_0110_6^3 + 596755835952833807716483497/395824319\ 580337320711184241*c_0110_6^2 + 686778366235823466987976507/3958243\ 19580337320711184241*c_0110_6 - 127181127271715236963701668/3958243\ 19580337320711184241, c_0101_1 + 502789789817912678221379424/395824319580337320711184241*c_01\ 10_6^19 - 210997810194597436361838248/395824319580337320711184241*c\ _0110_6^18 - 2659344634350166368483825610/3958243195803373207111842\ 41*c_0110_6^17 + 4739710455728258873063835918/395824319580337320711\ 184241*c_0110_6^16 - 1200704261927508226081168244/39582431958033732\ 0711184241*c_0110_6^15 - 13067373451893354459294320548/395824319580\ 337320711184241*c_0110_6^14 + 13195987174409877468953498951/3958243\ 19580337320711184241*c_0110_6^13 + 12853050023764727437420607059/395824319580337320711184241*c_0110_6^\ 12 - 18319127857960032053305160743/395824319580337320711184241*c_01\ 10_6^11 - 406034261826152370300591365/395824319580337320711184241*c\ _0110_6^10 + 11600492893496405625586397544/395824319580337320711184\ 241*c_0110_6^9 - 4085150305625228739980376771/395824319580337320711\ 184241*c_0110_6^8 - 12465457682486879488719271101/39582431958033732\ 0711184241*c_0110_6^7 + 6710855549368451694645009525/39582431958033\ 7320711184241*c_0110_6^6 + 3811203668898715318382780608/39582431958\ 0337320711184241*c_0110_6^5 - 2302200146046711076523956563/39582431\ 9580337320711184241*c_0110_6^4 - 252523640351147985209391012/395824\ 319580337320711184241*c_0110_6^3 + 1337174227790067310663278892/395824319580337320711184241*c_0110_6^2 - 18426374583119396599728482/395824319580337320711184241*c_0110_6 - 45861257403499756611707307/395824319580337320711184241, c_0101_2 - 1690673456315643897788997680/395824319580337320711184241*c_0\ 110_6^19 - 720035144297291947106779836/395824319580337320711184241*\ c_0110_6^18 + 9693938393171440154676981921/395824319580337320711184\ 241*c_0110_6^17 - 9372099193352699291868855694/39582431958033732071\ 1184241*c_0110_6^16 - 9783585906649361551535230093/3958243195803373\ 20711184241*c_0110_6^15 + 53740996280007532109825701047/39582431958\ 0337320711184241*c_0110_6^14 - 17460486878532567297658477556/395824\ 319580337320711184241*c_0110_6^13 - 81841254691278973639548278572/395824319580337320711184241*c_0110_6^\ 12 + 56930056898865727120101167941/395824319580337320711184241*c_01\ 10_6^11 + 24099511284702951924749599132/395824319580337320711184241\ *c_0110_6^10 - 62596386811080039774843373777/3958243195803373207111\ 84241*c_0110_6^9 + 33501112469957534973654712562/395824319580337320\ 711184241*c_0110_6^8 + 35908498145071505179627147836/39582431958033\ 7320711184241*c_0110_6^7 - 14928695030004235418710163827/3958243195\ 80337320711184241*c_0110_6^6 - 6428373128699713316254815519/3958243\ 19580337320711184241*c_0110_6^5 + 2593757088814045580746442967/3958\ 24319580337320711184241*c_0110_6^4 - 3887015644503422920724961621/395824319580337320711184241*c_0110_6^3 - 1892184309455408434415060104/395824319580337320711184241*c_0110_6\ ^2 - 102355878962107785670817335/395824319580337320711184241*c_0110\ _6 + 333133690572369801425791372/395824319580337320711184241, c_0101_3 - 16367038751437647696966329504/395824319580337320711184241*c_\ 0110_6^19 + 5146634499166353108535510696/39582431958033732071118424\ 1*c_0110_6^18 + 86706003553676789120745723866/395824319580337320711\ 184241*c_0110_6^17 - 150207287046290952796610678585/395824319580337\ 320711184241*c_0110_6^16 + 31953865475953317892913645370/3958243195\ 80337320711184241*c_0110_6^15 + 447067505482491085619485830216/3958\ 24319580337320711184241*c_0110_6^14 - 454692947377350498154638612164/395824319580337320711184241*c_0110_6\ ^13 - 381819174327786168845739117937/395824319580337320711184241*c_\ 0110_6^12 + 645341138776465011618018508677/395824319580337320711184\ 241*c_0110_6^11 - 194576176915418092770078506678/395824319580337320\ 711184241*c_0110_6^10 - 276614166294721431981736986098/395824319580\ 337320711184241*c_0110_6^9 + 330314720403994143053155962016/3958243\ 19580337320711184241*c_0110_6^8 + 127239508314066086577674083667/39\ 5824319580337320711184241*c_0110_6^7 - 131232373540272428604113892198/395824319580337320711184241*c_0110_6\ ^6 - 19583263330119874485643088512/395824319580337320711184241*c_01\ 10_6^5 + 5080525870905738239825089708/395824319580337320711184241*c\ _0110_6^4 - 12724036045813701347119619945/3958243195803373207111842\ 41*c_0110_6^3 - 9766900337950641071225239146/3958243195803373207111\ 84241*c_0110_6^2 + 2550877163861144820038383436/3958243195803373207\ 11184241*c_0110_6 + 2282358377499472082577695079/395824319580337320\ 711184241, c_0110_6^20 - 3/4*c_0110_6^19 - 83/16*c_0110_6^18 + 23/2*c_0110_6^17 - 93/16*c_0110_6^16 - 107/4*c_0110_6^15 + 637/16*c_0110_6^14 + 191/16*c_0110_6^13 - 809/16*c_0110_6^12 + 115/4*c_0110_6^11 + 207/16*c_0110_6^10 - 227/8*c_0110_6^9 + 13/16*c_0110_6^8 + 195/16*c_0110_6^7 - 5/2*c_0110_6^6 - c_0110_6^5 + 17/16*c_0110_6^4 + 3/16*c_0110_6^3 - 7/16*c_0110_6^2 - 1/16*c_0110_6 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB