Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2631729392] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s825 geometric_solution 5.39112248 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479156394260 0.249517059511 2 0 3 0 0132 2310 0132 0132 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 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.879051488584 0.605433737990 1 3 4 5 0132 0213 0132 0132 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 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.558071914722 0.692382879093 5 4 2 1 1023 1023 0213 0132 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 1 0 -1 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.558071914722 0.692382879093 3 4 4 2 1023 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.847305897343 0.741957530835 5 3 2 5 3201 1023 0132 2310 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 -1 0 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.040733909194 0.997611545898 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_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_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_0011_1']), 'c_1001_4' : negation(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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 17942763479501350728047/936907565390057566059*c_0101_4^25 - 178127688020267368092964/936907565390057566059*c_0101_4^23 + 91495210718479960560876/312302521796685855353*c_0101_4^21 + 1972733810189386000093742/936907565390057566059*c_0101_4^19 - 10888388086210105223241752/936907565390057566059*c_0101_4^17 - 203496136449640419435971/312302521796685855353*c_0101_4^15 + 10083924859596719508484761/312302521796685855353*c_0101_4^13 - 28039988818055243772363323/312302521796685855353*c_0101_4^11 + 104248263108665046723303245/936907565390057566059*c_0101_4^9 - 42845310990093860947851728/936907565390057566059*c_0101_4^7 - 1043381229129376551534835/936907565390057566059*c_0101_4^5 + 1796287812905658077163169/936907565390057566059*c_0101_4^3 + 254452918256412695610271/936907565390057566059*c_0101_4, c_0011_0 - 1, c_0011_1 + 233428921980169990780/3435327739763544408883*c_0101_4^24 - 2277551079680021666965/3435327739763544408883*c_0101_4^22 + 290390306585514931337/312302521796685855353*c_0101_4^20 + 26095917641470005250491/3435327739763544408883*c_0101_4^18 - 137062815983998565080236/3435327739763544408883*c_0101_4^16 - 29971063710950452403893/3435327739763544408883*c_0101_4^14 + 381744894766472207649491/3435327739763544408883*c_0101_4^12 - 1032107390366534415644299/3435327739763544408883*c_0101_4^10 + 1198608988382034303429477/3435327739763544408883*c_0101_4^8 - 402513798282911903880196/3435327739763544408883*c_0101_4^6 - 31186332737136232235333/3435327739763544408883*c_0101_4^4 + 574293911603258442128/312302521796685855353*c_0101_4^2 + 2265786924931374195959/3435327739763544408883, c_0011_3 - 100832319300551003500/3435327739763544408883*c_0101_4^25 + 1051345972375307087434/3435327739763544408883*c_0101_4^23 - 185162052248550043955/312302521796685855353*c_0101_4^21 - 10370213368472442743990/3435327739763544408883*c_0101_4^19 + 66806602322425357120731/3435327739763544408883*c_0101_4^17 - 26486119131801385855207/3435327739763544408883*c_0101_4^15 - 175075088137535463444845/3435327739763544408883*c_0101_4^13 + 557188535458894606883961/3435327739763544408883*c_0101_4^11 - 810172563248585823121734/3435327739763544408883*c_0101_4^9 + 510038287092208508094463/3435327739763544408883*c_0101_4^7 - 87044458034314868277956/3435327739763544408883*c_0101_4^5 - 932944839565434870814/312302521796685855353*c_0101_4^3 - 5058532373461928073770/3435327739763544408883*c_0101_4, c_0101_0 - 360273258885955833885/3435327739763544408883*c_0101_4^25 + 3745456242654015769043/3435327739763544408883*c_0101_4^23 - 649843207544209109762/312302521796685855353*c_0101_4^21 - 37389703340876258031644/3435327739763544408883*c_0101_4^19 + 237537707623415328025272/3435327739763544408883*c_0101_4^17 - 85624128072100481467529/3435327739763544408883*c_0101_4^15 - 633805864972976023959964/3435327739763544408883*c_0101_4^13 + 1957778807857522966492191/3435327739763544408883*c_0101_4^11 - 2827914706150369758721246/3435327739763544408883*c_0101_4^9 + 1697750750665439324243226/3435327739763544408883*c_0101_4^7 - 260559772933286407756897/3435327739763544408883*c_0101_4^5 - 3698398775424918885763/312302521796685855353*c_0101_4^3 - 3601482334824443317140/3435327739763544408883*c_0101_4, c_0101_1 - 204495654518789395052/3435327739763544408883*c_0101_4^24 + 2035743672531775282592/3435327739763544408883*c_0101_4^22 - 289884351006270321028/312302521796685855353*c_0101_4^20 - 22352615061053936856225/3435327739763544408883*c_0101_4^18 + 124657211143331598030158/3435327739763544408883*c_0101_4^16 + 3033912566437905342705/3435327739763544408883*c_0101_4^14 - 342371580069772613524332/3435327739763544408883*c_0101_4^12 + 969381961537219566075700/3435327739763544408883*c_0101_4^10 - 1220906200220956020884648/3435327739763544408883*c_0101_4^8 + 540527644803210460554017/3435327739763544408883*c_0101_4^6 - 19673494193037508929772/3435327739763544408883*c_0101_4^4 - 1499186669756648201212/312302521796685855353*c_0101_4^2 + 301561085484293687281/3435327739763544408883, c_0101_4^26 - 10*c_0101_4^24 + 16*c_0101_4^22 + 109*c_0101_4^20 - 615*c_0101_4^18 + 8*c_0101_4^16 + 1698*c_0101_4^14 - 4806*c_0101_4^12 + 6124*c_0101_4^10 - 2739*c_0101_4^8 + 42*c_0101_4^6 + 123*c_0101_4^4 + 7*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB