Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 1292685722] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1071 geometric_solution 4.94133728 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 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 1 0 -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.401628590445 0.165463983348 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 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 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.713298168214 0.454385989464 0 2 2 0 3201 3201 2310 0132 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.488409268138 0.294588897079 5 1 4 4 0132 0132 2310 1230 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 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.606057745936 1.254626543774 3 3 1 5 3012 3201 0132 1023 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 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.606057745936 1.254626543774 3 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.468532327144 0.704143446648 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 1.976964597284 1.209528760681 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), '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_0011_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 32227419/32*c_0101_6^32 - 306687641/32*c_0101_6^31 - 64527709/2*c_0101_6^30 - 797320913/32*c_0101_6^29 + 1749500543/16*c_0101_6^28 + 7934892115/32*c_0101_6^27 - 1677004379/32*c_0101_6^26 - 9221183183/16*c_0101_6^25 - 1732946051/32*c_0101_6^24 + 35152453751/32*c_0101_6^23 - 412160571/32*c_0101_6^22 - 19379999893/8*c_0101_6^21 - 6969537557/16*c_0101_6^20 + 66522904545/16*c_0101_6^19 + 62712524333/32*c_0101_6^18 - 151516472623/32*c_0101_6^17 - 110704468509/32*c_0101_6^16 + 118444522849/32*c_0101_6^15 + 7261136719/2*c_0101_6^14 - 69415412625/32*c_0101_6^13 - 84357308351/32*c_0101_6^12 + 35202238941/32*c_0101_6^11 + 22671770639/16*c_0101_6^10 - 18139555357/32*c_0101_6^9 - 8854767077/16*c_0101_6^8 + 4642908755/16*c_0101_6^7 + 4012792325/32*c_0101_6^6 - 3610488259/32*c_0101_6^5 + 64005287/16*c_0101_6^4 + 647891763/32*c_0101_6^3 - 270407003/32*c_0101_6^2 + 23067611/16*c_0101_6 - 2971661/32, c_0011_0 - 1, c_0011_2 - 33516*c_0101_6^32 - 337743*c_0101_6^31 - 1281236*c_0101_6^30 - 1681604*c_0101_6^29 + 2418175*c_0101_6^28 + 9902255*c_0101_6^27 + 5582060*c_0101_6^26 - 15213094*c_0101_6^25 - 14670749*c_0101_6^24 + 24713795*c_0101_6^23 + 21949328*c_0101_6^22 - 61247829*c_0101_6^21 - 67068627*c_0101_6^20 + 85901150*c_0101_6^19 + 145072571*c_0101_6^18 - 45992265*c_0101_6^17 - 178252748*c_0101_6^16 - 21017899*c_0101_6^15 + 138891680*c_0101_6^14 + 50716207*c_0101_6^13 - 76749765*c_0101_6^12 - 39894788*c_0101_6^11 + 33722736*c_0101_6^10 + 19053747*c_0101_6^9 - 12935501*c_0101_6^8 - 5733952*c_0101_6^7 + 4256485*c_0101_6^6 + 804391*c_0101_6^5 - 984741*c_0101_6^4 + 74885*c_0101_6^3 + 98234*c_0101_6^2 - 29491*c_0101_6 + 2510, c_0011_4 - 472878*c_0101_6^32 - 4308828*c_0101_6^31 - 13780408*c_0101_6^30 - 9123247*c_0101_6^29 + 47359307*c_0101_6^28 + 97989799*c_0101_6^27 - 28818337*c_0101_6^26 - 220268170*c_0101_6^25 + 4090812*c_0101_6^24 + 411951555*c_0101_6^23 - 66146042*c_0101_6^22 - 919018320*c_0101_6^21 - 80710462*c_0101_6^20 + 1561871910*c_0101_6^19 + 653430218*c_0101_6^18 - 1723451926*c_0101_6^17 - 1199236414*c_0101_6^16 + 1286121821*c_0101_6^15 + 1236866211*c_0101_6^14 - 712997180*c_0101_6^13 - 868372105*c_0101_6^12 + 342787353*c_0101_6^11 + 448026529*c_0101_6^10 - 169646861*c_0101_6^9 - 166815184*c_0101_6^8 + 83441371*c_0101_6^7 + 35763327*c_0101_6^6 - 30689010*c_0101_6^5 + 974536*c_0101_6^4 + 5131197*c_0101_6^3 - 2043885*c_0101_6^2 + 332396*c_0101_6 - 20403, c_0101_0 + 907599*c_0101_6^32 + 8123879*c_0101_6^31 + 25014633*c_0101_6^30 + 12344768*c_0101_6^29 - 96507773*c_0101_6^28 - 175091714*c_0101_6^27 + 95050647*c_0101_6^26 + 432185265*c_0101_6^25 - 82037904*c_0101_6^24 - 828087972*c_0101_6^23 + 258896918*c_0101_6^22 + 1813797584*c_0101_6^21 - 151496858*c_0101_6^20 - 3182748156*c_0101_6^19 - 773457143*c_0101_6^18 + 3775868487*c_0101_6^17 + 1873379638*c_0101_6^16 - 3114713132*c_0101_6^15 - 2169236352*c_0101_6^14 + 1936652676*c_0101_6^13 + 1634754322*c_0101_6^12 - 1015924799*c_0101_6^11 - 876666282*c_0101_6^10 + 501104572*c_0101_6^9 + 325641472*c_0101_6^8 - 228317830*c_0101_6^7 - 62241368*c_0101_6^6 + 77522345*c_0101_6^5 - 7657445*c_0101_6^4 - 11931884*c_0101_6^3 + 5479088*c_0101_6^2 - 971294*c_0101_6 + 63911, c_0101_1 + 40026*c_0101_6^32 + 359669*c_0101_6^31 + 1108066*c_0101_6^30 + 519615*c_0101_6^29 - 4413102*c_0101_6^28 - 7915797*c_0101_6^27 + 4607973*c_0101_6^26 + 20187762*c_0101_6^25 - 3798388*c_0101_6^24 - 38851351*c_0101_6^23 + 11592264*c_0101_6^22 + 84471912*c_0101_6^21 - 7614854*c_0101_6^20 - 149856590*c_0101_6^19 - 34651193*c_0101_6^18 + 181107449*c_0101_6^17 + 87817957*c_0101_6^16 - 151991598*c_0101_6^15 - 104254361*c_0101_6^14 + 95589247*c_0101_6^13 + 79924739*c_0101_6^12 - 50334347*c_0101_6^11 - 43430535*c_0101_6^10 + 24823159*c_0101_6^9 + 16363993*c_0101_6^8 - 11357462*c_0101_6^7 - 3218722*c_0101_6^6 + 3905833*c_0101_6^5 - 359235*c_0101_6^4 - 615797*c_0101_6^3 + 279389*c_0101_6^2 - 49227*c_0101_6 + 3223, c_0101_3 - 21*c_0101_6^32 - 176*c_0101_6^31 - 467*c_0101_6^30 + 81*c_0101_6^29 + 2487*c_0101_6^28 + 2759*c_0101_6^27 - 4948*c_0101_6^26 - 9179*c_0101_6^25 + 8393*c_0101_6^24 + 19272*c_0101_6^23 - 18376*c_0101_6^22 - 40805*c_0101_6^21 + 30766*c_0101_6^20 + 76592*c_0101_6^19 - 29191*c_0101_6^18 - 106626*c_0101_6^17 + 10872*c_0101_6^16 + 108160*c_0101_6^15 + 7211*c_0101_6^14 - 83503*c_0101_6^13 - 12252*c_0101_6^12 + 51822*c_0101_6^11 + 7217*c_0101_6^10 - 26793*c_0101_6^9 - 901*c_0101_6^8 + 11148*c_0101_6^7 - 1843*c_0101_6^6 - 3078*c_0101_6^5 + 1409*c_0101_6^4 + 215*c_0101_6^3 - 340*c_0101_6^2 + 114*c_0101_6 - 16, c_0101_6^33 + 176/21*c_0101_6^32 + 467/21*c_0101_6^31 - 27/7*c_0101_6^30 - 829/7*c_0101_6^29 - 2759/21*c_0101_6^28 + 4948/21*c_0101_6^27 + 9179/21*c_0101_6^26 - 1199/3*c_0101_6^25 - 6424/7*c_0101_6^24 + 18376/21*c_0101_6^23 + 40805/21*c_0101_6^22 - 30766/21*c_0101_6^21 - 76592/21*c_0101_6^20 + 29191/21*c_0101_6^19 + 35542/7*c_0101_6^18 - 3624/7*c_0101_6^17 - 108160/21*c_0101_6^16 - 7211/21*c_0101_6^15 + 11929/3*c_0101_6^14 + 4084/7*c_0101_6^13 - 17274/7*c_0101_6^12 - 1031/3*c_0101_6^11 + 8931/7*c_0101_6^10 + 901/21*c_0101_6^9 - 3716/7*c_0101_6^8 + 1843/21*c_0101_6^7 + 1026/7*c_0101_6^6 - 1409/21*c_0101_6^5 - 215/21*c_0101_6^4 + 340/21*c_0101_6^3 - 113/21*c_0101_6^2 + 17/21*c_0101_6 - 1/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB