Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 3600239348] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s351 geometric_solution 4.55869170 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602627491305 0.177625709352 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 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 0 0 0 0.870615417596 0.272389126060 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 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 1.250692422241 0.519462282917 4 2 4 5 3012 0132 2310 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 1 -1 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.700069225979 1.115183209666 5 3 2 3 1023 3201 0132 1230 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 1 0 -1 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.700069225979 1.115183209666 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 0 0 0 -0.009298695345 0.509978022391 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 453109678205072584530380364646588204913/162410944165436365974518878\ 19863829117*c_0101_3^17 - 5304605034485485072227340969571591360259/\ 16241094416543636597451887819863829117*c_0101_3^16 - 15651084150436125800080438109592214582946/1624109441654363659745188\ 7819863829117*c_0101_3^15 - 657258668915388673669078985283734364197\ 6/16241094416543636597451887819863829117*c_0101_3^14 + 288022310922462892508881995148696341665880/162410944165436365974518\ 87819863829117*c_0101_3^13 - 27566813180652720743916346711288836571\ 0213/16241094416543636597451887819863829117*c_0101_3^12 + 4946047636363527939943153146380256353317173/16241094416543636597451\ 887819863829117*c_0101_3^11 + 2038142978183489295827762477819521705\ 124890/16241094416543636597451887819863829117*c_0101_3^10 - 8040630843434690511296190294936169875621272/16241094416543636597451\ 887819863829117*c_0101_3^9 + 22955053343847757362738033744337294992\ 95863/16241094416543636597451887819863829117*c_0101_3^8 - 192197171289739532302986315779205238717550/162410944165436365974518\ 87819863829117*c_0101_3^7 - 880271352826084496412650812990743969892\ 48/16241094416543636597451887819863829117*c_0101_3^6 + 837241682732049379466230399250794223671407/162410944165436365974518\ 87819863829117*c_0101_3^5 - 420450927676295693035974928982909479631\ 176/16241094416543636597451887819863829117*c_0101_3^4 + 64849174328317376997624915510927652096237/1624109441654363659745188\ 7819863829117*c_0101_3^3 + 180015650539685334931131691057335044945/\ 706134539849723330323995122602775179*c_0101_3^2 - 12512847773897975140330969391561391417756/1624109441654363659745188\ 7819863829117*c_0101_3 + 2510280578515081431403409107900300780371/1\ 6241094416543636597451887819863829117, c_0011_0 - 1, c_0011_1 - 586351844179094049478523593752666820/14764631287766942361319\ 89801805802647*c_0101_3^17 - 7320841114024238745494407774868867687/\ 1476463128776694236131989801805802647*c_0101_3^16 - 25793491102031663033814115125191393645/1476463128776694236131989801\ 805802647*c_0101_3^15 - 26685929933227267421570555283408410961/1476\ 463128776694236131989801805802647*c_0101_3^14 + 357974830055788291109612586404739731068/147646312877669423613198980\ 1805802647*c_0101_3^13 - 73939236235578487266139700100495685670/147\ 6463128776694236131989801805802647*c_0101_3^12 + 6244208171484075810457852850512609617269/14764631287766942361319898\ 01805802647*c_0101_3^11 + 7563909838200300192368714568518952419141/\ 1476463128776694236131989801805802647*c_0101_3^10 - 6223924437236003745700824720615754720791/14764631287766942361319898\ 01805802647*c_0101_3^9 - 3095892995249992031045924735585062457231/1\ 476463128776694236131989801805802647*c_0101_3^8 - 295665933727165855945047853839437557626/147646312877669423613198980\ 1805802647*c_0101_3^7 - 516539251101774956683285209861860091872/147\ 6463128776694236131989801805802647*c_0101_3^6 + 740012155628193965203405436668814246468/147646312877669423613198980\ 1805802647*c_0101_3^5 + 100401655638342486998179482322668203790/147\ 6463128776694236131989801805802647*c_0101_3^4 - 78912722342291253787419227225979003427/1476463128776694236131989801\ 805802647*c_0101_3^3 + 955042484053616411267558005097806999/6419404\ 9077247575483999556600252289*c_0101_3^2 - 1636360120906327317159601452435651734/14764631287766942361319898018\ 05802647*c_0101_3 - 1885976620023006063697704035337117509/147646312\ 8776694236131989801805802647, c_0011_4 + 505118214843578604506807790086322720/14764631287766942361319\ 89801805802647*c_0101_3^17 + 6346578361100267596152945740310419322/\ 1476463128776694236131989801805802647*c_0101_3^16 + 22721248260627794131869704169249537486/1476463128776694236131989801\ 805802647*c_0101_3^15 + 24777898530146749002164402279204950913/1476\ 463128776694236131989801805802647*c_0101_3^14 - 306417271365360712020042866762325698527/147646312877669423613198980\ 1805802647*c_0101_3^13 + 39568228741580388737082945990659382968/147\ 6463128776694236131989801805802647*c_0101_3^12 - 5375214333741843911527805070210628035498/14764631287766942361319898\ 01805802647*c_0101_3^11 - 6943879030423641435444062576831152661934/\ 1476463128776694236131989801805802647*c_0101_3^10 + 4823462253133379322772478994945928023894/14764631287766942361319898\ 01805802647*c_0101_3^9 + 3021976536154062160424209614312083303603/1\ 476463128776694236131989801805802647*c_0101_3^8 + 433036856733100360722204994192230677875/147646312877669423613198980\ 1805802647*c_0101_3^7 + 527707177110917873148892637754730047692/147\ 6463128776694236131989801805802647*c_0101_3^6 - 559695130768345181699838033636133320790/147646312877669423613198980\ 1805802647*c_0101_3^5 - 137822003619754625334995294510054206035/147\ 6463128776694236131989801805802647*c_0101_3^4 + 62929101233057621013374544376445289372/1476463128776694236131989801\ 805802647*c_0101_3^3 - 958548633456210278937708220089218036/6419404\ 9077247575483999556600252289*c_0101_3^2 - 780037836434109365133614142512159401/147646312877669423613198980180\ 5802647*c_0101_3 + 2084151372480358311951996541633311715/1476463128\ 776694236131989801805802647, c_0101_0 + 156073100414640408917646109542638651/14764631287766942361319\ 89801805802647*c_0101_3^17 + 2175652735877069999461036665446038167/\ 1476463128776694236131989801805802647*c_0101_3^16 + 9685540991571773284582429344535242049/14764631287766942361319898018\ 05802647*c_0101_3^15 + 16934772655457754095192928799101956593/14764\ 63128776694236131989801805802647*c_0101_3^14 - 85268697363308949078006162481400103406/1476463128776694236131989801\ 805802647*c_0101_3^13 - 118467398271552500615305896950470591855/147\ 6463128776694236131989801805802647*c_0101_3^12 - 1623493869060413351321283336200697130361/14764631287766942361319898\ 01805802647*c_0101_3^11 - 4448492958775621983211399994990833022572/\ 1476463128776694236131989801805802647*c_0101_3^10 - 1112356824357585263989445436481991665310/14764631287766942361319898\ 01805802647*c_0101_3^9 + 3140988770614610627232623768139472423082/1\ 476463128776694236131989801805802647*c_0101_3^8 + 823495784901298210351609520272358257395/147646312877669423613198980\ 1805802647*c_0101_3^7 + 438677113653270547914462783683131480547/147\ 6463128776694236131989801805802647*c_0101_3^6 + 52040065334523732174666328901738348731/1476463128776694236131989801\ 805802647*c_0101_3^5 - 268377561717977552994314908043625405262/1476\ 463128776694236131989801805802647*c_0101_3^4 + 30036444262819704192271260777879104051/1476463128776694236131989801\ 805802647*c_0101_3^3 - 91521751056223880513254330147432805/64194049\ 077247575483999556600252289*c_0101_3^2 - 8824843537624481645830944310311177592/14764631287766942361319898018\ 05802647*c_0101_3 + 464763200006607188769878748146486094/1476463128\ 776694236131989801805802647, c_0101_1 - 59583972413795989961949141904997734/147646312877669423613198\ 9801805802647*c_0101_3^17 - 600124755125407228582704134142878192/14\ 76463128776694236131989801805802647*c_0101_3^16 - 889782706802318308074497406423056909/147646312877669423613198980180\ 5802647*c_0101_3^15 + 2838654205423713061357461631508115622/1476463\ 128776694236131989801805802647*c_0101_3^14 + 40406670701701468441445870406361161602/1476463128776694236131989801\ 805802647*c_0101_3^13 - 97244772676072483266401729218801951018/1476\ 463128776694236131989801805802647*c_0101_3^12 + 692542810584531506851247093490377536266/147646312877669423613198980\ 1805802647*c_0101_3^11 - 786830001119409391235159263960844961102/14\ 76463128776694236131989801805802647*c_0101_3^10 - 1793662580564037005012271210466445018501/14764631287766942361319898\ 01805802647*c_0101_3^9 + 1762336067359017228957327843355716763052/1\ 476463128776694236131989801805802647*c_0101_3^8 - 154663108012193784283447432406044571992/147646312877669423613198980\ 1805802647*c_0101_3^7 + 47478431284191318064500936553121588404/1476\ 463128776694236131989801805802647*c_0101_3^6 + 134142449681719888967334940972514548019/147646312877669423613198980\ 1805802647*c_0101_3^5 - 207698130359307172765404632288139009026/147\ 6463128776694236131989801805802647*c_0101_3^4 + 59755619157413866391023682458845130343/1476463128776694236131989801\ 805802647*c_0101_3^3 - 162075592174682323849751812268717524/6419404\ 9077247575483999556600252289*c_0101_3^2 - 2188417967354771614258118000034694837/14764631287766942361319898018\ 05802647*c_0101_3 + 2070629152408926788984947448862360628/147646312\ 8776694236131989801805802647, c_0101_3^18 + 12*c_0101_3^17 + 38*c_0101_3^16 + 25*c_0101_3^15 - 630*c_0101_3^14 + 424*c_0101_3^13 - 10755*c_0101_3^12 - 7696*c_0101_3^11 + 16109*c_0101_3^10 - 333*c_0101_3^9 - 926*c_0101_3^8 + 471*c_0101_3^7 - 1647*c_0101_3^6 + 449*c_0101_3^5 + 103*c_0101_3^4 - 62*c_0101_3^3 + 17*c_0101_3^2 + 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB