Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 475889965] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2745 geometric_solution 5.98415982 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.419827327880 0.143607901159 0 2 0 3 0132 0132 1023 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 -1 1 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.249682558357 1.652033143714 4 1 5 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0.680314226783 0.659802980613 6 5 1 4 0132 1023 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680314226783 0.659802980613 2 3 4 4 0132 2310 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 0.654617204486 1.018572209321 3 5 5 2 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856059717333 0.555991400256 3 6 2 6 0132 1302 0132 2031 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 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 0.857448419586 0.497345143810 ==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' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], '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' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 138657069933830970/418608166793411*c_0101_5^16 + 3817866886427784032/1255824500380233*c_0101_5^15 - 621979155347371902/418608166793411*c_0101_5^14 - 55216704369132318758/1255824500380233*c_0101_5^13 + 51715115493755617885/1255824500380233*c_0101_5^12 + 230203560325548284680/1255824500380233*c_0101_5^11 - 449340442251945894548/1255824500380233*c_0101_5^10 - 1215449851261776999/59801166684773*c_0101_5^9 + 242732361202808580539/418608166793411*c_0101_5^8 - 529890135048860469746/1255824500380233*c_0101_5^7 - 258756002760047021749/1255824500380233*c_0101_5^6 + 66743120079231707305/179403500054319*c_0101_5^5 - 116802683030104626089/1255824500380233*c_0101_5^4 - 29583686140995424257/418608166793411*c_0101_5^3 + 18943155959324004693/418608166793411*c_0101_5^2 - 494809345863863102/59801166684773*c_0101_5 + 500246328203712620/1255824500380233, c_0011_0 - 1, c_0011_3 - 20720347286961251/179403500054319*c_0101_5^16 - 189593380018099495/179403500054319*c_0101_5^15 + 98942967015257009/179403500054319*c_0101_5^14 + 918116753290271548/59801166684773*c_0101_5^13 - 883751321527262554/59801166684773*c_0101_5^12 - 3826689879413063151/59801166684773*c_0101_5^11 + 22720061489986729936/179403500054319*c_0101_5^10 + 340054555636469073/59801166684773*c_0101_5^9 - 36725239939936654402/179403500054319*c_0101_5^8 + 27036884674598769446/179403500054319*c_0101_5^7 + 13019914662609378751/179403500054319*c_0101_5^6 - 7926403885631761475/59801166684773*c_0101_5^5 + 5916385584850260709/179403500054319*c_0101_5^4 + 1523082618419499465/59801166684773*c_0101_5^3 - 958146831136974529/59801166684773*c_0101_5^2 + 507601176778215610/179403500054319*c_0101_5 - 23533312974415249/179403500054319, c_0101_0 - 15285626380664143/179403500054319*c_0101_5^16 - 139740638791468526/179403500054319*c_0101_5^15 + 74182312638975301/179403500054319*c_0101_5^14 + 677272570100440986/59801166684773*c_0101_5^13 - 657483884798636969/59801166684773*c_0101_5^12 - 2819993789278822404/59801166684773*c_0101_5^11 + 16833645313927578527/179403500054319*c_0101_5^10 + 215441716240251694/59801166684773*c_0101_5^9 - 27143118503231645408/179403500054319*c_0101_5^8 + 20146100894145600568/179403500054319*c_0101_5^7 + 9523441276655119655/179403500054319*c_0101_5^6 - 5884205607996134375/59801166684773*c_0101_5^5 + 4464165270880807625/179403500054319*c_0101_5^4 + 1123846671140990660/59801166684773*c_0101_5^3 - 715308689188809851/59801166684773*c_0101_5^2 + 383132165067596684/179403500054319*c_0101_5 - 18301098638124863/179403500054319, c_0101_1 - 9584390683225825/179403500054319*c_0101_5^16 - 87666030085426172/179403500054319*c_0101_5^15 + 46024323033571318/179403500054319*c_0101_5^14 + 424509787816210015/59801166684773*c_0101_5^13 - 410249626480147273/59801166684773*c_0101_5^12 - 1767078819744237759/59801166684773*c_0101_5^11 + 10526342706318998300/179403500054319*c_0101_5^10 + 138340950163442887/59801166684773*c_0101_5^9 - 16965879429860483240/179403500054319*c_0101_5^8 + 12585464363757957640/179403500054319*c_0101_5^7 + 5931355629419887784/179403500054319*c_0101_5^6 - 3671135596472134996/59801166684773*c_0101_5^5 + 2805838416203476580/179403500054319*c_0101_5^4 + 696260101205321833/59801166684773*c_0101_5^3 - 447565852942471029/59801166684773*c_0101_5^2 + 243895683532445474/179403500054319*c_0101_5 - 11892046943435822/179403500054319, c_0101_2 - 19637832226498610/59801166684773*c_0101_5^16 - 179605866822799100/59801166684773*c_0101_5^15 + 94543388661835617/59801166684773*c_0101_5^14 + 2610196048470997737/59801166684773*c_0101_5^13 - 2523839791628704728/59801166684773*c_0101_5^12 - 10871935022773903586/59801166684773*c_0101_5^11 + 21581544325223255567/59801166684773*c_0101_5^10 + 885762684351068795/59801166684773*c_0101_5^9 - 34831261131563382826/59801166684773*c_0101_5^8 + 25770749680433758085/59801166684773*c_0101_5^7 + 12264631293790464739/59801166684773*c_0101_5^6 - 22612039376368294719/59801166684773*c_0101_5^5 + 5688550585441142104/59801166684773*c_0101_5^4 + 4326691908749654906/59801166684773*c_0101_5^3 - 2744606021867780598/59801166684773*c_0101_5^2 + 488201717642868714/59801166684773*c_0101_5 - 22925270347933861/59801166684773, c_0101_4 - 18910258428886883/59801166684773*c_0101_5^16 - 172907353495125094/59801166684773*c_0101_5^15 + 91460744650968862/59801166684773*c_0101_5^14 + 2513429214169086414/59801166684773*c_0101_5^13 - 2436224826891367683/59801166684773*c_0101_5^12 - 10465600553157069086/59801166684773*c_0101_5^11 + 20807631616977746821/59801166684773*c_0101_5^10 + 813814780742296013/59801166684773*c_0101_5^9 - 33556577343907605523/59801166684773*c_0101_5^8 + 24887872238430161118/59801166684773*c_0101_5^7 + 11777991775206622368/59801166684773*c_0101_5^6 - 21812196289820724837/59801166684773*c_0101_5^5 + 5514614546278706736/59801166684773*c_0101_5^4 + 4165832419472883773/59801166684773*c_0101_5^3 - 2652314878713971059/59801166684773*c_0101_5^2 + 473194065869913513/59801166684773*c_0101_5 - 22285431774747707/59801166684773, c_0101_5^17 + 10*c_0101_5^16 + 3*c_0101_5^15 - 137*c_0101_5^14 + 15*c_0101_5^13 + 663*c_0101_5^12 - 626*c_0101_5^11 - 982*c_0101_5^10 + 1733*c_0101_5^9 + 201*c_0101_5^8 - 1741*c_0101_5^7 + 617*c_0101_5^6 + 691*c_0101_5^5 - 466*c_0101_5^4 - 48*c_0101_5^3 + 94*c_0101_5^2 - 20*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB