Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2480017224] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1711 geometric_solution 5.42143456 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.428925734936 0.232498896926 0 3 0 3 0132 0132 2310 2310 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 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.801958943504 0.976750594674 4 0 5 0 0132 2310 0132 0132 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 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.769115321560 0.744251697748 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 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 0 0.380233384246 1.225673975761 2 3 4 4 0132 1230 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.096162623374 1.176912452000 6 6 3 2 0132 2310 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352183704650 1.959452063593 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.184914764322 0.360903270970 ==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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], '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_2']), '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 355122730789237063337556/88380415987896796421207*c_0101_5^22 + 1284366515250286562236321/176760831975793592842414*c_0101_5^21 - 402082186048322634927811/176760831975793592842414*c_0101_5^20 - 292770933158731494948557/176760831975793592842414*c_0101_5^19 - 3231222983430211918809869/88380415987896796421207*c_0101_5^18 - 398302870234005727178232/8034583271626981492837*c_0101_5^17 - 2656942198829532959547209/176760831975793592842414*c_0101_5^16 - 6732401219604883206259983/176760831975793592842414*c_0101_5^15 + 9777116311033966256107281/176760831975793592842414*c_0101_5^14 + 23972024778090383171792705/176760831975793592842414*c_0101_5^13 + 34538643622655328680169584/88380415987896796421207*c_0101_5^12 + 3078259066003373583947943/176760831975793592842414*c_0101_5^11 - 146291601061011269115884/88380415987896796421207*c_0101_5^10 - 91400483165154349308410591/176760831975793592842414*c_0101_5^9 - 182004684863261896264063337/176760831975793592842414*c_0101_5^8 + 101096941191839386871507219/88380415987896796421207*c_0101_5^7 + 11184047719529885803506429/16069166543253962985674*c_0101_5^6 - 150269768367544028741951189/176760831975793592842414*c_0101_5^5 - 13727431358692484423576374/88380415987896796421207*c_0101_5^4 + 1644925542330837600938077/8034583271626981492837*c_0101_5^3 + 7614002043648667403439192/88380415987896796421207*c_0101_5^2 - 8914921829542328521648075/176760831975793592842414*c_0101_5 + 1067908638733076460147342/88380415987896796421207, c_0011_0 - 1, c_0011_2 + 15075599638076360690491/88380415987896796421207*c_0101_5^22 + 35833792459251842795011/88380415987896796421207*c_0101_5^21 + 1908732482718657540292/8034583271626981492837*c_0101_5^20 + 22236822624182320125057/88380415987896796421207*c_0101_5^19 - 122624260205106841633734/88380415987896796421207*c_0101_5^18 - 246809203161957976487878/88380415987896796421207*c_0101_5^17 - 278837894928377013367242/88380415987896796421207*c_0101_5^16 - 406677863652372227012056/88380415987896796421207*c_0101_5^15 - 121693851790702942525373/88380415987896796421207*c_0101_5^14 + 273072631012618265462684/88380415987896796421207*c_0101_5^13 + 1673119292353986407827956/88380415987896796421207*c_0101_5^12 + 1195217603221515352592079/88380415987896796421207*c_0101_5^11 + 1604622052940507076515466/88380415987896796421207*c_0101_5^10 - 855392883219866868028243/88380415987896796421207*c_0101_5^9 - 3635760742453293240459012/88380415987896796421207*c_0101_5^8 + 1153245856218824521038309/88380415987896796421207*c_0101_5^7 + 1493752868927934176958636/88380415987896796421207*c_0101_5^6 - 583005937498890006384531/88380415987896796421207*c_0101_5^5 - 677007047578335251236889/88380415987896796421207*c_0101_5^4 - 153141830124378807646850/88380415987896796421207*c_0101_5^3 + 58550804224845154727317/88380415987896796421207*c_0101_5^2 - 8824617174018878607577/8034583271626981492837*c_0101_5 + 78081875546170285206930/88380415987896796421207, c_0011_5 - 20885711939813827683069/88380415987896796421207*c_0101_5^22 - 47099834244728900276823/88380415987896796421207*c_0101_5^21 - 18332117462473981265892/88380415987896796421207*c_0101_5^20 - 18538700060535333198412/88380415987896796421207*c_0101_5^19 + 176737207075167530598967/88380415987896796421207*c_0101_5^18 + 329076980975554131191085/88380415987896796421207*c_0101_5^17 + 303738640438197469870886/88380415987896796421207*c_0101_5^16 + 462709020812579601085185/88380415987896796421207*c_0101_5^15 + 32380986818843249355412/88380415987896796421207*c_0101_5^14 - 506352560038136225646713/88380415987896796421207*c_0101_5^13 - 2272621982835824996832051/88380415987896796421207*c_0101_5^12 - 119736244894915007526485/8034583271626981492837*c_0101_5^11 - 1538722772382534494926942/88380415987896796421207*c_0101_5^10 + 1591690431887835957935066/88380415987896796421207*c_0101_5^9 + 5428888124121799837746442/88380415987896796421207*c_0101_5^8 - 246135846505613053142239/8034583271626981492837*c_0101_5^7 - 2648835755250224482564784/88380415987896796421207*c_0101_5^6 + 156158832335151072091281/8034583271626981492837*c_0101_5^5 + 728496325287518271856316/88380415987896796421207*c_0101_5^4 + 83692511792108901345388/88380415987896796421207*c_0101_5^3 - 156946066388561844344927/88380415987896796421207*c_0101_5^2 + 180002411732289535519577/88380415987896796421207*c_0101_5 - 78511541092562190326094/88380415987896796421207, c_0101_0 - 10298540441726511214277/88380415987896796421207*c_0101_5^22 - 35672680521529383119045/88380415987896796421207*c_0101_5^21 - 35833792459251842795011/88380415987896796421207*c_0101_5^20 - 1908732482718657540292/8034583271626981492837*c_0101_5^19 + 70450041351356280803436/88380415987896796421207*c_0101_5^18 + 266803826389277998633612/88380415987896796421207*c_0101_5^17 + 329197526695770066202094/88380415987896796421207*c_0101_5^16 + 423017461112548170367120/88380415987896796421207*c_0101_5^15 + 28544636334257602371233/8034583271626981492837*c_0101_5^14 - 207859442344545416331491/88380415987896796421207*c_0101_5^13 - 1344120836952175431747492/88380415987896796421207*c_0101_5^12 - 1982075505605781744256266/88380415987896796421207*c_0101_5^11 - 132061919478607102995364/8034583271626981492837*c_0101_5^10 - 440886983025411309302165/88380415987896796421207*c_0101_5^9 + 3646297342927751407097310/88380415987896796421207*c_0101_5^8 + 1390678926156913795746626/88380415987896796421207*c_0101_5^7 - 2790713786453339804108352/88380415987896796421207*c_0101_5^6 + 40729656889315993968637/88380415987896796421207*c_0101_5^5 + 87641084894797356482980/8034583271626981492837*c_0101_5^4 + 460737698302078515737072/88380415987896796421207*c_0101_5^3 - 104321680918783972710075/88380415987896796421207*c_0101_5^2 + 54733140634146468629730/88380415987896796421207*c_0101_5 + 35279546263848597397685/88380415987896796421207, c_0101_1 - 1, c_0101_2 + 6291150439747120888819/88380415987896796421207*c_0101_5^22 + 18615614372806003415023/88380415987896796421207*c_0101_5^21 + 22379263244372104365799/88380415987896796421207*c_0101_5^20 + 2210256032612668835204/8034583271626981492837*c_0101_5^19 - 39908723169293852328627/88380415987896796421207*c_0101_5^18 - 122041666951796570746216/88380415987896796421207*c_0101_5^17 - 216313993900262286677598/88380415987896796421207*c_0101_5^16 - 298023832449739454883433/88380415987896796421207*c_0101_5^15 - 21745483435013706299131/8034583271626981492837*c_0101_5^14 - 51148970617305044508173/88380415987896796421207*c_0101_5^13 + 722186331782914557508630/88380415987896796421207*c_0101_5^12 + 932629749818185742237983/88380415987896796421207*c_0101_5^11 + 133121950335787922467602/8034583271626981492837*c_0101_5^10 + 255826956144600316849965/88380415987896796421207*c_0101_5^9 - 1015525741639052707201111/88380415987896796421207*c_0101_5^8 - 769984974642064709229571/88380415987896796421207*c_0101_5^7 + 228703661922406124449412/88380415987896796421207*c_0101_5^6 + 597737947565301799583119/88380415987896796421207*c_0101_5^5 - 43674550825335572983358/8034583271626981492837*c_0101_5^4 - 185406401092611122988043/88380415987896796421207*c_0101_5^3 - 213125803433059821034230/88380415987896796421207*c_0101_5^2 - 5326719591807354311898/88380415987896796421207*c_0101_5 - 95856414748976819771620/88380415987896796421207, c_0101_5^23 + 2*c_0101_5^22 - 9*c_0101_5^19 - 14*c_0101_5^18 - 8*c_0101_5^17 - 14*c_0101_5^16 + 9*c_0101_5^15 + 32*c_0101_5^14 + 104*c_0101_5^13 + 30*c_0101_5^12 + 25*c_0101_5^11 - 113*c_0101_5^10 - 271*c_0101_5^9 + 218*c_0101_5^8 + 159*c_0101_5^7 - 149*c_0101_5^6 - 37*c_0101_5^5 + 21*c_0101_5^4 + 25*c_0101_5^3 - 11*c_0101_5^2 + 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB