Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 4290667283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1936 geometric_solution 5.52584493 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 -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.419634043848 0.175767765717 0 2 0 3 0132 0132 1023 0132 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 0 -1 0 0 0 0 -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.665657643800 1.744786124946 4 1 5 3 0132 0132 0132 3120 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 1 0 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.375168917286 0.588646658964 2 5 1 4 3120 3201 0132 3201 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 -1 1 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.375168917286 0.588646658964 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 1.230038314578 1.208083486586 6 6 3 2 0132 2310 2310 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 0 1 -1 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 0.208472692524 0.991706941021 5 6 6 5 0132 3201 2310 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 -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.771296822109 0.626015744822 ==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_5']), '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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_3']), '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_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(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_0011_5, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 2*c_0101_2 + 3, c_0011_0 - 1, c_0011_3 - c_0101_2, c_0011_5 + 1, c_0101_1 - c_0101_2, c_0101_2^2 + c_0101_2 - 1, c_0101_4 - 1, c_0101_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1791003008180913903849/81441265331419498091*c_0101_5^21 - 2201434894746231920703/81441265331419498091*c_0101_5^20 + 29122101548460534560649/81441265331419498091*c_0101_5^19 + 66523664075756557987949/81441265331419498091*c_0101_5^18 - 98732975557675683565729/81441265331419498091*c_0101_5^17 - 493208914605509658567524/81441265331419498091*c_0101_5^16 - 187418642652771178972267/81441265331419498091*c_0101_5^15 + 1010524839811812474500935/81441265331419498091*c_0101_5^14 + 561298190473828467073960/81441265331419498091*c_0101_5^13 - 1221763199516145306281406/81441265331419498091*c_0101_5^12 - 450643832365443954521370/81441265331419498091*c_0101_5^11 + 1149542992552897704133297/81441265331419498091*c_0101_5^10 + 132534033187564813374977/81441265331419498091*c_0101_5^9 - 710737705591708290837323/81441265331419498091*c_0101_5^8 + 53111317382733544329457/81441265331419498091*c_0101_5^7 + 225207736240873325997020/81441265331419498091*c_0101_5^6 - 62494358658669912389866/81441265331419498091*c_0101_5^5 - 16850386026422046862573/81441265331419498091*c_0101_5^4 + 12666266810366512540857/81441265331419498091*c_0101_5^3 - 16713325458857651905023/81441265331419498091*c_0101_5^2 + 1884857464723228393138/81441265331419498091*c_0101_5 + 4802549787281941209373/81441265331419498091, c_0011_0 - 1, c_0011_3 + 129361644301574262177/81441265331419498091*c_0101_5^21 + 200488646971986328847/81441265331419498091*c_0101_5^20 - 2028900942301972475275/81441265331419498091*c_0101_5^19 - 5425638070652352247147/81441265331419498091*c_0101_5^18 + 5256303491778479189083/81441265331419498091*c_0101_5^17 + 36670616856450193281412/81441265331419498091*c_0101_5^16 + 25074641741381489282528/81441265331419498091*c_0101_5^15 - 61703800493170501369075/81441265331419498091*c_0101_5^14 - 54457836532361882874750/81441265331419498091*c_0101_5^13 + 69735879123540435840949/81441265331419498091*c_0101_5^12 + 46005561057627963065721/81441265331419498091*c_0101_5^11 - 68665684046598907073696/81441265331419498091*c_0101_5^10 - 22865520963997806651619/81441265331419498091*c_0101_5^9 + 43314420905107265447145/81441265331419498091*c_0101_5^8 + 3031454718063012064524/81441265331419498091*c_0101_5^7 - 14714288956043521029365/81441265331419498091*c_0101_5^6 + 2724024819864054237312/81441265331419498091*c_0101_5^5 + 1483054882561738215766/81441265331419498091*c_0101_5^4 - 1095092515566411317781/81441265331419498091*c_0101_5^3 + 878852003201061885609/81441265331419498091*c_0101_5^2 + 108681949070600185364/81441265331419498091*c_0101_5 - 232344305132943639491/81441265331419498091, c_0011_5 + 233758103904241159563/81441265331419498091*c_0101_5^21 + 413026260662288286639/81441265331419498091*c_0101_5^20 - 3543619626870065954055/81441265331419498091*c_0101_5^19 - 10502020731486057357390/81441265331419498091*c_0101_5^18 + 6742106875249276233015/81441265331419498091*c_0101_5^17 + 66058289345881561320815/81441265331419498091*c_0101_5^16 + 60018505793942801818726/81441265331419498091*c_0101_5^15 - 88948838370120926951065/81441265331419498091*c_0101_5^14 - 105883303530957366238554/81441265331419498091*c_0101_5^13 + 94438050628472278053897/81441265331419498091*c_0101_5^12 + 86269632537905281203780/81441265331419498091*c_0101_5^11 - 97095354611255555313592/81441265331419498091*c_0101_5^10 - 49273864235142738577348/81441265331419498091*c_0101_5^9 + 57276246210035210877505/81441265331419498091*c_0101_5^8 + 10168522884075696360346/81441265331419498091*c_0101_5^7 - 18802975118938112080970/81441265331419498091*c_0101_5^6 + 2092736711801894226931/81441265331419498091*c_0101_5^5 + 1574441651693541995650/81441265331419498091*c_0101_5^4 - 1295910056260860140782/81441265331419498091*c_0101_5^3 + 1273943997597885610464/81441265331419498091*c_0101_5^2 + 344923201101985459077/81441265331419498091*c_0101_5 - 247875879718290516651/81441265331419498091, c_0101_1 + 64179121593422080393/81441265331419498091*c_0101_5^21 + 84204307103569832985/81441265331419498091*c_0101_5^20 - 1032165404854343221175/81441265331419498091*c_0101_5^19 - 2453270706954534689024/81441265331419498091*c_0101_5^18 + 3283606617434021046267/81441265331419498091*c_0101_5^17 + 17624888541343301781296/81441265331419498091*c_0101_5^16 + 7913966092218584964361/81441265331419498091*c_0101_5^15 - 34136798622111533423158/81441265331419498091*c_0101_5^14 - 19464936761114521775950/81441265331419498091*c_0101_5^13 + 42996561370033893433011/81441265331419498091*c_0101_5^12 + 15088759447693928940121/81441265331419498091*c_0101_5^11 - 42228388408368856908043/81441265331419498091*c_0101_5^10 - 4111955393607232262771/81441265331419498091*c_0101_5^9 + 26660146252489230211254/81441265331419498091*c_0101_5^8 - 3096300650203399507628/81441265331419498091*c_0101_5^7 - 9241827633807491479324/81441265331419498091*c_0101_5^6 + 2961687881607605767714/81441265331419498091*c_0101_5^5 + 1058975716498654101098/81441265331419498091*c_0101_5^4 - 680727845663328088837/81441265331419498091*c_0101_5^3 + 442001354270594117332/81441265331419498091*c_0101_5^2 - 138170156597947416249/81441265331419498091*c_0101_5 - 141994862907464240761/81441265331419498091, c_0101_2 - 209959511431044747856/81441265331419498091*c_0101_5^21 - 337878477599998468088/81441265331419498091*c_0101_5^20 + 3249209829169848533605/81441265331419498091*c_0101_5^19 + 8951067869331669008587/81441265331419498091*c_0101_5^18 - 7647315370740540878074/81441265331419498091*c_0101_5^17 - 58817811028588588544124/81441265331419498091*c_0101_5^16 - 44660315146667724451855/81441265331419498091*c_0101_5^15 + 90621374094900621555250/81441265331419498091*c_0101_5^14 + 86343007818697349846995/81441265331419498091*c_0101_5^13 - 100210306915580761369831/81441265331419498091*c_0101_5^12 - 68949108182974403645285/81441265331419498091*c_0101_5^11 + 98859459587653589074336/81441265331419498091*c_0101_5^10 + 34427392062159272450355/81441265331419498091*c_0101_5^9 - 58665746152003078659491/81441265331419498091*c_0101_5^8 - 4147399978079083246535/81441265331419498091*c_0101_5^7 + 17904495560184438477431/81441265331419498091*c_0101_5^6 - 3580905798373491222553/81441265331419498091*c_0101_5^5 - 997062920590741173316/81441265331419498091*c_0101_5^4 + 1166559996561814987004/81441265331419498091*c_0101_5^3 - 1474992515841198231789/81441265331419498091*c_0101_5^2 - 114340305242153116668/81441265331419498091*c_0101_5 + 332812358960275815488/81441265331419498091, c_0101_4 - 75321964311483198458/81441265331419498091*c_0101_5^21 - 55022101512955821738/81441265331419498091*c_0101_5^20 + 1274806516054297995410/81441265331419498091*c_0101_5^19 + 2206098825739516987822/81441265331419498091*c_0101_5^18 - 5589212227517859911191/81441265331419498091*c_0101_5^17 - 19038668402893329039753/81441265331419498091*c_0101_5^16 + 2090260339398133764508/81441265331419498091*c_0101_5^15 + 48054061694241554648779/81441265331419498091*c_0101_5^14 + 6731378139326387737186/81441265331419498091*c_0101_5^13 - 62564128780806255096112/81441265331419498091*c_0101_5^12 - 572676924395799072725/81441265331419498091*c_0101_5^11 + 55005307596279667871847/81441265331419498091*c_0101_5^10 - 11487350937561879277220/81441265331419498091*c_0101_5^9 - 31263842144050631813050/81441265331419498091*c_0101_5^8 + 11031910655889811957721/81441265331419498091*c_0101_5^7 + 8087188468412610518012/81441265331419498091*c_0101_5^6 - 4400302834611042669983/81441265331419498091*c_0101_5^5 + 240015924977091639488/81441265331419498091*c_0101_5^4 + 341658638683456471693/81441265331419498091*c_0101_5^3 - 681991846594287772613/81441265331419498091*c_0101_5^2 + 303396254629059170697/81441265331419498091*c_0101_5 + 163423652446212568751/81441265331419498091, c_0101_5^22 + 2*c_0101_5^21 - 15*c_0101_5^20 - 49*c_0101_5^19 + 22*c_0101_5^18 + 302*c_0101_5^17 + 320*c_0101_5^16 - 393*c_0101_5^15 - 633*c_0101_5^14 + 361*c_0101_5^13 + 600*c_0101_5^12 - 382*c_0101_5^11 - 419*c_0101_5^10 + 261*c_0101_5^9 + 176*c_0101_5^8 - 104*c_0101_5^7 - 31*c_0101_5^6 + 20*c_0101_5^5 - 3*c_0101_5^4 + 4*c_0101_5^3 + 4*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB