Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1444399748] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1317 geometric_solution 5.20148296 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -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.480993794532 0.496417858166 0 3 2 4 0132 0132 1230 0132 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 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.658004463565 0.793254492596 3 0 4 1 3201 0132 3201 3012 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 -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.658004463565 0.793254492596 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.335821393258 1.117673968064 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.136419090718 0.750677658326 4 4 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.262925172569 0.371566281526 5 6 5 6 2310 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 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.316419177670 0.681147086723 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6820240712/8820023843*c_0101_6^18 + 30021946608/8820023843*c_0101_6^17 + 52338027222/8820023843*c_0101_6^16 - 421096216304/8820023843*c_0101_6^15 + 492626408188/8820023843*c_0101_6^14 + 741365273096/8820023843*c_0101_6^13 - 2784288833473/8820023843*c_0101_6^12 + 2499198918460/8820023843*c_0101_6^11 + 3145155180639/8820023843*c_0101_6^10 - 8249173859858/8820023843*c_0101_6^9 + 2892011143310/8820023843*c_0101_6^8 + 6362700133333/8820023843*c_0101_6^7 - 6045572106724/8820023843*c_0101_6^6 + 803962961131/8820023843*c_0101_6^5 + 1233901803060/8820023843*c_0101_6^4 - 1658683615401/8820023843*c_0101_6^3 + 1008926092334/8820023843*c_0101_6^2 + 34533103254/8820023843*c_0101_6 - 137114470452/8820023843, c_0011_0 - 1, c_0011_4 - 4794967438/26460071529*c_0101_6^18 + 11667982135/8820023843*c_0101_6^17 - 25017973329/8820023843*c_0101_6^16 - 4833896231/8820023843*c_0101_6^15 + 302200333327/26460071529*c_0101_6^14 - 170104579638/8820023843*c_0101_6^13 + 21858808222/8820023843*c_0101_6^12 + 1025888817656/26460071529*c_0101_6^11 - 1313570799742/26460071529*c_0101_6^10 - 39216622255/8820023843*c_0101_6^9 + 1378910482453/26460071529*c_0101_6^8 - 914447353048/26460071529*c_0101_6^7 - 4631497253/26460071529*c_0101_6^6 + 127804939168/8820023843*c_0101_6^5 - 410480099960/26460071529*c_0101_6^4 + 42675683028/8820023843*c_0101_6^3 + 21225780386/8820023843*c_0101_6^2 - 31587323635/26460071529*c_0101_6 + 2791232666/8820023843, c_0011_6 - 10206995222/26460071529*c_0101_6^18 + 25802437246/8820023843*c_0101_6^17 - 57745325476/8820023843*c_0101_6^16 - 11854861583/8820023843*c_0101_6^15 + 731683996205/26460071529*c_0101_6^14 - 390460643662/8820023843*c_0101_6^13 + 2719357734/8820023843*c_0101_6^12 + 2628758200870/26460071529*c_0101_6^11 - 3031822906538/26460071529*c_0101_6^10 - 350034015344/8820023843*c_0101_6^9 + 3995410186676/26460071529*c_0101_6^8 - 1462863889553/26460071529*c_0101_6^7 - 1339639836697/26460071529*c_0101_6^6 + 349084381411/8820023843*c_0101_6^5 - 364297441330/26460071529*c_0101_6^4 + 1047482511/8820023843*c_0101_6^3 + 92249223064/8820023843*c_0101_6^2 - 105315704042/26460071529*c_0101_6 - 18956573072/8820023843, c_0101_0 - 19374273478/26460071529*c_0101_6^18 + 45538844140/8820023843*c_0101_6^17 - 87770996686/8820023843*c_0101_6^16 - 55709294150/8820023843*c_0101_6^15 + 1268774807554/26460071529*c_0101_6^14 - 572229121555/8820023843*c_0101_6^13 - 182201864087/8820023843*c_0101_6^12 + 4604974871867/26460071529*c_0101_6^11 - 4120762785130/26460071529*c_0101_6^10 - 955753304382/8820023843*c_0101_6^9 + 6337294599319/26460071529*c_0101_6^8 - 1556335313128/26460071529*c_0101_6^7 - 2376146936123/26460071529*c_0101_6^6 + 568197761100/8820023843*c_0101_6^5 - 630251077430/26460071529*c_0101_6^4 - 14206172583/8820023843*c_0101_6^3 + 147451822775/8820023843*c_0101_6^2 - 112506963742/26460071529*c_0101_6 - 22362490144/8820023843, c_0101_1 + 15556158292/26460071529*c_0101_6^18 - 36900643111/8820023843*c_0101_6^17 + 72361179954/8820023843*c_0101_6^16 + 42921261137/8820023843*c_0101_6^15 - 1040611758595/26460071529*c_0101_6^14 + 483803777801/8820023843*c_0101_6^13 + 117744783030/8820023843*c_0101_6^12 - 3786220267685/26460071529*c_0101_6^11 + 3649619623867/26460071529*c_0101_6^10 + 657109597087/8820023843*c_0101_6^9 - 5227570722433/26460071529*c_0101_6^8 + 1902968872051/26460071529*c_0101_6^7 + 1417044272411/26460071529*c_0101_6^6 - 525710098932/8820023843*c_0101_6^5 + 942176948717/26460071529*c_0101_6^4 - 41696421156/8820023843*c_0101_6^3 - 120091582570/8820023843*c_0101_6^2 + 180903231688/26460071529*c_0101_6 + 3876132909/8820023843, c_0101_2 + 9881787626/26460071529*c_0101_6^18 - 26567527465/8820023843*c_0101_6^17 + 67379553999/8820023843*c_0101_6^16 - 12818224156/8820023843*c_0101_6^15 - 723103770314/26460071529*c_0101_6^14 + 476002990116/8820023843*c_0101_6^13 - 170876240478/8820023843*c_0101_6^12 - 2466281246947/26460071529*c_0101_6^11 + 3927486768149/26460071529*c_0101_6^10 - 94808348393/8820023843*c_0101_6^9 - 3913238799164/26460071529*c_0101_6^8 + 2739049836551/26460071529*c_0101_6^7 + 324170072944/26460071529*c_0101_6^6 - 339199850571/8820023843*c_0101_6^5 + 799081153411/26460071529*c_0101_6^4 - 114737878243/8820023843*c_0101_6^3 - 60756912899/8820023843*c_0101_6^2 + 136754680529/26460071529*c_0101_6 + 4283508272/8820023843, c_0101_6^19 - 6*c_0101_6^18 + 6*c_0101_6^17 + 24*c_0101_6^16 - 58*c_0101_6^15 + 18*c_0101_6^14 + 129*c_0101_6^13 - 218*c_0101_6^12 - 41*c_0101_6^11 + 396*c_0101_6^10 - 190*c_0101_6^9 - 272*c_0101_6^8 + 227*c_0101_6^7 + 24*c_0101_6^6 - 58*c_0101_6^5 + 48*c_0101_6^4 - 27*c_0101_6^3 - 17*c_0101_6^2 + 12*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB