Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1629551937] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s258 geometric_solution 4.41824077 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 1 0 -1 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 1.271409346115 0.131982351182 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 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 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 1.362367889966 0.412602357536 3 1 1 4 0132 0132 1023 0132 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 0 -1 1 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.347860220491 0.600866369574 2 4 4 5 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.100472370301 0.785172454457 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 0 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 1 -1 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.100472370301 0.785172454457 5 4 3 5 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 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 -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.674557469692 1.151080456355 ==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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 7063132213313/147134510119*c_0101_3^19 + 45438112167838/147134510119*c_0101_3^18 - 167957586819616/147134510119*c_0101_3^17 + 333895254958956/147134510119*c_0101_3^16 - 377039470735689/147134510119*c_0101_3^15 - 49506885069537/147134510119*c_0101_3^14 + 560271006356732/147134510119*c_0101_3^13 - 625067900836669/147134510119*c_0101_3^12 + 705829995393686/147134510119*c_0101_3^11 - 747469094966319/147134510119*c_0101_3^10 + 80377477896669/147134510119*c_0101_3^9 + 591387027984993/147134510119*c_0101_3^8 - 268274608023491/147134510119*c_0101_3^7 - 73390344728473/147134510119*c_0101_3^6 - 166844306087963/147134510119*c_0101_3^5 + 169457119421318/147134510119*c_0101_3^4 + 87117084477851/147134510119*c_0101_3^3 - 101841109533435/147134510119*c_0101_3^2 - 4258024672484/147134510119*c_0101_3 + 15132164141807/147134510119, c_0011_0 - 1, c_0011_4 + 702943826551/147134510119*c_0101_3^19 - 3693800937336/147134510119*c_0101_3^18 + 12128379043268/147134510119*c_0101_3^17 - 17665755977497/147134510119*c_0101_3^16 + 12488826531743/147134510119*c_0101_3^15 + 25989910240031/147134510119*c_0101_3^14 - 29413765412133/147134510119*c_0101_3^13 + 17795335621562/147134510119*c_0101_3^12 - 35637806578576/147134510119*c_0101_3^11 + 24232701305468/147134510119*c_0101_3^10 + 32091624208354/147134510119*c_0101_3^9 - 28164095046780/147134510119*c_0101_3^8 - 20427606289070/147134510119*c_0101_3^7 - 315898073702/147134510119*c_0101_3^6 + 18799413850398/147134510119*c_0101_3^5 + 4249928134620/147134510119*c_0101_3^4 - 9693709280064/147134510119*c_0101_3^3 - 2113679090481/147134510119*c_0101_3^2 + 2373968817521/147134510119*c_0101_3 + 689254506225/147134510119, c_0101_0 - 1285171220533/147134510119*c_0101_3^19 + 8815749897324/147134510119*c_0101_3^18 - 33730970121593/147134510119*c_0101_3^17 + 71787172442595/147134510119*c_0101_3^16 - 87738957760844/147134510119*c_0101_3^15 + 9320422643716/147134510119*c_0101_3^14 + 114420168103919/147134510119*c_0101_3^13 - 144601674778910/147134510119*c_0101_3^12 + 154783353738791/147134510119*c_0101_3^11 - 175853491168007/147134510119*c_0101_3^10 + 51567752237716/147134510119*c_0101_3^9 + 117265266482827/147134510119*c_0101_3^8 - 78129705973190/147134510119*c_0101_3^7 - 18098120077079/147134510119*c_0101_3^6 - 26771911841433/147134510119*c_0101_3^5 + 45576452157044/147134510119*c_0101_3^4 + 12996773896768/147134510119*c_0101_3^3 - 25881288058065/147134510119*c_0101_3^2 + 1004041774249/147134510119*c_0101_3 + 4363159593879/147134510119, c_0101_1 + 1655347900829/147134510119*c_0101_3^19 - 8282884538565/147134510119*c_0101_3^18 + 26030521892276/147134510119*c_0101_3^17 - 32441607922665/147134510119*c_0101_3^16 + 11988719683489/147134510119*c_0101_3^15 + 80837384079488/147134510119*c_0101_3^14 - 66511437976431/147134510119*c_0101_3^13 + 18442697002145/147134510119*c_0101_3^12 - 56334985759619/147134510119*c_0101_3^11 + 17494778296489/147134510119*c_0101_3^10 + 117289541525507/147134510119*c_0101_3^9 - 73522780561826/147134510119*c_0101_3^8 - 66485835332764/147134510119*c_0101_3^7 + 1521005602729/147134510119*c_0101_3^6 + 45463495784971/147134510119*c_0101_3^5 + 21854177479601/147134510119*c_0101_3^4 - 29200981909424/147134510119*c_0101_3^3 - 7817543525277/147134510119*c_0101_3^2 + 7652876195494/147134510119*c_0101_3 + 2071566993048/147134510119, c_0101_2 + 689254506225/147134510119*c_0101_3^19 - 3432583210799/147134510119*c_0101_3^18 + 10780543693389/147134510119*c_0101_3^17 - 13374037687057/147134510119*c_0101_3^16 + 5079642727928/147134510119*c_0101_3^15 + 33166461718493/147134510119*c_0101_3^14 - 26393432233069/147134510119*c_0101_3^13 + 7805977924017/147134510119*c_0101_3^12 - 24249189258163/147134510119*c_0101_3^11 + 7785227313599/147134510119*c_0101_3^10 + 47667354517118/147134510119*c_0101_3^9 - 28562772339446/147134510119*c_0101_3^8 - 27474840540555/147134510119*c_0101_3^7 - 1128480114770/147134510119*c_0101_3^6 + 18983228100598/147134510119*c_0101_3^5 + 9149850763248/147134510119*c_0101_3^4 - 11602925508555/147134510119*c_0101_3^3 - 3490418724039/147134510119*c_0101_3^2 + 2858236963213/147134510119*c_0101_3 + 995459805071/147134510119, c_0101_3^20 - 6*c_0101_3^19 + 21*c_0101_3^18 - 37*c_0101_3^17 + 33*c_0101_3^16 + 30*c_0101_3^15 - 76*c_0101_3^14 + 54*c_0101_3^13 - 61*c_0101_3^12 + 63*c_0101_3^11 + 34*c_0101_3^10 - 88*c_0101_3^9 + c_0101_3^8 + 28*c_0101_3^7 + 28*c_0101_3^6 - 14*c_0101_3^5 - 23*c_0101_3^4 + 9*c_0101_3^3 + 7*c_0101_3^2 - 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB