Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 964208111] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1502 geometric_solution 5.30979152 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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.610827270070 0.474400466217 0 2 3 0 3201 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802440131964 0.545876213288 4 1 3 5 0132 0132 1302 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 0 0 0 0 0 0 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.731717619723 0.401901051366 2 5 6 1 2031 1302 0132 0132 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 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.139807664255 0.641411637539 2 6 5 5 0132 1023 1302 3201 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516667516444 0.592800293147 4 4 2 3 2031 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -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 2.092328426544 0.743609612704 4 6 6 3 1023 1230 3012 0132 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 0 0 0 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.164451780723 0.958669189685 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1686718296629434676561318/478720957922508604023*c_0101_6^20 + 359030297601554950974662/159573652640836201341*c_0101_6^19 - 4983747407884472956919317/53191217546945400447*c_0101_6^18 - 183820779421236796887539566/478720957922508604023*c_0101_6^17 + 11696370533852912397050272/53191217546945400447*c_0101_6^16 + 1678058496959396749924934195/478720957922508604023*c_0101_6^15 + 711405676230242394940458170/159573652640836201341*c_0101_6^14 - 2678666294061028277332238599/478720957922508604023*c_0101_6^13 - 7452541629721836486216865288/478720957922508604023*c_0101_6^12 - 85425128097592620779446715/22796236091548028763*c_0101_6^11 + 955679728608690661532848183/53191217546945400447*c_0101_6^10 + 96496762958730160919027143/5910135282993933383*c_0101_6^9 - 2759262278758294023550235668/478720957922508604023*c_0101_6^8 - 7297386797598665039554504903/478720957922508604023*c_0101_6^7 - 1955304288283639901864352953/478720957922508604023*c_0101_6^6 + 960260353314626704758471034/159573652640836201341*c_0101_6^5 + 90040291188805504849896242/22796236091548028763*c_0101_6^4 - 413316753802441796436307481/478720957922508604023*c_0101_6^3 - 589631525428653651175787234/478720957922508604023*c_0101_6^2 - 114700456518110065183561/7598745363849342921*c_0101_6 + 7922037265626670716257656/53191217546945400447, c_0011_0 - 1, c_0011_1 + 42830211830091121064/2532915121283114307*c_0101_6^20 + 26478936674630232157/2532915121283114307*c_0101_6^19 - 379828264930791901695/844305040427704769*c_0101_6^18 - 4644794185729674251293/2532915121283114307*c_0101_6^17 + 2767248668465039236366/2532915121283114307*c_0101_6^16 + 42560842217625790926224/2532915121283114307*c_0101_6^15 + 53355568835652562202488/2532915121283114307*c_0101_6^14 - 69128943768267316538095/2532915121283114307*c_0101_6^13 - 62700777917538191911198/844305040427704769*c_0101_6^12 - 41980145795383010296793/2532915121283114307*c_0101_6^11 + 73281944082746845046476/844305040427704769*c_0101_6^10 + 65061227278996095032500/844305040427704769*c_0101_6^9 - 73970713222147438088458/2532915121283114307*c_0101_6^8 - 61764894162287405126219/844305040427704769*c_0101_6^7 - 47072933629610245915081/2532915121283114307*c_0101_6^6 + 74545431462388434893906/2532915121283114307*c_0101_6^5 + 15853800500467253956612/844305040427704769*c_0101_6^4 - 11128674800610871984106/2532915121283114307*c_0101_6^3 - 5016873376751487341172/844305040427704769*c_0101_6^2 - 97840835006105911996/2532915121283114307*c_0101_6 + 608954230113933253576/844305040427704769, c_0011_3 + 98883769585087038722/2532915121283114307*c_0101_6^20 + 64297551774007276520/2532915121283114307*c_0101_6^19 - 876027318941544378659/844305040427704769*c_0101_6^18 - 10806225290804229015622/2532915121283114307*c_0101_6^17 + 6027192943921903399223/2532915121283114307*c_0101_6^16 + 98356893166984045825829/2532915121283114307*c_0101_6^15 + 126244207778275300057259/2532915121283114307*c_0101_6^14 - 154896973425639041923984/2532915121283114307*c_0101_6^13 - 437337579920790746000429/2532915121283114307*c_0101_6^12 - 110246060134461268402603/2532915121283114307*c_0101_6^11 + 166663154430890205955157/844305040427704769*c_0101_6^10 + 153626798841785983269964/844305040427704769*c_0101_6^9 - 155492245222120699574380/2532915121283114307*c_0101_6^8 - 425569286712124010310821/2532915121283114307*c_0101_6^7 - 39113206775892978200892/844305040427704769*c_0101_6^6 + 166211539168937005555027/2532915121283114307*c_0101_6^5 + 36917669585975391530943/844305040427704769*c_0101_6^4 - 23377771213363401625421/2532915121283114307*c_0101_6^3 - 34286219475736024048537/2532915121283114307*c_0101_6^2 - 509640005847850349777/2532915121283114307*c_0101_6 + 1380540871114199526617/844305040427704769, c_0011_5 - 58123553206743021956/844305040427704769*c_0101_6^20 - 37530806089650854023/844305040427704769*c_0101_6^19 + 1545041006797438548093/844305040427704769*c_0101_6^18 + 6344959342329883046268/844305040427704769*c_0101_6^17 - 3573693524874004650262/844305040427704769*c_0101_6^16 - 57808612047775509364784/844305040427704769*c_0101_6^15 - 73948083814679193275225/844305040427704769*c_0101_6^14 + 91453764672147116671429/844305040427704769*c_0101_6^13 + 256821787145874899116308/844305040427704769*c_0101_6^12 + 63739817836428535390891/844305040427704769*c_0101_6^11 - 294428175561163822031661/844305040427704769*c_0101_6^10 - 270103292136690141709553/844305040427704769*c_0101_6^9 + 92402087123555291860700/844305040427704769*c_0101_6^8 + 250167746941499953804764/844305040427704769*c_0101_6^7 + 68409817832104590165626/844305040427704769*c_0101_6^6 - 97934869427397166565977/844305040427704769*c_0101_6^5 - 64967998013723630219910/844305040427704769*c_0101_6^4 + 13829732401634341595859/844305040427704769*c_0101_6^3 + 20123918749137545110351/844305040427704769*c_0101_6^2 + 284572875300763794815/844305040427704769*c_0101_6 - 2425006118871834913719/844305040427704769, c_0101_0 - 1222916986720208141755/7598745363849342921*c_0101_6^20 - 86957406597221703033/844305040427704769*c_0101_6^19 + 3613147644299510836313/844305040427704769*c_0101_6^18 + 133318973389597801000538/7598745363849342921*c_0101_6^17 - 25372405719615597017528/2532915121283114307*c_0101_6^16 - 1216640899158089371931761/7598745363849342921*c_0101_6^15 - 172112349625944857176167/844305040427704769*c_0101_6^14 + 1939188132176448051077513/7598745363849342921*c_0101_6^13 + 5404264407217374353277017/7598745363849342921*c_0101_6^12 + 436025576105945941069613/2532915121283114307*c_0101_6^11 - 692246150113710331619292/844305040427704769*c_0101_6^10 - 630130655343610693637624/844305040427704769*c_0101_6^9 + 1991399401785607175909609/7598745363849342921*c_0101_6^8 + 5287667697438905939996357/7598745363849342921*c_0101_6^7 + 1421598503101288227803257/7598745363849342921*c_0101_6^6 - 231647538175160586161571/844305040427704769*c_0101_6^5 - 456925515762671216337472/2532915121283114307*c_0101_6^4 + 298480735707863233029898/7598745363849342921*c_0101_6^3 + 427113897703600196516500/7598745363849342921*c_0101_6^2 + 1786268241717716593754/2532915121283114307*c_0101_6 - 5738396239955074506154/844305040427704769, c_0101_3 + 192367948456815020378/2532915121283114307*c_0101_6^20 + 123269034166811178253/2532915121283114307*c_0101_6^19 - 1704664821092182789759/844305040427704769*c_0101_6^18 - 20975018435203098296014/2532915121283114307*c_0101_6^17 + 11926681619652038944930/2532915121283114307*c_0101_6^16 + 191269972747784723895905/2532915121283114307*c_0101_6^15 + 243881074327065442009963/2532915121283114307*c_0101_6^14 - 303788297734870165604650/2532915121283114307*c_0101_6^13 - 282980087930609565652302/844305040427704769*c_0101_6^12 - 207727309032652643394113/2532915121283114307*c_0101_6^11 + 325234507796514919068306/844305040427704769*c_0101_6^10 + 297048589307519300090283/844305040427704769*c_0101_6^9 - 308975870136387205110631/2532915121283114307*c_0101_6^8 - 275942126946933582274858/844305040427704769*c_0101_6^7 - 224326598036801775220702/2532915121283114307*c_0101_6^6 + 325115190398889803883734/2532915121283114307*c_0101_6^5 + 71524332836445407918425/844305040427704769*c_0101_6^4 - 46253928371818742345705/2532915121283114307*c_0101_6^3 - 22209965352527240723642/844305040427704769*c_0101_6^2 - 869336634727341192358/2532915121283114307*c_0101_6 + 2679498056481053826766/844305040427704769, c_0101_6^21 - 27*c_0101_6^19 - 92*c_0101_6^18 + 132*c_0101_6^17 + 955*c_0101_6^16 + 630*c_0101_6^15 - 2396*c_0101_6^14 - 3404*c_0101_6^13 + 1758*c_0101_6^12 + 5778*c_0101_6^11 + 1377*c_0101_6^10 - 4595*c_0101_6^9 - 3281*c_0101_6^8 + 1604*c_0101_6^7 + 2448*c_0101_6^6 + 30*c_0101_6^5 - 961*c_0101_6^4 - 193*c_0101_6^3 + 219*c_0101_6^2 + 45*c_0101_6 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB