Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 610646214] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0554 geometric_solution 4.57464504 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.883038572108 0.507074829087 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 -1 1 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.463526935652 0.869568125944 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -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 1 0 -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.359080490256 0.404478584086 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359080490256 0.404478584086 2 3 5 5 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.015816543046 1.492288820974 4 6 4 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.436694893832 1.041960289102 5 5 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.427034788275 0.077439731245 ==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_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 26671656995640773807704010921/24725081783367079393628827*c_0110_6^1\ 6 + 230502219818211952985943740978/24725081783367079393628827*c_011\ 0_6^15 + 405810070816002710851695174110/24725081783367079393628827*\ c_0110_6^14 - 1100681329753532780246143204621/247250817833670793936\ 28827*c_0110_6^13 - 3727298452545141372462260231417/247250817833670\ 79393628827*c_0110_6^12 - 1470542202497798481017058287178/247250817\ 83367079393628827*c_0110_6^11 + 6389745047635155797978386331124/247\ 25081783367079393628827*c_0110_6^10 + 4451907025703041141271237583067/24725081783367079393628827*c_0110_6\ ^9 - 4141883466829665525725227123924/24725081783367079393628827*c_0\ 110_6^8 - 1542619710378673175264675764638/2472508178336707939362882\ 7*c_0110_6^7 + 1713739527316274462982038311181/24725081783367079393\ 628827*c_0110_6^6 - 266781539932754037136624278712/2472508178336707\ 9393628827*c_0110_6^5 - 242606946342520936266300076645/247250817833\ 67079393628827*c_0110_6^4 + 137326842720204233716766553718/24725081\ 783367079393628827*c_0110_6^3 + 14185300042118953768155276787/24725\ 081783367079393628827*c_0110_6^2 + 9342523513742731171884917648/24725081783367079393628827*c_0110_6 + 5548884192840373121658122916/24725081783367079393628827, c_0011_0 - 1, c_0011_3 + 983040790920000548424292868/24725081783367079393628827*c_011\ 0_6^16 + 8443237792660192106580670165/24725081783367079393628827*c_\ 0110_6^15 + 14520627342365220573199903140/2472508178336707939362882\ 7*c_0110_6^14 - 41226165341533395247262815791/247250817833670793936\ 28827*c_0110_6^13 - 134995872202891639857611630711/2472508178336707\ 9393628827*c_0110_6^12 - 47605013546155534440345308420/247250817833\ 67079393628827*c_0110_6^11 + 236279916543620402404386031622/2472508\ 1783367079393628827*c_0110_6^10 + 151098513016254846253781732662/24\ 725081783367079393628827*c_0110_6^9 - 157484695597205048600881671278/24725081783367079393628827*c_0110_6^\ 8 - 47009584038270054484302330398/24725081783367079393628827*c_0110\ _6^7 + 63437079613315789483343984989/24725081783367079393628827*c_0\ 110_6^6 - 13281917808367106202740584974/24725081783367079393628827*\ c_0110_6^5 - 7446115298681516571312875193/2472508178336707939362882\ 7*c_0110_6^4 + 5118529272847297440227571676/24725081783367079393628\ 827*c_0110_6^3 + 248293598914279954406156646/2472508178336707939362\ 8827*c_0110_6^2 + 338692509606479483903439968/247250817833670793936\ 28827*c_0110_6 + 170975440319651476001279587/2472508178336707939362\ 8827, c_0011_5 + 1098354088239091209546632821/24725081783367079393628827*c_01\ 10_6^16 + 9436524429873333492093548224/24725081783367079393628827*c\ _0110_6^15 + 16254432820594630521260924879/247250817833670793936288\ 27*c_0110_6^14 - 45970684277056802499524838472/24725081783367079393\ 628827*c_0110_6^13 - 150872509514733944120169174618/247250817833670\ 79393628827*c_0110_6^12 - 53826503244003314215876111883/24725081783\ 367079393628827*c_0110_6^11 + 263120648867560797835506563004/247250\ 81783367079393628827*c_0110_6^10 + 169269879569121904030045523416/24725081783367079393628827*c_0110_6^\ 9 - 174290335181757101059385300141/24725081783367079393628827*c_011\ 0_6^8 - 52293162290352504076004598634/24725081783367079393628827*c_\ 0110_6^7 + 70150237323720604520934906068/24725081783367079393628827\ *c_0110_6^6 - 14716082316476268021986841071/24725081783367079393628\ 827*c_0110_6^5 - 8260882659355346956622371527/247250817833670793936\ 28827*c_0110_6^4 + 5557029586467599691455569977/2472508178336707939\ 3628827*c_0110_6^3 + 294080585076228566160895672/247250817833670793\ 93628827*c_0110_6^2 + 435558177077614369868565025/24725081783367079\ 393628827*c_0110_6 + 210153686846949457087152366/247250817833670793\ 93628827, c_0101_0 - 523331889008143209785294779/24725081783367079393628827*c_011\ 0_6^16 - 4563113079413176778822002988/24725081783367079393628827*c_\ 0110_6^15 - 8316185382332397525267936313/24725081783367079393628827\ *c_0110_6^14 + 20943424471400841063490706820/2472508178336707939362\ 8827*c_0110_6^13 + 74744873472988095612928930529/247250817833670793\ 93628827*c_0110_6^12 + 34707658251115426161127217201/24725081783367\ 079393628827*c_0110_6^11 - 122583075366890203315589311138/247250817\ 83367079393628827*c_0110_6^10 - 96905137683919364484703188096/24725\ 081783367079393628827*c_0110_6^9 + 73425000524090792063229214880/24725081783367079393628827*c_0110_6^8 + 35912571024692588220019819229/24725081783367079393628827*c_0110_6\ ^7 - 30802924791451687532905521640/24725081783367079393628827*c_011\ 0_6^6 + 3264257081778718443585813933/24725081783367079393628827*c_0\ 110_6^5 + 5119765967144864198861200140/24725081783367079393628827*c\ _0110_6^4 - 2668696637879736820230156687/24725081783367079393628827\ *c_0110_6^3 - 338863222104597825874246766/2472508178336707939362882\ 7*c_0110_6^2 - 191188531358724614085050122/247250817833670793936288\ 27*c_0110_6 - 148922480390964467741197574/2472508178336707939362882\ 7, c_0101_1 - 832113759821562082450726448/24725081783367079393628827*c_011\ 0_6^16 - 7115853102904023301791672148/24725081783367079393628827*c_\ 0110_6^15 - 12029929107804979454099448316/2472508178336707939362882\ 7*c_0110_6^14 + 35314365328818972411703420502/247250817833670793936\ 28827*c_0110_6^13 + 112940696084219098652503711317/2472508178336707\ 9393628827*c_0110_6^12 + 36344434411137067418289203620/247250817833\ 67079393628827*c_0110_6^11 - 201055584850371864830791663067/2472508\ 1783367079393628827*c_0110_6^10 - 120954343860011107097952968126/24\ 725081783367079393628827*c_0110_6^9 + 136690206221830950906733901536/24725081783367079393628827*c_0110_6^\ 8 + 35442231409920499864217352192/24725081783367079393628827*c_0110\ _6^7 - 54014845105173757847530940697/24725081783367079393628827*c_0\ 110_6^6 + 12614895635070524687045577279/24725081783367079393628827*\ c_0110_6^5 + 5860969810489802150068824856/2472508178336707939362882\ 7*c_0110_6^4 - 4301987891568169123345487916/24725081783367079393628\ 827*c_0110_6^3 - 219794099763284167927547840/2472508178336707939362\ 8827*c_0110_6^2 - 306643481636619890231235367/247250817833670793936\ 28827*c_0110_6 - 120255190200799449443324643/2472508178336707939362\ 8827, c_0101_4 + 673128947638322163836042976/24725081783367079393628827*c_011\ 0_6^16 + 5785849925830023793689616901/24725081783367079393628827*c_\ 0110_6^15 + 9988051148792631484241096455/24725081783367079393628827\ *c_0110_6^14 - 28102810412639750722281940955/2472508178336707939362\ 8827*c_0110_6^13 - 92522255200558806058569013566/247250817833670793\ 93628827*c_0110_6^12 - 33504223379588853989390829687/24725081783367\ 079393628827*c_0110_6^11 + 160652360533127502553103913124/247250817\ 83367079393628827*c_0110_6^10 + 104204331316255903025265740276/2472\ 5081783367079393628827*c_0110_6^9 - 105641069882121459722680749550/24725081783367079393628827*c_0110_6^\ 8 - 32013440352969289953579448255/24725081783367079393628827*c_0110\ _6^7 + 42516406013201020528163773101/24725081783367079393628827*c_0\ 110_6^6 - 8864636697171544496364666360/24725081783367079393628827*c\ _0110_6^5 - 5083800112777536010401756297/24725081783367079393628827\ *c_0110_6^4 + 3299329389223237016036820206/247250817833670793936288\ 27*c_0110_6^3 + 210246306321728466695983629/24725081783367079393628\ 827*c_0110_6^2 + 265711479334983091832510681/2472508178336707939362\ 8827*c_0110_6 + 134583116912843649245845065/24725081783367079393628\ 827, c_0110_6^17 + 100/11*c_0110_6^16 + 210/11*c_0110_6^15 - 379/11*c_0110_6^14 - 1741/11*c_0110_6^13 - 1295/11*c_0110_6^12 + 215*c_0110_6^11 + 3016/11*c_0110_6^10 - 81*c_0110_6^9 - 1400/11*c_0110_6^8 + 430/11*c_0110_6^7 + 205/11*c_0110_6^6 - 153/11*c_0110_6^5 + 13/11*c_0110_6^4 + 31/11*c_0110_6^3 + 6/11*c_0110_6^2 + 4/11*c_0110_6 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB