Magma V2.19-8 Tue Aug 20 2013 16:18:47 on localhost [Seed = 1663237651] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2950 geometric_solution 6.14203199 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 -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.823890510912 0.687596627394 0 1 1 5 0132 1230 3012 0132 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 0.815866745830 0.795881556982 2 0 5 2 3012 0132 0132 1230 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 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.946028565945 0.764769837464 3 5 3 0 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617065937196 0.638231707661 5 6 0 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 -1 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.852708351831 0.638815541708 3 4 1 2 1023 1023 0132 0132 0 0 0 0 0 0 1 -1 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 -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.823890510912 0.687596627394 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558921141900 0.172483047923 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), '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_3'], 'c_0011_4' : 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_1'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0110_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0110_4']})} 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_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 12638172949851774294499204/27211766293064801188195*c_0110_6^23 - 291983488627797398629203/204599746564397001415*c_0110_6^22 - 8669115559669115479454563/5442353258612960237639*c_0110_6^21 - 372165731737482748030096/204599746564397001415*c_0110_6^20 + 37157332689340762480087482/27211766293064801188195*c_0110_6^19 + 17214193603708484901983767/27211766293064801188195*c_0110_6^18 - 89153844971589509266897393/3887395184723543026885*c_0110_6^17 - 33174177653346924196732728/5442353258612960237639*c_0110_6^16 + 5076887332298099742680014988/27211766293064801188195*c_0110_6^15 + 2161403411642279746553008793/27211766293064801188195*c_0110_6^14 - 159935057501188222862421121/299030398824887925145*c_0110_6^13 - 1962287546120928662536705897/27211766293064801188195*c_0110_6^12 + 21688904586780389504540141263/27211766293064801188195*c_0110_6^11 - 5739572335601367561871562238/27211766293064801188195*c_0110_6^10 - 18956002613636236507156941209/27211766293064801188195*c_0110_6^9 + 951590059090752179437305746/2093212791774215476015*c_0110_6^8 + 1400697599465152164607858897/3887395184723543026885*c_0110_6^7 - 9647032105876331756742496217/27211766293064801188195*c_0110_6^6 - 42827449977619228413627162/418642558354843095203*c_0110_6^5 + 3669435566282406413009538542/27211766293064801188195*c_0110_6^4 + 71195124671749101622869874/5442353258612960237639*c_0110_6^3 - 685169847447435422316898219/27211766293064801188195*c_0110_6^2 - 9413924037029486435916227/27211766293064801188195*c_0110_6 + 53221874056238993739470111/27211766293064801188195, c_0011_0 - 1, c_0011_3 + 5170241760325132789/3147688408683030791*c_0110_6^23 + 11660687010013873693/3147688408683030791*c_0110_6^22 + 3471514339346183047/3147688408683030791*c_0110_6^21 + 786258140445011983/3147688408683030791*c_0110_6^20 - 42000723319627865225/3147688408683030791*c_0110_6^19 - 10191488471118000579/3147688408683030791*c_0110_6^18 + 251510028391010529152/3147688408683030791*c_0110_6^17 - 150677632419481912729/3147688408683030791*c_0110_6^16 - 2189940223196037452840/3147688408683030791*c_0110_6^15 + 730708248138283966763/3147688408683030791*c_0110_6^14 + 7056956380466617951329/3147688408683030791*c_0110_6^13 - 3421345721396568227250/3147688408683030791*c_0110_6^12 - 9900871081086137162501/3147688408683030791*c_0110_6^11 + 8254372749159254721213/3147688408683030791*c_0110_6^10 + 5911639008576300201065/3147688408683030791*c_0110_6^9 - 9690887436836355869059/3147688408683030791*c_0110_6^8 - 520108191404044804721/3147688408683030791*c_0110_6^7 + 5688529826494427582321/3147688408683030791*c_0110_6^6 - 895368722937105632052/3147688408683030791*c_0110_6^5 - 1629501576255485769936/3147688408683030791*c_0110_6^4 + 341103841554393087370/3147688408683030791*c_0110_6^3 + 210979821769303134872/3147688408683030791*c_0110_6^2 - 36885404714188935777/3147688408683030791*c_0110_6 - 10398581777857625708/3147688408683030791, c_0101_0 - 16389354133718702222/3147688408683030791*c_0110_6^23 - 35370125467269017382/3147688408683030791*c_0110_6^22 - 23399395203036440199/3147688408683030791*c_0110_6^21 - 38937340379437578282/3147688408683030791*c_0110_6^20 + 92122792055131729259/3147688408683030791*c_0110_6^19 - 52015686213766752197/3147688408683030791*c_0110_6^18 - 751378270302374005492/3147688408683030791*c_0110_6^17 + 465803635566798670228/3147688408683030791*c_0110_6^16 + 6186244339285374425036/3147688408683030791*c_0110_6^15 - 2737211760648433488652/3147688408683030791*c_0110_6^14 - 16553722956442110642963/3147688408683030791*c_0110_6^13 + 11619085690542035793068/3147688408683030791*c_0110_6^12 + 17868974356033646718999/3147688408683030791*c_0110_6^11 - 21532054913587730471405/3147688408683030791*c_0110_6^10 - 5957415495940988717596/3147688408683030791*c_0110_6^9 + 19245464191709857371214/3147688408683030791*c_0110_6^8 - 2836896696603913304249/3147688408683030791*c_0110_6^7 - 8852501460984994396163/3147688408683030791*c_0110_6^6 + 2600909471271598399494/3147688408683030791*c_0110_6^5 + 2154318430839757392903/3147688408683030791*c_0110_6^4 - 652279617735061320185/3147688408683030791*c_0110_6^3 - 301170653878720216214/3147688408683030791*c_0110_6^2 + 59320676918398012486/3147688408683030791*c_0110_6 + 22645285568961562202/3147688408683030791, c_0101_1 + 42457987623498474913/3147688408683030791*c_0110_6^23 + 73873233704224957738/3147688408683030791*c_0110_6^22 + 29739030850399987257/3147688408683030791*c_0110_6^21 + 89896569586847349236/3147688408683030791*c_0110_6^20 - 271128387866998952409/3147688408683030791*c_0110_6^19 + 255170066851349938393/3147688408683030791*c_0110_6^18 + 1848064445170300421652/3147688408683030791*c_0110_6^17 - 1979406184341871739493/3147688408683030791*c_0110_6^16 - 15200433731715937564853/3147688408683030791*c_0110_6^15 + 13518867009769897834647/3147688408683030791*c_0110_6^14 + 37275804984510108703920/3147688408683030791*c_0110_6^13 - 46259853007515368371043/3147688408683030791*c_0110_6^12 - 27425019451970270056988/3147688408683030791*c_0110_6^11 + 68790891791490941843430/3147688408683030791*c_0110_6^10 - 12554193569467985128013/3147688408683030791*c_0110_6^9 - 47103943825057855533798/3147688408683030791*c_0110_6^8 + 27348701330130161826671/3147688408683030791*c_0110_6^7 + 13844002812772682740496/3147688408683030791*c_0110_6^6 - 13972141365395773206661/3147688408683030791*c_0110_6^5 - 717788666618350135224/3147688408683030791*c_0110_6^4 + 2942973956038030498822/3147688408683030791*c_0110_6^3 - 352890622144823937516/3147688408683030791*c_0110_6^2 - 225507038263094769894/3147688408683030791*c_0110_6 + 46936176628080714453/3147688408683030791, c_0101_2 - 5446767572143396608/3147688408683030791*c_0110_6^23 - 40738122049142930709/3147688408683030791*c_0110_6^22 - 72483222063666753549/3147688408683030791*c_0110_6^21 - 66411516131116692640/3147688408683030791*c_0110_6^20 - 59973594974881924705/3147688408683030791*c_0110_6^19 + 119743644458560250948/3147688408683030791*c_0110_6^18 - 361808734592791895482/3147688408683030791*c_0110_6^17 - 1157046260120220483024/3147688408683030791*c_0110_6^16 + 2752685436461650522615/3147688408683030791*c_0110_6^15 + 9758439936525236492788/3147688408683030791*c_0110_6^14 - 9455161376730404252622/3147688408683030791*c_0110_6^13 - 23089587513018367146692/3147688408683030791*c_0110_6^12 + 24113196521411134155708/3147688408683030791*c_0110_6^11 + 19637371256452282430252/3147688408683030791*c_0110_6^10 - 35339514258651844253305/3147688408683030791*c_0110_6^9 - 695401765348351642547/3147688408683030791*c_0110_6^8 + 27131734507477012594151/3147688408683030791*c_0110_6^7 - 8284464815669912888478/3147688408683030791*c_0110_6^6 - 10620852024562719441211/3147688408683030791*c_0110_6^5 + 4835227210995866777844/3147688408683030791*c_0110_6^4 + 1946512303537339559408/3147688408683030791*c_0110_6^3 - 1080173907152677233393/3147688408683030791*c_0110_6^2 - 128645012999225951536/3147688408683030791*c_0110_6 + 88518569564758223220/3147688408683030791, c_0110_4 - 6771511312417976897/3147688408683030791*c_0110_6^23 - 3118441430730999819/3147688408683030791*c_0110_6^22 + 19402127901788510431/3147688408683030791*c_0110_6^21 + 13347867265063648811/3147688408683030791*c_0110_6^20 + 83997770160192654351/3147688408683030791*c_0110_6^19 - 58330345590421336141/3147688408683030791*c_0110_6^18 - 273246448924790643084/3147688408683030791*c_0110_6^17 + 734609072292679565383/3147688408683030791*c_0110_6^16 + 2430895952766965256800/3147688408683030791*c_0110_6^15 - 5401841469945840473058/3147688408683030791*c_0110_6^14 - 6435945802875249116719/3147688408683030791*c_0110_6^13 + 15702514148531708967339/3147688408683030791*c_0110_6^12 + 2620264236572746319643/3147688408683030791*c_0110_6^11 - 20966947131246059849219/3147688408683030791*c_0110_6^10 + 8974503872975210898867/3147688408683030791*c_0110_6^9 + 13242877560907613707128/3147688408683030791*c_0110_6^8 - 12224985806115999941930/3147688408683030791*c_0110_6^7 - 3092751467769358446933/3147688408683030791*c_0110_6^6 + 6060655027403878561562/3147688408683030791*c_0110_6^5 - 441154190688761432200/3147688408683030791*c_0110_6^4 - 1296547392787787364424/3147688408683030791*c_0110_6^3 + 299602403449085742425/3147688408683030791*c_0110_6^2 + 102284571824639361554/3147688408683030791*c_0110_6 - 35261484972340474533/3147688408683030791, c_0110_6^24 + 2*c_0110_6^23 + c_0110_6^22 + 2*c_0110_6^21 - 6*c_0110_6^20 + 4*c_0110_6^19 + 46*c_0110_6^18 - 36*c_0110_6^17 - 377*c_0110_6^16 + 231*c_0110_6^15 + 1017*c_0110_6^14 - 898*c_0110_6^13 - 1074*c_0110_6^12 + 1590*c_0110_6^11 + 258*c_0110_6^10 - 1411*c_0110_6^9 + 352*c_0110_6^8 + 667*c_0110_6^7 - 307*c_0110_6^6 - 168*c_0110_6^5 + 102*c_0110_6^4 + 21*c_0110_6^3 - 16*c_0110_6^2 - c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB