Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2496989257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0870 geometric_solution 4.77795621 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 1 0 -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 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.405555841393 0.995051519300 0 0 2 2 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 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.112041809287 0.318027674153 1 3 1 4 2310 0132 0132 0132 0 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 0 0 -1 0 0 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 1.946161204312 1.466631149004 5 2 4 4 0132 0132 3012 2310 0 0 0 0 0 0 0 0 -1 0 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 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.367867321295 1.160065915282 3 3 2 5 3201 1230 0132 3201 0 0 0 0 0 -1 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 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.367867321295 1.160065915282 3 4 6 6 0132 2310 0132 2310 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112041809287 0.318027674153 5 6 6 5 3201 3201 2310 0132 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 0 0 0 0 0 0 0 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.405555841393 0.995051519300 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 48*c_0101_3^8 - 46*c_0101_3^7 - 166*c_0101_3^6 + 278*c_0101_3^5 + 181*c_0101_3^4 - 215*c_0101_3^3 - 55*c_0101_3^2 + 48*c_0101_3 + 1, c_0011_0 - 1, c_0011_2 - 2*c_0101_3^8 + 10*c_0101_3^6 - 5*c_0101_3^5 - 24*c_0101_3^4 + 5*c_0101_3^3 + 22*c_0101_3^2 - c_0101_3 - 6, c_0011_4 - 18*c_0101_3^8 + 10*c_0101_3^7 + 74*c_0101_3^6 - 81*c_0101_3^5 - 127*c_0101_3^4 + 71*c_0101_3^3 + 80*c_0101_3^2 - 14*c_0101_3 - 14, c_0011_6 + 1, c_0101_0 - c_0101_3, c_0101_1 + 2*c_0101_3^8 - 2*c_0101_3^7 - 8*c_0101_3^6 + 13*c_0101_3^5 + 11*c_0101_3^4 - 16*c_0101_3^3 - 6*c_0101_3^2 + 6*c_0101_3 + 1, c_0101_3^9 - c_0101_3^8 - 4*c_0101_3^7 + 13/2*c_0101_3^6 + 11/2*c_0101_3^5 - 8*c_0101_3^4 - 3*c_0101_3^3 + 7/2*c_0101_3^2 + 1/2*c_0101_3 - 1/2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3249585222328121127481/55213826278614699557*c_0101_3^13 + 38627124809400120702636/55213826278614699557*c_0101_3^12 + 56329887417322761519226/55213826278614699557*c_0101_3^11 - 545673823294061257241831/55213826278614699557*c_0101_3^10 + 92320433651873419464531/55213826278614699557*c_0101_3^9 + 3484851226747650033821616/55213826278614699557*c_0101_3^8 - 1242527778324239857627201/55213826278614699557*c_0101_3^7 - 7836521091214462345171510/55213826278614699557*c_0101_3^6 + 2761440962857841273372809/55213826278614699557*c_0101_3^5 + 5093918662279742129519994/55213826278614699557*c_0101_3^4 - 550487616374857807926921/55213826278614699557*c_0101_3^3 - 825754932314556026012820/55213826278614699557*c_0101_3^2 - 188841792034605513430084/55213826278614699557*c_0101_3 - 39473694139495032536562/55213826278614699557, c_0011_0 - 1, c_0011_2 - 4252923837884313730/55213826278614699557*c_0101_3^13 + 52591739845324789594/55213826278614699557*c_0101_3^12 + 49226657788716336363/55213826278614699557*c_0101_3^11 - 745610985730720808403/55213826278614699557*c_0101_3^10 + 459839488492531245768/55213826278614699557*c_0101_3^9 + 4444284877463932017895/55213826278614699557*c_0101_3^8 - 3703030486867652898150/55213826278614699557*c_0101_3^7 - 9189162043045262041677/55213826278614699557*c_0101_3^6 + 7804822992165150203567/55213826278614699557*c_0101_3^5 + 4333379197020774572012/55213826278614699557*c_0101_3^4 - 2656357329372267543332/55213826278614699557*c_0101_3^3 - 532971452663658376030/55213826278614699557*c_0101_3^2 + 36187689103219852847/55213826278614699557*c_0101_3 + 42475807998720589830/55213826278614699557, c_0011_4 - 64990487154137866/55213826278614699557*c_0101_3^13 - 121450125358669649/55213826278614699557*c_0101_3^12 + 12131619165968942108/55213826278614699557*c_0101_3^11 - 118530189747421340/55213826278614699557*c_0101_3^10 - 152457374271168119652/55213826278614699557*c_0101_3^9 + 162695655781254321963/55213826278614699557*c_0101_3^8 + 887411431195559957799/55213826278614699557*c_0101_3^7 - 898710830611140353140/55213826278614699557*c_0101_3^6 - 1725073897903361981956/55213826278614699557*c_0101_3^5 + 1658723373942784988317/55213826278614699557*c_0101_3^4 + 600215632227904053759/55213826278614699557*c_0101_3^3 - 496731068919583030843/55213826278614699557*c_0101_3^2 - 10094759501584578947/55213826278614699557*c_0101_3 + 7024593113164001594/55213826278614699557, c_0011_6 - 486706841138401778/55213826278614699557*c_0101_3^13 + 5123119965627442217/55213826278614699557*c_0101_3^12 + 16246799916603593810/55213826278614699557*c_0101_3^11 - 69876031856617555506/55213826278614699557*c_0101_3^10 - 92282843795406300386/55213826278614699557*c_0101_3^9 + 540368606196599516065/55213826278614699557*c_0101_3^8 + 473227106580354969156/55213826278614699557*c_0101_3^7 - 1394368971002153666923/55213826278614699557*c_0101_3^6 - 842862526010978615781/55213826278614699557*c_0101_3^5 + 1322616326320057987049/55213826278614699557*c_0101_3^4 + 313732080881035660754/55213826278614699557*c_0101_3^3 - 278678816252050359819/55213826278614699557*c_0101_3^2 + 4724535860482608433/55213826278614699557*c_0101_3 - 12498949644306485621/55213826278614699557, c_0101_0 + 2610718839056579789/55213826278614699557*c_0101_3^13 - 33790965182871861578/55213826278614699557*c_0101_3^12 - 11343436969714753935/55213826278614699557*c_0101_3^11 + 472799038168471062756/55213826278614699557*c_0101_3^10 - 556574682032316778057/55213826278614699557*c_0101_3^9 - 2538232497534513158357/55213826278614699557*c_0101_3^8 + 3914501921697876981019/55213826278614699557*c_0101_3^7 + 4107931638682513688679/55213826278614699557*c_0101_3^6 - 8435710931090079288101/55213826278614699557*c_0101_3^5 + 480364837922096779163/55213826278614699557*c_0101_3^4 + 3749590196483761517129/55213826278614699557*c_0101_3^3 - 749211527226578092259/55213826278614699557*c_0101_3^2 - 286268983565998606701/55213826278614699557*c_0101_3 + 5693241939766324473/55213826278614699557, c_0101_1 + 3710819489001322875/55213826278614699557*c_0101_3^13 - 44711138650752241073/55213826278614699557*c_0101_3^12 - 56291542041615426175/55213826278614699557*c_0101_3^11 + 623236052561898600669/55213826278614699557*c_0101_3^10 - 223302887797596599876/55213826278614699557*c_0101_3^9 - 3826847023115615716133/55213826278614699557*c_0101_3^8 + 2053200537171819466948/55213826278614699557*c_0101_3^7 + 7882321393355556009253/55213826278614699557*c_0101_3^6 - 4444139602994514583250/55213826278614699557*c_0101_3^5 - 3844715066677840607643/55213826278614699557*c_0101_3^4 + 1096920442223798203611/55213826278614699557*c_0101_3^3 + 526447202415434291883/55213826278614699557*c_0101_3^2 + 128083606177747933109/55213826278614699557*c_0101_3 - 13066607343321027968/55213826278614699557, c_0101_3^14 - 12*c_0101_3^13 - 16*c_0101_3^12 + 170*c_0101_3^11 - 47*c_0101_3^10 - 1071*c_0101_3^9 + 501*c_0101_3^8 + 2384*c_0101_3^7 - 1111*c_0101_3^6 - 1523*c_0101_3^5 + 333*c_0101_3^4 + 299*c_0101_3^3 + 19*c_0101_3^2 - 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB