Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 997894107] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1994 geometric_solution 5.55842216 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0.407678075216 0.291764971210 2 0 3 0 0132 2310 0132 0132 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 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.970227561063 0.869127272212 1 4 3 5 0132 0132 3012 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 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 1.238925172731 0.982486890744 5 2 4 1 1023 1230 1023 0132 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 1.238925172731 0.982486890744 6 2 3 6 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256168866715 0.339521540741 5 3 2 5 3012 1023 0132 1230 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 1 -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 1.096192314077 0.678937245423 4 4 6 6 0132 2310 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 0 0 0 0 0 0 0 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.379694561737 2.202922449206 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 35852496944159763918644196440466917874/9477024788561398344287341066\ 362910235*c_0101_6^19 + 488000420349374282783003063261534865123/947\ 7024788561398344287341066362910235*c_0101_6^18 - 989086971396235923988781700709086325082/947702478856139834428734106\ 6362910235*c_0101_6^17 - 272490115898505340122280672669192001159/18\ 95404957712279668857468213272582047*c_0101_6^16 + 2780481813751963779859608950776541083424/94770247885613983442873410\ 66362910235*c_0101_6^15 + 1942794973345101375050742475695305014276/\ 9477024788561398344287341066362910235*c_0101_6^14 + 616559368585564063028899145749915030302/947702478856139834428734106\ 6362910235*c_0101_6^13 + 2425302298823560275647630437252682815937/9\ 477024788561398344287341066362910235*c_0101_6^12 - 6779189343598691003316997951536511186686/94770247885613983442873410\ 66362910235*c_0101_6^11 - 21757873937212556088978383182432574387084\ /9477024788561398344287341066362910235*c_0101_6^10 - 9491446794444064728534060833442123631441/94770247885613983442873410\ 66362910235*c_0101_6^9 + 18579830937789344106697092429586144560462/\ 9477024788561398344287341066362910235*c_0101_6^8 + 26137345780191078906570102120406338206627/9477024788561398344287341\ 066362910235*c_0101_6^7 + 11998497554783311443956099956580912407041\ /9477024788561398344287341066362910235*c_0101_6^6 + 1722385253704372374766268014232104706574/94770247885613983442873410\ 66362910235*c_0101_6^5 + 148508915742441465636108485083525153219/94\ 77024788561398344287341066362910235*c_0101_6^4 + 196739030739208108336162938946379954416/947702478856139834428734106\ 6362910235*c_0101_6^3 - 20727337136107967434238000189650802786/9477\ 024788561398344287341066362910235*c_0101_6^2 - 5658603045274992350417896348036445742/94770247885613983442873410663\ 62910235*c_0101_6 + 34508008695368457778133140675087924967/94770247\ 88561398344287341066362910235, c_0011_0 - 1, c_0011_1 + 4067547381468171318475811689734/3762344020564964813932721456\ 009*c_0101_6^19 - 55516912979985171520093401300592/3762344020564964\ 813932721456009*c_0101_6^18 + 113892863137108132647894646824796/376\ 2344020564964813932721456009*c_0101_6^17 + 156527681474695875440514045011131/3762344020564964813932721456009*c\ _0101_6^16 - 343914635229718082932747764574149/37623440205649648139\ 32721456009*c_0101_6^15 - 189561531209555501993386013397476/3762344\ 020564964813932721456009*c_0101_6^14 - 31116971983127614139088570880839/3762344020564964813932721456009*c_\ 0101_6^13 - 325129099989040817530670779607310/376234402056496481393\ 2721456009*c_0101_6^12 + 823447707512361958921772189884459/37623440\ 20564964813932721456009*c_0101_6^11 + 2432677896658136547751243830930171/3762344020564964813932721456009*\ c_0101_6^10 + 859562705064883414570641354798593/3762344020564964813\ 932721456009*c_0101_6^9 - 2163147817492541686649969330216844/376234\ 4020564964813932721456009*c_0101_6^8 - 2708600189239994916502265027451280/3762344020564964813932721456009*\ c_0101_6^7 - 1179528630133194940351259913406127/3762344020564964813\ 932721456009*c_0101_6^6 - 157123925801139865840307447979352/3762344\ 020564964813932721456009*c_0101_6^5 - 80485241011060474512151741013302/3762344020564964813932721456009*c_\ 0101_6^4 - 66298690664551962269166394810194/37623440205649648139327\ 21456009*c_0101_6^3 - 9387796050124285338678653848003/3762344020564\ 964813932721456009*c_0101_6^2 + 9573779887697162284963629367839/376\ 2344020564964813932721456009*c_0101_6 - 342351531852940131169958227708/3762344020564964813932721456009, c_0011_3 - 2566143740426320728335283894141/3762344020564964813932721456\ 009*c_0101_6^19 + 34729134785100937306594479919934/3762344020564964\ 813932721456009*c_0101_6^18 - 68177990231298866478500753283994/3762\ 344020564964813932721456009*c_0101_6^17 - 101830434665434522419577224648362/3762344020564964813932721456009*c\ _0101_6^16 + 191394578825986411033139170721869/37623440205649648139\ 32721456009*c_0101_6^15 + 139489002777690990306613859736128/3762344\ 020564964813932721456009*c_0101_6^14 + 75506517070261729636231505318229/3762344020564964813932721456009*c_\ 0101_6^13 + 196131389424179179183957210675177/376234402056496481393\ 2721456009*c_0101_6^12 - 505396396773466277580208583011308/37623440\ 20564964813932721456009*c_0101_6^11 - 1565194377619570636260917570051645/3762344020564964813932721456009*\ c_0101_6^10 - 817478923622694583950818305711312/3762344020564964813\ 932721456009*c_0101_6^9 + 1152403978357842822090250110255618/376234\ 4020564964813932721456009*c_0101_6^8 + 1971125216969969505932043628150934/3762344020564964813932721456009*\ c_0101_6^7 + 1179323859516731576672034414119050/3762344020564964813\ 932721456009*c_0101_6^6 + 246489725170193136554771327415342/3762344\ 020564964813932721456009*c_0101_6^5 - 19784543857863001523059043861879/3762344020564964813932721456009*c_\ 0101_6^4 - 8305756357469676361204258608615/376234402056496481393272\ 1456009*c_0101_6^3 + 10830035732499758699681990951573/3762344020564\ 964813932721456009*c_0101_6^2 - 3546332913680291187378503094379/376\ 2344020564964813932721456009*c_0101_6 - 133885897258650984432400056373/3762344020564964813932721456009, c_0101_0 + 2584054631057755263119461708173/3762344020564964813932721456\ 009*c_0101_6^19 - 35154773000892645908967141724263/3762344020564964\ 813932721456009*c_0101_6^18 + 70434008107359868599933900385732/3762\ 344020564964813932721456009*c_0101_6^17 + 107301194111955064202979856269896/3762344020564964813932721456009*c\ _0101_6^16 - 220493378115216925637406210458275/37623440205649648139\ 32721456009*c_0101_6^15 - 153907888843913918570853140201781/3762344\ 020564964813932721456009*c_0101_6^14 + 2409634954814061474792401082104/3762344020564964813932721456009*c_0\ 101_6^13 - 163990667849355778443660064680645/3762344020564964813932\ 721456009*c_0101_6^12 + 508120370291070718575169620314593/376234402\ 0564964813932721456009*c_0101_6^11 + 1599081038446831210063170805102361/3762344020564964813932721456009*\ c_0101_6^10 + 563572148182780704137124610755941/3762344020564964813\ 932721456009*c_0101_6^9 - 1636356007197162756571115679220104/376234\ 4020564964813932721456009*c_0101_6^8 - 1960812121288874163565258911186146/3762344020564964813932721456009*\ c_0101_6^7 - 585080499648610442810412919703782/37623440205649648139\ 32721456009*c_0101_6^6 + 230717527050391174151760907426728/37623440\ 20564964813932721456009*c_0101_6^5 + 110858149616756727883873337159305/3762344020564964813932721456009*c\ _0101_6^4 - 30481540086814109810310663680024/3762344020564964813932\ 721456009*c_0101_6^3 - 10239021004907287344434902083528/37623440205\ 64964813932721456009*c_0101_6^2 + 11238410362245270931858989193001/\ 3762344020564964813932721456009*c_0101_6 - 1456128506118860131694413794521/3762344020564964813932721456009, c_0101_1 - 4538878029768431304606617904096/3762344020564964813932721456\ 009*c_0101_6^19 + 61242342637719615697071676354212/3762344020564964\ 813932721456009*c_0101_6^18 - 117465346154756660598320895107314/376\ 2344020564964813932721456009*c_0101_6^17 - 194240127191592335382683864477335/3762344020564964813932721456009*c\ _0101_6^16 + 358671390354695474356192481705832/37623440205649648139\ 32721456009*c_0101_6^15 + 262493505814597353740871518163946/3762344\ 020564964813932721456009*c_0101_6^14 + 65252536374479352199521584467450/3762344020564964813932721456009*c_\ 0101_6^13 + 392761775052625611524230041036068/376234402056496481393\ 2721456009*c_0101_6^12 - 863103375537634200223842940604649/37623440\ 20564964813932721456009*c_0101_6^11 - 2857298284314400197559569080593995/3762344020564964813932721456009*\ c_0101_6^10 - 1369124431973440667793902912665818/376234402056496481\ 3932721456009*c_0101_6^9 + 2187033076882741558022662608048806/37623\ 44020564964813932721456009*c_0101_6^8 + 3288297029201299667387388358367610/3762344020564964813932721456009*\ c_0101_6^7 + 1824676081586356791173721824967526/3762344020564964813\ 932721456009*c_0101_6^6 + 528163725730119142222839637607430/3762344\ 020564964813932721456009*c_0101_6^5 + 207822541627694953434834606393423/3762344020564964813932721456009*c\ _0101_6^4 + 92030402329005853353900058241308/3762344020564964813932\ 721456009*c_0101_6^3 + 8479977995189516957342702722978/376234402056\ 4964813932721456009*c_0101_6^2 - 9240319580886037655569692012233/37\ 62344020564964813932721456009*c_0101_6 + 1515953204432831073300428160597/3762344020564964813932721456009, c_0101_3 + 3698679662487050296930942879626/3762344020564964813932721456\ 009*c_0101_6^19 - 47561450291117523365865853409846/3762344020564964\ 813932721456009*c_0101_6^18 + 64182413912097668073086936263104/3762\ 344020564964813932721456009*c_0101_6^17 + 217234957304818216177634171077547/3762344020564964813932721456009*c\ _0101_6^16 - 182718750914131561177973247999807/37623440205649648139\ 32721456009*c_0101_6^15 - 412839736908033658329169799482447/3762344\ 020564964813932721456009*c_0101_6^14 - 204905770544973891531938779842191/3762344020564964813932721456009*c\ _0101_6^13 - 309594689134848058787884587343141/37623440205649648139\ 32721456009*c_0101_6^12 + 491308031248082694627070862032863/3762344\ 020564964813932721456009*c_0101_6^11 + 2768930013249372993924516456891299/3762344020564964813932721456009*\ c_0101_6^10 + 2648249819041603216554165458901151/376234402056496481\ 3932721456009*c_0101_6^9 - 1145685418876885021035090108517931/37623\ 44020564964813932721456009*c_0101_6^8 - 3994240327951695544120237180030282/3762344020564964813932721456009*\ c_0101_6^7 - 3182320780234302737236952892788523/3762344020564964813\ 932721456009*c_0101_6^6 - 1181806474912021782625157871778207/376234\ 4020564964813932721456009*c_0101_6^5 - 311264497701799392844798460799736/3762344020564964813932721456009*c\ _0101_6^4 - 174943273263425767012815537587207/376234402056496481393\ 2721456009*c_0101_6^3 - 78473731965971378669309046137991/3762344020\ 564964813932721456009*c_0101_6^2 - 2073336461387063230351393606343/3762344020564964813932721456009*c_0\ 101_6 + 8891225041815501776020872102/376234402056496481393272145600\ 9, c_0101_6^20 - 40/3*c_0101_6^19 + 71/3*c_0101_6^18 + 143/3*c_0101_6^17 - 218/3*c_0101_6^16 - 227/3*c_0101_6^15 - 21*c_0101_6^14 - 232/3*c_0101_6^13 + 178*c_0101_6^12 + 1994/3*c_0101_6^11 + 397*c_0101_6^10 - 1475/3*c_0101_6^9 - 860*c_0101_6^8 - 487*c_0101_6^7 - 268/3*c_0101_6^6 - 8/3*c_0101_6^5 - 44/3*c_0101_6^4 - 8*c_0101_6^3 + 4/3*c_0101_6^2 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB