Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 307465938] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0469 geometric_solution 4.50082394 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -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.558776629955 0.351689151537 0 2 2 3 0132 2031 1230 0132 0 0 0 0 0 -1 1 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 0 0 0 -1 0 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.718156973883 0.806780853191 1 0 3 1 1302 0132 2310 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 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.718156973883 0.806780853191 4 2 1 4 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -1 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.526745126669 0.502129649294 3 5 5 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 1 -1 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.305910448195 0.396072389366 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -1 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.331464840608 0.121922583991 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 -1 1 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 1 -1 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.509579325685 0.066920092431 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_0']), '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' : d['c_0101_4'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 12988853481153442172137/227319276283237863014*c_0101_6^18 - 158218512024053579215721/681957828849713589042*c_0101_6^17 - 269274956000743359920935/340978914424856794521*c_0101_6^16 + 1113267294202185249948772/340978914424856794521*c_0101_6^15 - 300550825918430655695545/681957828849713589042*c_0101_6^14 - 3033871015059813880571719/340978914424856794521*c_0101_6^13 + 15286514385113695173922685/681957828849713589042*c_0101_6^12 - 4876013357632149896966419/681957828849713589042*c_0101_6^11 - 4169958025934285404448847/113659638141618931507*c_0101_6^10 - 12603978779428745117931215/681957828849713589042*c_0101_6^9 - 277488376829293832231629/227319276283237863014*c_0101_6^8 + 7948892860393931819123433/227319276283237863014*c_0101_6^7 + 4198992594330936435338961/113659638141618931507*c_0101_6^6 + 1264995188068389763260461/113659638141618931507*c_0101_6^5 + 887640784341072831844547/681957828849713589042*c_0101_6^4 + 1127562586237960440240871/227319276283237863014*c_0101_6^3 + 1345599659601126779876323/227319276283237863014*c_0101_6^2 + 1653124167855235397268827/681957828849713589042*c_0101_6 + 112177181264646194479162/340978914424856794521, c_0011_0 - 1, c_0011_3 - 100213389068837367105/3666439940052223597*c_0101_6^18 + 438446671361787688393/3666439940052223597*c_0101_6^17 + 1239047309967238814902/3666439940052223597*c_0101_6^16 - 18237742019929199201195/10999319820156670791*c_0101_6^15 + 8327089380613346525212/10999319820156670791*c_0101_6^14 + 14225264091821764021312/3666439940052223597*c_0101_6^13 - 43442150407689379349207/3666439940052223597*c_0101_6^12 + 81755371421803533704902/10999319820156670791*c_0101_6^11 + 156179667253623185539325/10999319820156670791*c_0101_6^10 + 19134793073241754034264/3666439940052223597*c_0101_6^9 - 1719960409402349769634/10999319820156670791*c_0101_6^8 - 181078985470641054798224/10999319820156670791*c_0101_6^7 - 138268012463641923703417/10999319820156670791*c_0101_6^6 - 29245903367359590264548/10999319820156670791*c_0101_6^5 - 5093266117900714379770/10999319820156670791*c_0101_6^4 - 25120387744778882849861/10999319820156670791*c_0101_6^3 - 23331890781758487387611/10999319820156670791*c_0101_6^2 - 7360536783056365793669/10999319820156670791*c_0101_6 - 760940529736278054521/10999319820156670791, c_0101_0 - 193394436985804650325/10999319820156670791*c_0101_6^18 + 286014504018198272179/3666439940052223597*c_0101_6^17 + 778596934452882936516/3666439940052223597*c_0101_6^16 - 11864312675863067784805/10999319820156670791*c_0101_6^15 + 6115282475897692585850/10999319820156670791*c_0101_6^14 + 26917614583916598935807/10999319820156670791*c_0101_6^13 - 85383322597329068335781/10999319820156670791*c_0101_6^12 + 58174652793935998615982/10999319820156670791*c_0101_6^11 + 95720957922072149807638/10999319820156670791*c_0101_6^10 + 10671620306190384842908/3666439940052223597*c_0101_6^9 - 686622082647295531134/3666439940052223597*c_0101_6^8 - 38717756950398050261661/3666439940052223597*c_0101_6^7 - 27288465108586979173864/3666439940052223597*c_0101_6^6 - 15246994439887545868220/10999319820156670791*c_0101_6^5 - 3095341989564520522582/10999319820156670791*c_0101_6^4 - 15992090123040872514496/10999319820156670791*c_0101_6^3 - 4679561108059045899036/3666439940052223597*c_0101_6^2 - 4064021145158363925298/10999319820156670791*c_0101_6 - 123636289884175361548/3666439940052223597, c_0101_1 - 758495231903223381224/10999319820156670791*c_0101_6^18 + 3274079318343119567848/10999319820156670791*c_0101_6^17 + 9581570586367836550864/10999319820156670791*c_0101_6^16 - 15168037653902031667433/3666439940052223597*c_0101_6^15 + 6068900797518798877361/3666439940052223597*c_0101_6^14 + 109465164741904886710574/10999319820156670791*c_0101_6^13 - 322826864095548845285804/10999319820156670791*c_0101_6^12 + 61913654832721066823661/3666439940052223597*c_0101_6^11 + 410245981344119917571036/10999319820156670791*c_0101_6^10 + 164886004275648763825444/10999319820156670791*c_0101_6^9 - 96734625873109693039/3666439940052223597*c_0101_6^8 - 152663751047359195898817/3666439940052223597*c_0101_6^7 - 125125891813191790995255/3666439940052223597*c_0101_6^6 - 88827543659042777905681/10999319820156670791*c_0101_6^5 - 4609726254357951546864/3666439940052223597*c_0101_6^4 - 63881145537148521272048/10999319820156670791*c_0101_6^3 - 20819102372886883184623/3666439940052223597*c_0101_6^2 - 7084366947905168178611/3666439940052223597*c_0101_6 - 2418379104562041588430/10999319820156670791, c_0101_4 + 49685874373966/1053473787966351*c_0101_6^18 - 43985170001820/351157929322117*c_0101_6^17 - 340065727086795/351157929322117*c_0101_6^16 + 2099231100283840/1053473787966351*c_0101_6^15 + 4211345561158942/1053473787966351*c_0101_6^14 - 11433513924942605/1053473787966351*c_0101_6^13 + 10234704229639859/1053473787966351*c_0101_6^12 + 28803855036133318/1053473787966351*c_0101_6^11 - 63808347251957203/1053473787966351*c_0101_6^10 - 15354765669521879/351157929322117*c_0101_6^9 + 2094077068504717/351157929322117*c_0101_6^8 + 10012405339965582/351157929322117*c_0101_6^7 + 23725587469531119/351157929322117*c_0101_6^6 + 26149735034837822/1053473787966351*c_0101_6^5 - 6116917867284584/1053473787966351*c_0101_6^4 + 8574063553048927/1053473787966351*c_0101_6^3 + 3755905712422387/351157929322117*c_0101_6^2 + 4984904895614863/1053473787966351*c_0101_6 + 40756707265703/351157929322117, c_0101_5 + 266905925543961302881/10999319820156670791*c_0101_6^18 - 1171018760011666437683/10999319820156670791*c_0101_6^17 - 3284894668962164443861/10999319820156670791*c_0101_6^16 + 16227756899341020511882/10999319820156670791*c_0101_6^15 - 2533357604033183454246/3666439940052223597*c_0101_6^14 - 37742464279919026762237/10999319820156670791*c_0101_6^13 + 116123419754853746398514/10999319820156670791*c_0101_6^12 - 74099885278319191724047/10999319820156670791*c_0101_6^11 - 137366191309257246696634/10999319820156670791*c_0101_6^10 - 16548672715252094327769/3666439940052223597*c_0101_6^9 + 1880596540314118032328/10999319820156670791*c_0101_6^8 + 160655863229474389577843/10999319820156670791*c_0101_6^7 + 120792810139042829378173/10999319820156670791*c_0101_6^6 + 24975854347114849048048/10999319820156670791*c_0101_6^5 + 4417217660670467831755/10999319820156670791*c_0101_6^4 + 22278903690544555162763/10999319820156670791*c_0101_6^3 + 20451555890539800008209/10999319820156670791*c_0101_6^2 + 6334339895785797837556/10999319820156670791*c_0101_6 + 638900174390166721418/10999319820156670791, c_0101_6^19 - 4*c_0101_6^18 - 14*c_0101_6^17 + 56*c_0101_6^16 - 5*c_0101_6^15 - 152*c_0101_6^14 + 380*c_0101_6^13 - 110*c_0101_6^12 - 619*c_0101_6^11 - 388*c_0101_6^10 - 68*c_0101_6^9 + 604*c_0101_6^8 + 686*c_0101_6^7 + 273*c_0101_6^6 + 55*c_0101_6^5 + 90*c_0101_6^4 + 109*c_0101_6^3 + 54*c_0101_6^2 + 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB