Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 2395935308] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0509 geometric_solution 4.51700420 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.641196812907 0.198854106224 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.936059632810 0.242380772331 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 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 1.208593965560 0.340574322175 4 2 5 4 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -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 -1 1 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.106085358190 0.626347298262 3 5 2 3 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -1 0 1 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 -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 1.106085358190 0.626347298262 6 4 6 3 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 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 -1 1 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.455772309135 0.428252340332 5 5 6 6 0132 3201 2031 1302 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 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.584832544152 0.333012677831 ==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' : d['c_0101_3'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : 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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 8106029000870511489239881/12740571568981148579313856*c_1001_3^11 + 1100642792549662231826367/179444669985649979990336*c_1001_3^10 + 542456380249724677825798989/12740571568981148579313856*c_1001_3^9 + 1080077761510284980442601181/6370285784490574289656928*c_1001_3^8 + 158376846344164457207459343/374722693205327899391584*c_1001_3^7 + 2625787356823395525363724991/6370285784490574289656928*c_1001_3^6 - 596554202803993236013829765/12740571568981148579313856*c_1001_3^5 - 12990524284128038531284672711/12740571568981148579313856*c_1001_3^4 - 1179577250665202600435821077/1592571446122643572414232*c_1001_3^3 + 1502636665574892984114469441/3185142892245287144828464*c_1001_3^2 + 3649678923365980164498805219/12740571568981148579313856*c_1001_3 - 944595230353328658371963597/12740571568981148579313856, c_0011_0 - 1, c_0011_1 - 194781318863163803/164930762854457702197*c_1001_3^11 - 914880073861356343/164930762854457702197*c_1001_3^10 - 4361229751007579142/164930762854457702197*c_1001_3^9 + 7286408782059450687/164930762854457702197*c_1001_3^8 + 92070255274043417169/164930762854457702197*c_1001_3^7 + 389564069914141830249/164930762854457702197*c_1001_3^6 + 377451051491780355006/164930762854457702197*c_1001_3^5 + 183944488342108666643/164930762854457702197*c_1001_3^4 - 1014818455303881742587/164930762854457702197*c_1001_3^3 - 304821929360892252635/164930762854457702197*c_1001_3^2 + 572565934607941653578/164930762854457702197*c_1001_3 - 208071246496151268367/164930762854457702197, c_0101_0 - 497369590508259328/164930762854457702197*c_1001_3^11 - 3537767532061009788/164930762854457702197*c_1001_3^10 - 22298613393650327548/164930762854457702197*c_1001_3^9 - 58213155631087362159/164930762854457702197*c_1001_3^8 - 61078704022285757306/164930762854457702197*c_1001_3^7 + 280259252720037187361/164930762854457702197*c_1001_3^6 + 357080710142959880378/164930762854457702197*c_1001_3^5 + 571585061925492632972/164930762854457702197*c_1001_3^4 - 947067535664571573023/164930762854457702197*c_1001_3^3 - 219437057187501542154/164930762854457702197*c_1001_3^2 + 465015027065714749926/164930762854457702197*c_1001_3 - 326333761469989960594/164930762854457702197, c_0101_1 - 1340272227224223706/164930762854457702197*c_1001_3^11 - 11503398507783546267/164930762854457702197*c_1001_3^10 - 77515366693339194802/164930762854457702197*c_1001_3^9 - 275683632824194594284/164930762854457702197*c_1001_3^8 - 603762804443805995187/164930762854457702197*c_1001_3^7 - 266289230179826672814/164930762854457702197*c_1001_3^6 + 231182583096999327522/164930762854457702197*c_1001_3^5 + 1517946794195739820855/164930762854457702197*c_1001_3^4 - 468580056647044590641/164930762854457702197*c_1001_3^3 - 673248203965051177944/164930762854457702197*c_1001_3^2 + 660799848810571263193/164930762854457702197*c_1001_3 - 46449601391036053585/164930762854457702197, c_0101_3 - 1176615798935351685/164930762854457702197*c_1001_3^11 - 10509885131743181814/164930762854457702197*c_1001_3^10 - 71547603722856806932/164930762854457702197*c_1001_3^9 - 265276772633371607797/164930762854457702197*c_1001_3^8 - 610540452714439641996/164930762854457702197*c_1001_3^7 - 397292571372388505280/164930762854457702197*c_1001_3^6 + 191712856732346250614/164930762854457702197*c_1001_3^5 + 1538834110849442960249/164930762854457702197*c_1001_3^4 + 152138109401449030476/164930762854457702197*c_1001_3^3 - 734434640834601523627/164930762854457702197*c_1001_3^2 + 318142934978245420659/164930762854457702197*c_1001_3 + 137501619345922359/164930762854457702197, c_0101_5 - 831549961832680602/164930762854457702197*c_1001_3^11 - 6724224872778237004/164930762854457702197*c_1001_3^10 - 44200996474097278725/164930762854457702197*c_1001_3^9 - 144105040162752117695/164930762854457702197*c_1001_3^8 - 268712129313085366302/164930762854457702197*c_1001_3^7 + 98087955485904753145/164930762854457702197*c_1001_3^6 + 407813310366237152702/164930762854457702197*c_1001_3^5 + 1007724108552807164957/164930762854457702197*c_1001_3^4 - 723651165965353468759/164930762854457702197*c_1001_3^3 - 645487821588300327280/164930762854457702197*c_1001_3^2 + 594378957458768027600/164930762854457702197*c_1001_3 - 181754605212495847716/164930762854457702197, c_1001_3^12 + 9*c_1001_3^11 + 61*c_1001_3^10 + 226*c_1001_3^9 + 510*c_1001_3^8 + 286*c_1001_3^7 - 333*c_1001_3^6 - 1415*c_1001_3^5 - 144*c_1001_3^4 + 1124*c_1001_3^3 - 213*c_1001_3^2 - 285*c_1001_3 + 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB