Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2084430150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2397 geometric_solution 5.76033289 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 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.686197542186 0.508698521072 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 1 0 -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.398388994520 1.311356788482 4 5 1 3 0132 0132 0132 3012 0 0 0 0 0 -1 0 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 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.759668965217 0.892684460804 5 4 2 1 3201 3201 1230 0132 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 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.759668965217 0.892684460804 2 6 3 6 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731783484876 1.140199180780 5 2 5 3 2310 0132 3201 2310 0 0 0 0 0 1 -1 0 0 0 1 -1 -1 1 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 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.661849922424 0.637137673997 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477854587476 0.173722397376 ==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_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 165*c_0101_4^5 - 2061/4*c_0101_4^4 + 1857/16*c_0101_4^3 + 9145/16*c_0101_4^2 - 1677/16*c_0101_4 - 569/16, c_0011_0 - 1, c_0011_2 - 10*c_0101_4^5 + 45/2*c_0101_4^4 + 31/8*c_0101_4^3 - 169/8*c_0101_4^2 + 13/8*c_0101_4 + 9/8, c_0101_0 - 8*c_0101_4^4 + 10*c_0101_4^3 + 23/2*c_0101_4^2 - 3*c_0101_4 - 1/2, c_0101_1 + 10*c_0101_4^5 - 45/2*c_0101_4^4 - 31/8*c_0101_4^3 + 169/8*c_0101_4^2 - 13/8*c_0101_4 - 9/8, c_0101_3 - 2*c_0101_4^5 + 9/2*c_0101_4^4 + 19/8*c_0101_4^3 - 37/8*c_0101_4^2 - 19/8*c_0101_4 + 1/8, c_0101_4^6 - 13/4*c_0101_4^5 + 17/16*c_0101_4^4 + 7/2*c_0101_4^3 - 9/8*c_0101_4^2 - 1/4*c_0101_4 + 1/16, c_0110_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 8074764624970262689182640756119/87846132548506223433945891707*c_011\ 0_6^19 - 43613613864270742788490862243704/8784613254850622343394589\ 1707*c_0110_6^18 + 111867958721410077076244340640748/87846132548506\ 223433945891707*c_0110_6^17 - 388767102262231213373807508567174/878\ 46132548506223433945891707*c_0110_6^16 + 712299440667016990985486391146964/87846132548506223433945891707*c_0\ 110_6^15 - 298652480544183313282915703711722/8784613254850622343394\ 5891707*c_0110_6^14 + 1437869862170031915225220486712524/8784613254\ 8506223433945891707*c_0110_6^13 + 158294706386496732248013867394495\ 1/87846132548506223433945891707*c_0110_6^12 - 21862348631091566239669514053042170/87846132548506223433945891707*c\ _0110_6^11 + 31967324651576327771172771283840324/878461325485062234\ 33945891707*c_0110_6^10 - 17407689592454108192902883468327877/87846\ 132548506223433945891707*c_0110_6^9 + 20571942090014811082310553303709936/87846132548506223433945891707*c\ _0110_6^8 - 23855152664343869915277375679188048/8784613254850622343\ 3945891707*c_0110_6^7 + 4452046203419639840914102330051647/87846132\ 548506223433945891707*c_0110_6^6 + 2149306476841960712610023599840832/87846132548506223433945891707*c_\ 0110_6^5 + 1444459325545997313271804333107064/878461325485062234339\ 45891707*c_0110_6^4 - 341245999196633920596870841241712/87846132548\ 506223433945891707*c_0110_6^3 - 187435059033143514336975219871166/8\ 7846132548506223433945891707*c_0110_6^2 - 26448475308236082017323450911176/87846132548506223433945891707*c_01\ 10_6 + 3332273274327233578762977628236/8784613254850622343394589170\ 7, c_0011_0 - 1, c_0011_2 + 34572720139644351565944529358/87846132548506223433945891707*\ c_0110_6^19 - 177185084868670056587487622480/8784613254850622343394\ 5891707*c_0110_6^18 + 423891032662568351270470326814/87846132548506\ 223433945891707*c_0110_6^17 - 1513944744576169330192152326527/87846\ 132548506223433945891707*c_0110_6^16 + 2543153689229482338462486373820/87846132548506223433945891707*c_011\ 0_6^15 - 269217018429572634370498254705/878461325485062234339458917\ 07*c_0110_6^14 + 5509038628975725716001602023292/878461325485062234\ 33945891707*c_0110_6^13 + 8615959449121496414505121070848/878461325\ 48506223433945891707*c_0110_6^12 - 92408545491638582706893209126620/87846132548506223433945891707*c_01\ 10_6^11 + 110193171830196929293835506532688/87846132548506223433945\ 891707*c_0110_6^10 - 27688110886843056619437874443264/8784613254850\ 6223433945891707*c_0110_6^9 + 54618718660267951017592646658713/8784\ 6132548506223433945891707*c_0110_6^8 - 68957868304584504029666148673983/87846132548506223433945891707*c_01\ 10_6^7 - 19114614972045047500311146891368/8784613254850622343394589\ 1707*c_0110_6^6 + 23943170143960492414669983261041/8784613254850622\ 3433945891707*c_0110_6^5 + 5465521295380997393089876291301/87846132\ 548506223433945891707*c_0110_6^4 + 241159244278699249685872043362/87846132548506223433945891707*c_0110\ _6^3 - 1296690332029468460062647709137/8784613254850622343394589170\ 7*c_0110_6^2 - 200549852743539926634999631109/878461325485062234339\ 45891707*c_0110_6 - 1468648338538062922517273363/878461325485062234\ 33945891707, c_0101_0 - 94049986028976968769805524835/87846132548506223433945891707*\ c_0110_6^19 + 493078157183096125751308428004/8784613254850622343394\ 5891707*c_0110_6^18 - 1235721928439418958943071717021/8784613254850\ 6223433945891707*c_0110_6^17 + 4389704404532885368474861117453/8784\ 6132548506223433945891707*c_0110_6^16 - 7746385341960775067329843988402/87846132548506223433945891707*c_011\ 0_6^15 + 2766584272197648221025550505405/87846132548506223433945891\ 707*c_0110_6^14 - 17223964884011468138277263066986/8784613254850622\ 3433945891707*c_0110_6^13 - 20797331186545990251860563327866/878461\ 32548506223433945891707*c_0110_6^12 + 249335954982607090807307886936732/87846132548506223433945891707*c_0\ 110_6^11 - 335263063866097231949760463182897/8784613254850622343394\ 5891707*c_0110_6^10 + 178396691451357804489413737392282/87846132548\ 506223433945891707*c_0110_6^9 - 251532685017268008082427485995547/8\ 7846132548506223433945891707*c_0110_6^8 + 261633173471117312986699155240254/87846132548506223433945891707*c_0\ 110_6^7 - 38911646818709452177196622662309/878461325485062234339458\ 91707*c_0110_6^6 - 2458653101871272092176016454963/8784613254850622\ 3433945891707*c_0110_6^5 - 23290795413603716573586139241640/8784613\ 2548506223433945891707*c_0110_6^4 - 1471071669791885249058225285111/87846132548506223433945891707*c_011\ 0_6^3 + 1488034395404605951556454206618/878461325485062234339458917\ 07*c_0110_6^2 + 695285925285837983634426812719/87846132548506223433\ 945891707*c_0110_6 + 179843634846988218950314502707/878461325485062\ 23433945891707, c_0101_1 + 26483208223296153107503718792/87846132548506223433945891707*\ c_0110_6^19 - 114815900370159537589666627054/8784613254850622343394\ 5891707*c_0110_6^18 + 216395264450260785601819698732/87846132548506\ 223433945891707*c_0110_6^17 - 891187863560623677811512116022/878461\ 32548506223433945891707*c_0110_6^16 + 988184309156395367040999503453/87846132548506223433945891707*c_0110\ _6^15 + 1452821286208209029467985618823/878461325485062234339458917\ 07*c_0110_6^14 + 3705693856053952100292525680763/878461325485062234\ 33945891707*c_0110_6^13 + 10352777687630214772963987138975/87846132\ 548506223433945891707*c_0110_6^12 - 65808976408776400572348223224854/87846132548506223433945891707*c_01\ 10_6^11 + 29398410284593361326805701914648/878461325485062234339458\ 91707*c_0110_6^10 + 50418266783120166018486090168646/87846132548506\ 223433945891707*c_0110_6^9 + 5877638443950135972106991171708/878461\ 32548506223433945891707*c_0110_6^8 - 2573791964702370907794658767823/87846132548506223433945891707*c_011\ 0_6^7 - 65707453375524619966905438597501/87846132548506223433945891\ 707*c_0110_6^6 + 23444853427069545570034188338719/87846132548506223\ 433945891707*c_0110_6^5 + 8201249135169928250748387680798/878461325\ 48506223433945891707*c_0110_6^4 + 2712521399822610459753412469247/8\ 7846132548506223433945891707*c_0110_6^3 - 1131713925488060019318374074322/87846132548506223433945891707*c_011\ 0_6^2 - 338775161950139104043682094821/8784613254850622343394589170\ 7*c_0110_6 - 13967474097296471089380182258/878461325485062234339458\ 91707, c_0101_3 - 97130287311994378020275634572/87846132548506223433945891707*\ c_0110_6^19 + 497238986904931808605509696013/8784613254850622343394\ 5891707*c_0110_6^18 - 1209201098186053631122053774243/8784613254850\ 6223433945891707*c_0110_6^17 + 4353044757045921328072112712318/8784\ 6132548506223433945891707*c_0110_6^16 - 7380756610855725822706720962179/87846132548506223433945891707*c_011\ 0_6^15 + 1666157507445781959373822278112/87846132548506223433945891\ 707*c_0110_6^14 - 17052923663033984785362370142653/8784613254850622\ 3433945891707*c_0110_6^13 - 23845900703862623423497710139019/878461\ 32548506223433945891707*c_0110_6^12 + 255545198795770856026163849530664/87846132548506223433945891707*c_0\ 110_6^11 - 313711650355006991592732534908665/8784613254850622343394\ 5891707*c_0110_6^10 + 130091356630725857531928813349248/87846132548\ 506223433945891707*c_0110_6^9 - 219170822758988831006519860793073/8\ 7846132548506223433945891707*c_0110_6^8 + 228729047815914761899547578455890/87846132548506223433945891707*c_0\ 110_6^7 + 1933187407102900150897587619090/8784613254850622343394589\ 1707*c_0110_6^6 - 19479558968063663662685477997794/8784613254850622\ 3433945891707*c_0110_6^5 - 22366202184861781336248467392517/8784613\ 2548506223433945891707*c_0110_6^4 - 1498134677378230944059862710680/87846132548506223433945891707*c_011\ 0_6^3 + 1489260408334924606456218301132/878461325485062234339458917\ 07*c_0110_6^2 + 623205694338597858382267607395/87846132548506223433\ 945891707*c_0110_6 + 124480211737826092840300913319/878461325485062\ 23433945891707, c_0101_4 + 82825329095345157878364976290/87846132548506223433945891707*\ c_0110_6^19 - 430563324236019116410744041732/8784613254850622343394\ 5891707*c_0110_6^18 + 1065101452603092284240645178393/8784613254850\ 6223433945891707*c_0110_6^17 - 3795884554998748728691303553894/8784\ 6132548506223433945891707*c_0110_6^16 + 6593776167769103010571351292039/87846132548506223433945891707*c_011\ 0_6^15 - 1940267185165789969042418699084/87846132548506223433945891\ 707*c_0110_6^14 + 14692780842797465917485007871853/8784613254850622\ 3433945891707*c_0110_6^13 + 19161557577671103218949977722434/878461\ 32548506223433945891707*c_0110_6^12 - 219447471395289614235751749734200/87846132548506223433945891707*c_0\ 110_6^11 + 284860826545295958256909520251582/8784613254850622343394\ 5891707*c_0110_6^10 - 133229163310731064307740805866257/87846132548\ 506223433945891707*c_0110_6^9 + 197563362123484547328671776351289/8\ 7846132548506223433945891707*c_0110_6^8 - 211179292908856010369275503868125/87846132548506223433945891707*c_0\ 110_6^7 + 14386980611651586167575571977846/878461325485062234339458\ 91707*c_0110_6^6 + 16190107513658459790255878355995/878461325485062\ 23433945891707*c_0110_6^5 + 18044352583841161016087694154781/878461\ 32548506223433945891707*c_0110_6^4 + 407629086325642425786784593237/87846132548506223433945891707*c_0110\ _6^3 - 1882812275821264350422615198236/8784613254850622343394589170\ 7*c_0110_6^2 - 392599062804668849407572859082/878461325485062234339\ 45891707*c_0110_6 - 107727674070703237725090979729/8784613254850622\ 3433945891707, c_0110_6^20 - 6*c_0110_6^19 + 17*c_0110_6^18 - 56*c_0110_6^17 + 116*c_0110_6^16 - 86*c_0110_6^15 + 194*c_0110_6^14 + 90*c_0110_6^13 - 2840*c_0110_6^12 + 5557*c_0110_6^11 - 4296*c_0110_6^10 + 3582*c_0110_6^9 - 4406*c_0110_6^8 + 2139*c_0110_6^7 + 129*c_0110_6^6 + 48*c_0110_6^5 - 166*c_0110_6^4 - 31*c_0110_6^3 + 10*c_0110_6^2 + 4*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB