Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 1309659764] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0117 geometric_solution 3.63548457 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -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 1 -1 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.806512564127 0.081715754131 0 0 2 2 0132 3201 2310 0132 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 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 2.718126746238 0.429583365803 3 1 1 4 0132 3201 0132 0132 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 1 0 -1 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 1.834094515841 1.030928419136 2 5 6 4 0132 0132 0132 2031 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 0 -1 1 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.078466796962 0.627843027764 6 3 2 5 1230 1302 0132 2310 0 0 0 0 0 0 -1 1 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 1 -1 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.238003882754 0.159512897234 4 3 6 6 3201 0132 3120 1230 0 0 0 0 0 -1 0 1 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 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203509175123 0.404516072724 5 4 5 3 3012 3012 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0.203509175123 0.404516072724 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_0011_6'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 332288547951777991517949246562272211065/250203218584903842117003893\ 3244582502*c_0101_3^19 + 4923925502933681693802028062957357614731/2\ 859465355256043909908615923708094288*c_0101_3^18 + 16313885906977598101729048416836405591389/5004064371698076842340077\ 866489165004*c_0101_3^17 - 2378820426192989970663699493402712917051\ 51/10008128743396153684680155732978330008*c_0101_3^16 - 9494115584540429728336043597693347104330/12510160929245192105850194\ 66622291251*c_0101_3^15 + 33890681405675066864612231085746095723761\ 11/20016257486792307369360311465956660016*c_0101_3^14 - 620802276125394163396864543298432518559073/500406437169807684234007\ 7866489165004*c_0101_3^13 - 636308036075962666751424170316807297302\ 907/1251016092924519210585019466622291251*c_0101_3^12 + 170526677007802007394193681020360939736969/217568016160785949666959\ 907238659348*c_0101_3^11 + 4986857662066373332083079043311626299783\ 863/20016257486792307369360311465956660016*c_0101_3^10 - 19180805451769939881066915026871984372418421/2001625748679230736936\ 0311465956660016*c_0101_3^9 - 2808962946231807481244110612998322834\ 5691/435136032321571899333919814477318696*c_0101_3^8 + 62878970470770258363819030463101551150729/6216229033165312847627425\ 9211045528*c_0101_3^7 - 9841379423096040042905518506922528300772991\ /20016257486792307369360311465956660016*c_0101_3^6 - 1578398544355322630942249219198750866183403/10008128743396153684680\ 155732978330008*c_0101_3^5 + 10517195614854045803147618221744887861\ 78575/10008128743396153684680155732978330008*c_0101_3^4 + 555004432235034768120400242663000565301147/100081287433961536846801\ 55732978330008*c_0101_3^3 - 369995770326857791943914402938535832820\ 03/1251016092924519210585019466622291251*c_0101_3^2 + 38881870795327660436818801585085622838915/2001625748679230736936031\ 1465956660016*c_0101_3 + 27736112123106632628418278717758732260791/\ 20016257486792307369360311465956660016, c_0011_0 - 1, c_0011_2 - 3752487524846490790891630911328/2008051513522502745722342643\ 053437*c_0101_3^19 - 77327811034171029210387425668975/2008051513522\ 502745722342643053437*c_0101_3^18 - 472595890885699836640002610141283/200805151352250274572234264305343\ 7*c_0101_3^17 - 140088159244052045571133350561947/20080515135225027\ 45722342643053437*c_0101_3^16 + 5217425406966807704232426434435163/\ 2008051513522502745722342643053437*c_0101_3^15 - 1188369066945129503592935550780542/20080515135225027457223426430534\ 37*c_0101_3^14 - 32666583869152082516883582489528984/20080515135225\ 02745722342643053437*c_0101_3^13 + 27066174058810982711783450364613647/2008051513522502745722342643053\ 437*c_0101_3^12 + 4241029409761638489910627232281248/87306587544456\ 641118362723611019*c_0101_3^11 - 1270501833714246937870488591151950\ 83/2008051513522502745722342643053437*c_0101_3^10 - 89081336169678396742085307490141524/2008051513522502745722342643053\ 437*c_0101_3^9 + 6428746741321841476881057497962693/873065875444566\ 41118362723611019*c_0101_3^8 + 3488898428932373738718643142825153/8\ 7306587544456641118362723611019*c_0101_3^7 - 140068180297202425644727279141859025/200805151352250274572234264305\ 3437*c_0101_3^6 + 9028183753950692385301652416602374/20080515135225\ 02745722342643053437*c_0101_3^5 + 124367123846512759236698651410770\ 01/2008051513522502745722342643053437*c_0101_3^4 + 15913343742324907493442039120435295/2008051513522502745722342643053\ 437*c_0101_3^3 - 1718937987222000683596224686273891/200805151352250\ 2745722342643053437*c_0101_3^2 - 1959422244538231370225431374037655\ /2008051513522502745722342643053437*c_0101_3 - 911455338196851508391397756283236/200805151352250274572234264305343\ 7, c_0011_4 + 140852775436094885033687077416112/20080515135225027457223426\ 43053437*c_0101_3^19 + 1858655408724913999555734885994742/200805151\ 3522502745722342643053437*c_0101_3^18 + 3897682669077911972577202635786829/20080515135225027457223426430534\ 37*c_0101_3^17 - 24139240448175302213722429590002019/20080515135225\ 02745722342643053437*c_0101_3^16 - 13197040230856765304122888265645557/2008051513522502745722342643053\ 437*c_0101_3^15 + 174434691183823211218783153086890205/200805151352\ 2502745722342643053437*c_0101_3^14 - 93106200232428905184930549487394018/2008051513522502745722342643053\ 437*c_0101_3^13 - 545563920575724456700844046482207626/200805151352\ 2502745722342643053437*c_0101_3^12 + 30456795226730044499718352032537866/8730658754445664111836272361101\ 9*c_0101_3^11 + 376895460167167710190464826371593737/20080515135225\ 02745722342643053437*c_0101_3^10 - 877927806154909499664663615104104859/200805151352250274572234264305\ 3437*c_0101_3^9 - 10162080918031773051290610499366686/8730658754445\ 6641118362723611019*c_0101_3^8 + 4175275259163687464941905999019065\ 7/87306587544456641118362723611019*c_0101_3^7 - 329381457721471476873260950320087287/200805151352250274572234264305\ 3437*c_0101_3^6 - 178190266987166325417930003881116705/200805151352\ 2502745722342643053437*c_0101_3^5 + 50273428653545561797563619639541611/2008051513522502745722342643053\ 437*c_0101_3^4 + 69098141407643138201442597785560676/20080515135225\ 02745722342643053437*c_0101_3^3 - 173979755405422525714977236174256\ 19/2008051513522502745722342643053437*c_0101_3^2 + 2017116846335823396188454278255425/20080515135225027457223426430534\ 37*c_0101_3 + 351684743322530765497498509372523/2008051513522502745\ 722342643053437, c_0011_6 + 847642854539793212979418426523/87306587544456641118362723611\ 019*c_0101_3^19 + 10505753301849359265547283459824/8730658754445664\ 1118362723611019*c_0101_3^18 + 15103602781274460315006225137654/873\ 06587544456641118362723611019*c_0101_3^17 - 155391190154442467585417060247897/87306587544456641118362723611019*\ c_0101_3^16 + 61763487614882210318380618284635/87306587544456641118\ 362723611019*c_0101_3^15 + 1025770572869025154948857007548804/87306\ 587544456641118362723611019*c_0101_3^14 - 67679889294845849806701592868453/3795938588889419179059248852653*c_\ 0101_3^13 - 2163487316830671798533667178086363/87306587544456641118\ 362723611019*c_0101_3^12 + 7149013175273386828146106107689848/87306\ 587544456641118362723611019*c_0101_3^11 - 3615680686819857166745436824378447/87306587544456641118362723611019\ *c_0101_3^10 - 6460573893495601926398982947209305/87306587544456641\ 118362723611019*c_0101_3^9 + 6431170241448674481241257450494732/873\ 06587544456641118362723611019*c_0101_3^8 + 5723343731689666587030074326041059/87306587544456641118362723611019\ *c_0101_3^7 - 10052224414925991568185313870487298/87306587544456641\ 118362723611019*c_0101_3^6 + 2188445133390464435443657767896603/873\ 06587544456641118362723611019*c_0101_3^5 + 2386456190216563535048811037332279/87306587544456641118362723611019\ *c_0101_3^4 - 366122665508015803416418485467064/8730658754445664111\ 8362723611019*c_0101_3^3 - 599587122419944103548405193910111/873065\ 87544456641118362723611019*c_0101_3^2 + 93073250745915892102549649984088/87306587544456641118362723611019*c\ _0101_3 + 10825930637281724009819454048265/873065875444566411183627\ 23611019, c_0101_0 + 122693975671466570844338512787271/20080515135225027457223426\ 43053437*c_0101_3^19 + 1614818540152168180209059327546090/200805151\ 3522502745722342643053437*c_0101_3^18 + 3324743037776615908128421422084022/20080515135225027457223426430534\ 37*c_0101_3^17 - 21353067642253299747082207279594797/20080515135225\ 02745722342643053437*c_0101_3^16 - 11381098326447230732909552892527732/2008051513522502745722342643053\ 437*c_0101_3^15 + 154290633625515565364133861767568651/200805151352\ 2502745722342643053437*c_0101_3^14 - 83081847469384976844668474886968355/2008051513522502745722342643053\ 437*c_0101_3^13 - 487435493216993276021845308084180022/200805151352\ 2502745722342643053437*c_0101_3^12 + 27040039323887440004452341812018905/8730658754445664111836272361101\ 9*c_0101_3^11 + 358672841978776163907674242673353685/20080515135225\ 02745722342643053437*c_0101_3^10 - 798528279904579367539008966325902254/200805151352250274572234264305\ 3437*c_0101_3^9 - 441655050181909301085046842682331/379593858888941\ 9179059248852653*c_0101_3^8 + 37933069822332901432617441385353370/8\ 7306587544456641118362723611019*c_0101_3^7 - 266417907127710071296386250073412716/200805151352250274572234264305\ 3437*c_0101_3^6 - 189406361920076366245848742379400248/200805151352\ 2502745722342643053437*c_0101_3^5 + 47541929388009391865607815165805768/2008051513522502745722342643053\ 437*c_0101_3^4 + 65993320071871626841627617230172214/20080515135225\ 02745722342643053437*c_0101_3^3 - 159536127967223092148747208477997\ 70/2008051513522502745722342643053437*c_0101_3^2 - 5509735171332350132634838942479372/20080515135225027457223426430534\ 37*c_0101_3 + 372417529834460299433944094427853/2008051513522502745\ 722342643053437, c_0101_1 - 7723470603337183487287102541509/8730658754445664111836272361\ 1019*c_0101_3^19 - 101430466747354117068472460047226/87306587544456\ 641118362723611019*c_0101_3^18 - 205822066899811782014238163596680/\ 87306587544456641118362723611019*c_0101_3^17 + 1357699092318341626669594423058981/87306587544456641118362723611019\ *c_0101_3^16 + 695763614882717804096174365842397/873065875444566411\ 18362723611019*c_0101_3^15 - 9822641143436745785203396123892419/873\ 06587544456641118362723611019*c_0101_3^14 + 5432129134974227731463699287552052/87306587544456641118362723611019\ *c_0101_3^13 + 31186841077829604579604436654406745/8730658754445664\ 1118362723611019*c_0101_3^12 - 40226019748189302891529750986575804/\ 87306587544456641118362723611019*c_0101_3^11 - 23547593008513732440390879243975234/8730658754445664111836272361101\ 9*c_0101_3^10 + 53054051241154478879115936244712987/873065875444566\ 41118362723611019*c_0101_3^9 + 14896133453921203821678321978995609/\ 87306587544456641118362723611019*c_0101_3^8 - 57912055660825993730076607528223281/8730658754445664111836272361101\ 9*c_0101_3^7 + 17174982735424168949394428925952140/8730658754445664\ 1118362723611019*c_0101_3^6 + 14322859154888744107226510710796630/8\ 7306587544456641118362723611019*c_0101_3^5 - 4185633880660091857028684681168259/87306587544456641118362723611019\ *c_0101_3^4 - 4298984519518473751607462390689159/873065875444566411\ 18362723611019*c_0101_3^3 + 1128839729778397678793938897974706/8730\ 6587544456641118362723611019*c_0101_3^2 + 314111099900223934619342810845273/87306587544456641118362723611019*\ c_0101_3 - 35941661064294749886142793095704/87306587544456641118362\ 723611019, c_0101_3^20 + 13*c_0101_3^19 + 25*c_0101_3^18 - 178*c_0101_3^17 - 63*c_0101_3^16 + 1271*c_0101_3^15 - 891*c_0101_3^14 - 3848*c_0101_3^13 + 5759*c_0101_3^12 + 2038*c_0101_3^11 - 7082*c_0101_3^10 - 723*c_0101_3^9 + 7521*c_0101_3^8 - 3435*c_0101_3^7 - 1233*c_0101_3^6 + 698*c_0101_3^5 + 440*c_0101_3^4 - 199*c_0101_3^3 + 10*c_0101_3^2 + 8*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB