Magma V2.19-8 Tue Aug 20 2013 16:14:32 on localhost [Seed = 3566553307] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s517 geometric_solution 4.91098947 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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 1 0 -1 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.480130528726 0.603150176434 0 3 4 2 0132 0132 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 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.202019382054 0.815120766613 1 4 3 0 3201 0132 3201 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 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.202019382054 0.815120766613 2 1 5 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.072229740859 1.568327597127 4 2 4 1 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 -0.286457359480 1.155816536447 3 5 5 3 3201 3201 2310 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.641652795847 0.338594842828 ==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' : negation(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' : 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_4' : negation(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_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 5072608612506908857500593453/20172312716514248537719080084*c_0101_3\ ^18 + 7422397827395621094226739713/20172312716514248537719080084*c_\ 0101_3^17 + 1396965376724543865658912352/72043973987550887634711000\ 3*c_0101_3^16 - 4499758346752267818930078880/5043078179128562134429\ 770021*c_0101_3^15 + 76865870287513129104457919969/1008615635825712\ 4268859540042*c_0101_3^14 - 296764817161445912820875105315/20172312\ 716514248537719080084*c_0101_3^13 - 205269766494533527972193652491/10086156358257124268859540042*c_0101\ _3^12 - 367579963122657132344539535155/5043078179128562134429770021\ *c_0101_3^11 - 170114782073258229390913920949/144087947975101775269\ 4220006*c_0101_3^10 - 2533918741409606484322906826887/2017231271651\ 4248537719080084*c_0101_3^9 - 1670254019150060473923428592943/10086\ 156358257124268859540042*c_0101_3^8 - 110214147087932484231948478189/6724104238838082845906360028*c_0101_\ 3^7 - 78907266437936644655137202524/720439739875508876347110003*c_0\ 101_3^6 + 165527209710537439565010377851/14408794797510177526942200\ 06*c_0101_3^5 - 91508021691286505571879989141/201723127165142485377\ 19080084*c_0101_3^4 + 782670347833819315654645618193/10086156358257\ 124268859540042*c_0101_3^3 + 768709379339397100792705389041/2017231\ 2716514248537719080084*c_0101_3^2 + 4031679272930271902160438421/720439739875508876347110003*c_0101_3 + 56578503307876908672551184835/2881758959502035505388440012, c_0011_0 - 1, c_0011_2 - 178708044779849152582125/17788635552481700650545926*c_0101_3\ ^18 + 127581605018109222901293/8894317776240850325272963*c_0101_3^1\ 7 + 793762027980362788454366/8894317776240850325272963*c_0101_3^16 - 422453084122986079157043/8894317776240850325272963*c_0101_3^15 + 1801706585061066430461902/8894317776240850325272963*c_0101_3^14 - 9585765408673542247402025/17788635552481700650545926*c_0101_3^13 - 19005878328357116516536345/17788635552481700650545926*c_0101_3^12 - 41980888399380429667435365/17788635552481700650545926*c_0101_3^11 - 63352656838451249820271107/17788635552481700650545926*c_0101_3^10 - 20453495297274140437187947/8894317776240850325272963*c_0101_3^9 - 20045930054711998038451987/8894317776240850325272963*c_0101_3^8 + 44287367415303908029617659/17788635552481700650545926*c_0101_3^7 - 20291505699026872288376185/17788635552481700650545926*c_0101_3^6 + 33972636560849322359288357/17788635552481700650545926*c_0101_3^5 + 1530465578083396104998658/8894317776240850325272963*c_0101_3^4 - 1209668990831255828527434/8894317776240850325272963*c_0101_3^3 - 2378529715058023142628185/17788635552481700650545926*c_0101_3^2 - 2467781558616917665510339/17788635552481700650545926*c_0101_3 + 3754754611826114106312603/8894317776240850325272963, c_0011_5 + 128258939467463853081/11487656152716629415916*c_0101_3^18 - 186840476598788980719/11487656152716629415916*c_0101_3^17 - 266046654731609243873/2871914038179157353979*c_0101_3^16 + 143498283027229062024/2871914038179157353979*c_0101_3^15 - 823128006111779665898/2871914038179157353979*c_0101_3^14 + 6994305675794333204685/11487656152716629415916*c_0101_3^13 + 3094217320802206770360/2871914038179157353979*c_0101_3^12 + 8212849768028975193143/2871914038179157353979*c_0101_3^11 + 27109347457375362085121/5743828076358314707958*c_0101_3^10 + 47090070221109684874077/11487656152716629415916*c_0101_3^9 + 14580680577193317474874/2871914038179157353979*c_0101_3^8 - 11829673021673740495979/11487656152716629415916*c_0101_3^7 + 7211640544922837893075/2871914038179157353979*c_0101_3^6 - 10907361483723343282840/2871914038179157353979*c_0101_3^5 - 14870464341149572538527/11487656152716629415916*c_0101_3^4 - 1724339560088737679096/2871914038179157353979*c_0101_3^3 - 7877129146298641916481/11487656152716629415916*c_0101_3^2 + 1647286250583165058009/5743828076358314707958*c_0101_3 - 3650433607976091799549/11487656152716629415916, c_0101_0 + 16511216323592235861/2871914038179157353979*c_0101_3^18 - 52088799036119341925/5743828076358314707958*c_0101_3^17 - 117675298280309047314/2871914038179157353979*c_0101_3^16 + 60436384409429882919/2871914038179157353979*c_0101_3^15 - 569167036055163916938/2871914038179157353979*c_0101_3^14 + 1093994234747278888035/2871914038179157353979*c_0101_3^13 + 2216388263239637304099/5743828076358314707958*c_0101_3^12 + 9969057807014706754231/5743828076358314707958*c_0101_3^11 + 15864742011586824905463/5743828076358314707958*c_0101_3^10 + 16572664786064840736507/5743828076358314707958*c_0101_3^9 + 11438347828921089203363/2871914038179157353979*c_0101_3^8 - 124788441168594162354/2871914038179157353979*c_0101_3^7 + 15200540733422603733991/5743828076358314707958*c_0101_3^6 - 19992837051522098293385/5743828076358314707958*c_0101_3^5 + 6041712471295843752807/5743828076358314707958*c_0101_3^4 - 3365715216170429785709/2871914038179157353979*c_0101_3^3 - 3629271264052210184517/2871914038179157353979*c_0101_3^2 + 5049727821476440099181/5743828076358314707958*c_0101_3 - 5327464099104804577385/5743828076358314707958, c_0101_1 - 136000801836250274317919/35577271104963401301091852*c_0101_3\ ^18 + 582413697645547896229059/35577271104963401301091852*c_0101_3^\ 17 + 130814391173680207540166/8894317776240850325272963*c_0101_3^16 - 914049517315511839476943/8894317776240850325272963*c_0101_3^15 + 1384152473543442163705883/8894317776240850325272963*c_0101_3^14 - 18301052482045529428506743/35577271104963401301091852*c_0101_3^13 + 4454833474905838292545875/17788635552481700650545926*c_0101_3^12 - 324365874127818316484617/17788635552481700650545926*c_0101_3^11 + 9813324160107758930420541/8894317776240850325272963*c_0101_3^10 + 111922127754350585268883735/35577271104963401301091852*c_0101_3^9 + 20509227335043473424310311/8894317776240850325272963*c_0101_3^8 + 198549557955828257602418221/35577271104963401301091852*c_0101_3^7 - 32085796160474057904982431/17788635552481700650545926*c_0101_3^6 + 70925944899507289235410309/17788635552481700650545926*c_0101_3^5 - 145573153538546226689273413/35577271104963401301091852*c_0101_3^4 - 5018854409566211912044752/8894317776240850325272963*c_0101_3^3 + 4953923152166052227556815/35577271104963401301091852*c_0101_3^2 - 10700204149981094141239683/8894317776240850325272963*c_0101_3 + 22561544154787836324026577/35577271104963401301091852, c_0101_3^19 - 2*c_0101_3^18 - 7*c_0101_3^17 + 8*c_0101_3^16 - 32*c_0101_3^15 + 73*c_0101_3^14 + 53*c_0101_3^13 + 236*c_0101_3^12 + 322*c_0101_3^11 + 239*c_0101_3^10 + 409*c_0101_3^9 - 255*c_0101_3^8 + 413*c_0101_3^7 - 616*c_0101_3^6 + 181*c_0101_3^5 - 215*c_0101_3^4 - 109*c_0101_3^3 + 133*c_0101_3^2 - 119*c_0101_3 + 63 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB