Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 1393741696] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1290 geometric_solution 5.18395161 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.385556032178 0.196542561444 0 0 2 2 0132 2310 2310 0132 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 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 1.351191781014 0.949085703987 3 1 1 4 0132 3201 0132 0132 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 0 0 0 0 -1 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 0 0.816508947972 0.192086675911 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 -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.010422605238 0.784395657314 6 5 2 3 0132 1023 0132 0321 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 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.010422605238 0.784395657314 4 5 3 5 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808086004173 1.004043793822 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 1 0 -1 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 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.010648001337 0.606473810188 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], '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_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], '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_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 182892458518721066454799859915/32024582902785990750344473022464*c_0\ 110_5^21 - 795734465380439368783829906321/3202458290278599075034447\ 3022464*c_0110_5^19 + 38319655744495832005469932676127/320245829027\ 85990750344473022464*c_0110_5^17 - 47875943099441649553386501717935/4003072862848248843793059127808*c_\ 0110_5^15 + 559588220607400542240784816010165/320245829027859907503\ 44473022464*c_0110_5^13 + 2692383212003151000595574422404679/320245\ 82902785990750344473022464*c_0110_5^11 - 1205498993993873239186034818088525/8006145725696497687586118255616*\ c_0110_5^9 - 890330322477317402738533280869897/40030728628482488437\ 93059127808*c_0110_5^7 + 21290132760026634354778363697525443/320245\ 82902785990750344473022464*c_0110_5^5 - 8264612227982918156223038186545343/16012291451392995375172236511232\ *c_0110_5^3 + 3881256060101925277663982702945/312740067410019440921\ 33274436*c_0110_5, c_0011_0 - 1, c_0011_2 - 2080719869810933294698825/1525561304439119224006501192*c_011\ 0_5^20 + 5201709202725313383328631/1525561304439119224006501192*c_0\ 110_5^18 - 424036755446721455311369609/1525561304439119224006501192\ *c_0110_5^16 + 891683844635817953394180285/381390326109779806001625\ 298*c_0110_5^14 + 701895911026203853859283297/152556130443911922400\ 6501192*c_0110_5^12 - 33270674804189652950705445457/152556130443911\ 9224006501192*c_0110_5^10 - 917547946174850939717754822/19069516305\ 4889903000812649*c_0110_5^8 + 12995510309962355748388382848/1906951\ 63054889903000812649*c_0110_5^6 - 43049501059028688231484487385/152\ 5561304439119224006501192*c_0110_5^4 - 3139474809460295774921094961/762780652219559612003250596*c_0110_5^2 - 284227194783612702891106204/190695163054889903000812649, c_0011_4 - 3655516591626667822683449/6102245217756476896026004768*c_011\ 0_5^21 + 10482997561625592033416803/6102245217756476896026004768*c_\ 0110_5^19 - 747935087538216803061995245/610224521775647689602600476\ 8*c_0110_5^17 + 408713150781064144377018285/38139032610977980600162\ 5298*c_0110_5^15 - 991251832854962873319579559/61022452177564768960\ 26004768*c_0110_5^13 - 59541595959919947104249459477/61022452177564\ 76896026004768*c_0110_5^11 + 2030759088569366053144599569/152556130\ 4439119224006501192*c_0110_5^9 + 24222112297236509701187117095/7627\ 80652219559612003250596*c_0110_5^7 - 139098296581520588192956635361/6102245217756476896026004768*c_0110_\ 5^5 - 1416431115803601492551563287/3051122608878238448013002384*c_0\ 110_5^3 + 63261215353429885725728363/381390326109779806001625298*c_\ 0110_5, c_0101_0 + 723792892737560480302859/1525561304439119224006501192*c_0110\ _5^21 - 867495579516149644912141/762780652219559612003250596*c_0110\ _5^19 + 73568112702682379532374005/762780652219559612003250596*c_01\ 10_5^17 - 1225156660707848320170093549/1525561304439119224006501192\ *c_0110_5^15 - 408744449095839930239006571/152556130443911922400650\ 1192*c_0110_5^13 + 1480684810573608671740749398/1906951630548899030\ 00812649*c_0110_5^11 + 3910769902075860162400858719/152556130443911\ 9224006501192*c_0110_5^9 - 9661086487397647874481072501/38139032610\ 9779806001625298*c_0110_5^7 + 9452214919275778524290081091/15255613\ 04439119224006501192*c_0110_5^5 + 11550808375837498595858429209/152\ 5561304439119224006501192*c_0110_5^3 + 143631710859153122017114201/762780652219559612003250596*c_0110_5, c_0101_1 + 4970957272607005460931115/6102245217756476896026004768*c_011\ 0_5^20 - 12849430276093305118003505/6102245217756476896026004768*c_\ 0110_5^18 + 1013452062177823076954461599/61022452177564768960260047\ 68*c_0110_5^16 - 1075739839015449657351030367/762780652219559612003\ 250596*c_0110_5^14 - 1085578984996782676707798027/61022452177564768\ 96026004768*c_0110_5^12 + 80671634393910925639909587975/61022452177\ 56476896026004768*c_0110_5^10 + 2871016517427451408028525483/152556\ 1304439119224006501192*c_0110_5^8 - 32386798075442055077505114213/762780652219559612003250596*c_0110_5^\ 6 + 117336649091864035460669312387/6102245217756476896026004768*c_0\ 110_5^4 + 13635514634627434077171751441/305112260887823844801300238\ 4*c_0110_5^2 + 58618625092209032649342207/1906951630548899030008126\ 49, c_0101_3 + 4376983368767300123482757/6102245217756476896026004768*c_011\ 0_5^20 - 10800200923134387898297407/6102245217756476896026004768*c_\ 0110_5^18 + 891287017078400342674223953/610224521775647689602600476\ 8*c_0110_5^16 - 934215453814870750491273601/76278065221955961200325\ 0596*c_0110_5^14 - 1791918781499921191692926021/6102245217756476896\ 026004768*c_0110_5^12 + 70426043875947078200309725417/6102245217756\ 476896026004768*c_0110_5^10 + 4695874025654601894131067525/15255613\ 04439119224006501192*c_0110_5^8 - 27909919641081379724464593511/762\ 780652219559612003250596*c_0110_5^6 + 75493084675055001874362350189/6102245217756476896026004768*c_0110_5\ ^4 + 13980982917379423553792125599/3051122608878238448013002384*c_0\ 110_5^2 + 242755828290461019998150037/190695163054889903000812649, c_0110_5^22 - 3*c_0110_5^20 + 205*c_0110_5^18 - 1816*c_0110_5^16 + 511*c_0110_5^14 + 16229*c_0110_5^12 - 4428*c_0110_5^10 - 52376*c_0110_5^8 + 45417*c_0110_5^6 - 5802*c_0110_5^4 - 928*c_0110_5^2 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB