Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2176851288] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1820 geometric_solution 5.47953481 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 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.523262870763 0.278815457670 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 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 -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.988258555458 0.514305663604 1 4 5 3 0132 0132 0132 2310 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377408630751 1.072929681870 2 5 4 1 3201 1023 1023 0132 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 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.377408630751 1.072929681870 4 2 3 4 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.939704690567 0.833922798697 3 6 6 2 1023 0132 3201 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.113544427638 0.553364332518 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.333613972421 0.650156948539 ==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_0101_4']), '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_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), '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_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1167355945617282679/17487399204891199*c_0101_6^26 + 15244629150224379062/17487399204891199*c_0101_6^24 - 96696245413352774360/17487399204891199*c_0101_6^22 + 637694685697954168670/17487399204891199*c_0101_6^20 - 3905849891986665172865/17487399204891199*c_0101_6^18 + 15696201335202860411691/17487399204891199*c_0101_6^16 - 39970297316862785732903/17487399204891199*c_0101_6^14 + 66664648545669130358283/17487399204891199*c_0101_6^12 - 73861000633483850186634/17487399204891199*c_0101_6^10 + 53463546428830129942911/17487399204891199*c_0101_6^8 - 23941767782132507408899/17487399204891199*c_0101_6^6 + 5903450314243381949094/17487399204891199*c_0101_6^4 - 636175043707786305477/17487399204891199*c_0101_6^2 + 29160144217095578731/17487399204891199, c_0011_0 - 1, c_0011_1 + 28462550930861903/17487399204891199*c_0101_6^26 - 322462225967651911/17487399204891199*c_0101_6^24 + 1804578035356507444/17487399204891199*c_0101_6^22 - 12479998244050521779/17487399204891199*c_0101_6^20 + 73941768004832776559/17487399204891199*c_0101_6^18 - 256856022416381737911/17487399204891199*c_0101_6^16 + 542408558819864389706/17487399204891199*c_0101_6^14 - 729183370484398819345/17487399204891199*c_0101_6^12 + 627417761136843868389/17487399204891199*c_0101_6^10 - 334541134501820406251/17487399204891199*c_0101_6^8 + 102463915302632342897/17487399204891199*c_0101_6^6 - 15989185165541745811/17487399204891199*c_0101_6^4 + 1204651313267123081/17487399204891199*c_0101_6^2 - 27681887847644104/17487399204891199, c_0011_3 + 29078995330852488/17487399204891199*c_0101_6^27 - 336658722359335973/17487399204891199*c_0101_6^25 + 1924871454841338575/17487399204891199*c_0101_6^23 - 13202925008884295880/17487399204891199*c_0101_6^21 + 78684321659591304344/17487399204891199*c_0101_6^19 - 280987879034669076128/17487399204891199*c_0101_6^17 + 618324540712630076263/17487399204891199*c_0101_6^15 - 880086509473038104530/17487399204891199*c_0101_6^13 + 822648048336283690072/17487399204891199*c_0101_6^11 - 498596879383511290276/17487399204891199*c_0101_6^9 + 188786398723611149247/17487399204891199*c_0101_6^7 - 42011837733690893330/17487399204891199*c_0101_6^5 + 5014913499316246693/17487399204891199*c_0101_6^3 - 258951420539079531/17487399204891199*c_0101_6, c_0101_0 + 89349729931708332/17487399204891199*c_0101_6^27 - 1039336540562176545/17487399204891199*c_0101_6^25 + 5972479122582174571/17487399204891199*c_0101_6^23 - 40901293381258279677/17487399204891199*c_0101_6^21 + 244017590699521484479/17487399204891199*c_0101_6^19 - 876900412500760542181/17487399204891199*c_0101_6^17 + 1948408489617920515222/17487399204891199*c_0101_6^15 - 2807482359960556152975/17487399204891199*c_0101_6^13 + 2662053377678729709096/17487399204891199*c_0101_6^11 - 1635393003450581525642/17487399204891199*c_0101_6^9 + 620115221636425506989/17487399204891199*c_0101_6^7 - 131914601171025986696/17487399204891199*c_0101_6^5 + 13298721648715811517/17487399204891199*c_0101_6^3 - 532022163740308627/17487399204891199*c_0101_6, c_0101_1 + 11925848825703575/17487399204891199*c_0101_6^26 - 134099392965462230/17487399204891199*c_0101_6^24 + 746173942075715426/17487399204891199*c_0101_6^22 - 5180141806681001117/17487399204891199*c_0101_6^20 + 30613476877657153873/17487399204891199*c_0101_6^18 - 105556296572688495451/17487399204891199*c_0101_6^16 + 221319806913675262861/17487399204891199*c_0101_6^14 - 295591736592184587448/17487399204891199*c_0101_6^12 + 252935286347930305668/17487399204891199*c_0101_6^10 - 134480582745386860948/17487399204891199*c_0101_6^8 + 41451175430439986263/17487399204891199*c_0101_6^6 - 6902876000473437495/17487399204891199*c_0101_6^4 + 689886513903754334/17487399204891199*c_0101_6^2 - 24298108034882663/17487399204891199, c_0101_4 - 9477755591859001/17487399204891199*c_0101_6^27 + 113073666618279087/17487399204891199*c_0101_6^25 - 666854851274784756/17487399204891199*c_0101_6^23 + 4530520162811440523/17487399204891199*c_0101_6^21 - 27184613899661233639/17487399204891199*c_0101_6^19 + 100820492291694868146/17487399204891199*c_0101_6^17 - 234772587666921424975/17487399204891199*c_0101_6^15 + 358818016534060833448/17487399204891199*c_0101_6^13 - 365277366730258289055/17487399204891199*c_0101_6^11 + 243323939088382847237/17487399204891199*c_0101_6^9 - 99696378991578963678/17487399204891199*c_0101_6^7 + 21787199738062403924/17487399204891199*c_0101_6^5 - 1796928104162156007/17487399204891199*c_0101_6^3 + 46708652288300965/17487399204891199*c_0101_6, c_0101_6^28 - 12*c_0101_6^26 + 71*c_0101_6^24 - 481*c_0101_6^22 + 2892*c_0101_6^20 - 10767*c_0101_6^18 + 25112*c_0101_6^16 - 38415*c_0101_6^14 + 39267*c_0101_6^12 - 26602*c_0101_6^10 + 11541*c_0101_6^8 - 3006*c_0101_6^6 + 429*c_0101_6^4 - 32*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB