Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 678016078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s740 geometric_solution 5.26422283 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.356918864268 0.530606231114 3 2 4 0 0132 3012 0132 0132 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 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.602071705405 0.963651940703 1 3 0 4 1230 0132 0132 3201 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 -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.602071705405 0.963651940703 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923997153022 1.097908231205 5 2 5 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869717420198 1.554334683448 4 5 4 5 0132 1302 1023 2031 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436363454573 0.192217383556 ==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_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_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_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 600349046066396483190/40237650529560775223*c_0101_4^18 - 216271508189421883432/40237650529560775223*c_0101_4^17 + 4158397608074465671971/40237650529560775223*c_0101_4^16 - 15300422653734808426187/40237650529560775223*c_0101_4^15 - 7534018104504433557426/40237650529560775223*c_0101_4^14 + 94829410748471953337575/40237650529560775223*c_0101_4^13 - 12936624144274001728958/40237650529560775223*c_0101_4^12 - 131603234269935321960272/40237650529560775223*c_0101_4^11 - 93546646948459505695139/40237650529560775223*c_0101_4^10 + 185758244351916354335039/40237650529560775223*c_0101_4^9 + 94273012320186643354861/40237650529560775223*c_0101_4^8 - 175253887614690015077792/40237650529560775223*c_0101_4^7 + 112511200430747146692163/40237650529560775223*c_0101_4^6 - 47653462932989440835498/40237650529560775223*c_0101_4^5 - 9569637425462932467201/40237650529560775223*c_0101_4^4 - 14266791440119804421538/40237650529560775223*c_0101_4^3 + 13629221691085966740959/40237650529560775223*c_0101_4^2 + 6725682861162834552377/40237650529560775223*c_0101_4 - 2202137127337527620129/40237650529560775223, c_0011_0 - 1, c_0011_1 + 13943653217983236925/40237650529560775223*c_0101_4^18 + 11178584470866048173/40237650529560775223*c_0101_4^17 - 86345741808369725670/40237650529560775223*c_0101_4^16 + 322679652021303664858/40237650529560775223*c_0101_4^15 + 286615206792416988237/40237650529560775223*c_0101_4^14 - 1958872479166783640312/40237650529560775223*c_0101_4^13 - 433222114699157699439/40237650529560775223*c_0101_4^12 + 2165505851219970729309/40237650529560775223*c_0101_4^11 + 2836917828183120844743/40237650529560775223*c_0101_4^10 - 2395325800808200784302/40237650529560775223*c_0101_4^9 - 2110561212154040918185/40237650529560775223*c_0101_4^8 + 2540726273601853793811/40237650529560775223*c_0101_4^7 - 2249537532641977908316/40237650529560775223*c_0101_4^6 + 889107254593195813463/40237650529560775223*c_0101_4^5 - 139073699736512516721/40237650529560775223*c_0101_4^4 + 558646115791710350594/40237650529560775223*c_0101_4^3 - 183394677038924263184/40237650529560775223*c_0101_4^2 - 94997593600098453071/40237650529560775223*c_0101_4 + 6615020602780149082/40237650529560775223, c_0011_4 - 53637757857564301494/40237650529560775223*c_0101_4^18 - 8980096951846508427/40237650529560775223*c_0101_4^17 + 379231615526294490591/40237650529560775223*c_0101_4^16 - 1430462749296401687659/40237650529560775223*c_0101_4^15 - 426946038449850486043/40237650529560775223*c_0101_4^14 + 8669097116042296805333/40237650529560775223*c_0101_4^13 - 2606359060219110013860/40237650529560775223*c_0101_4^12 - 11930498825890008359283/40237650529560775223*c_0101_4^11 - 6789712606892867229344/40237650529560775223*c_0101_4^10 + 18344094286086301960723/40237650529560775223*c_0101_4^9 + 6391517218889285135866/40237650529560775223*c_0101_4^8 - 16852531172093903153803/40237650529560775223*c_0101_4^7 + 12333035145370765834055/40237650529560775223*c_0101_4^6 - 6121787229935022444087/40237650529560775223*c_0101_4^5 - 130888560173063232439/40237650529560775223*c_0101_4^4 - 1379276200568836940309/40237650529560775223*c_0101_4^3 + 1553149976296257443545/40237650529560775223*c_0101_4^2 + 437316714628812780940/40237650529560775223*c_0101_4 - 219470636400529576099/40237650529560775223, c_0101_0 - 41852379537893851189/40237650529560775223*c_0101_4^18 - 3735240445469984260/40237650529560775223*c_0101_4^17 + 302250038006493114999/40237650529560775223*c_0101_4^16 - 1131229643768630984785/40237650529560775223*c_0101_4^15 - 277009110839879634628/40237650529560775223*c_0101_4^14 + 6907414792171856595076/40237650529560775223*c_0101_4^13 - 2372096689474143379945/40237650529560775223*c_0101_4^12 - 9857524035565217183420/40237650529560775223*c_0101_4^11 - 5144046475134719100282/40237650529560775223*c_0101_4^10 + 15340975905243302086686/40237650529560775223*c_0101_4^9 + 5279029912406908402379/40237650529560775223*c_0101_4^8 - 13890839684735385303980/40237650529560775223*c_0101_4^7 + 9634470139805258719449/40237650529560775223*c_0101_4^6 - 4737079353253645981508/40237650529560775223*c_0101_4^5 - 149785348282140055836/40237650529560775223*c_0101_4^4 - 1156801890356917360333/40237650529560775223*c_0101_4^3 + 1235006794257858609260/40237650529560775223*c_0101_4^2 + 390793198972689023653/40237650529560775223*c_0101_4 - 201847685025433488755/40237650529560775223, c_0101_1 - 73007108755141017404/40237650529560775223*c_0101_4^18 - 34344139830025171706/40237650529560775223*c_0101_4^17 + 485836072753767676077/40237650529560775223*c_0101_4^16 - 1828302645250634564745/40237650529560775223*c_0101_4^15 - 1030211354655256894754/40237650529560775223*c_0101_4^14 + 11087399332329937156230/40237650529560775223*c_0101_4^13 - 851401971647302400089/40237650529560775223*c_0101_4^12 - 14110644724269826844566/40237650529560775223*c_0101_4^11 - 11493400183292637787867/40237650529560775223*c_0101_4^10 + 19606784556561250573903/40237650529560775223*c_0101_4^9 + 9836780486855746016876/40237650529560775223*c_0101_4^8 - 19204609125154585655578/40237650529560775223*c_0101_4^7 + 14205641641419964697129/40237650529560775223*c_0101_4^6 - 6257710736600622781532/40237650529560775223*c_0101_4^5 - 234703765503484941303/40237650529560775223*c_0101_4^4 - 1872987962254092743352/40237650529560775223*c_0101_4^3 + 1462397623776664492838/40237650529560775223*c_0101_4^2 + 544229855387472618041/40237650529560775223*c_0101_4 - 231490801184677501073/40237650529560775223, c_0101_4^19 - 7*c_0101_4^17 + 28*c_0101_4^16 + 3*c_0101_4^15 - 161*c_0101_4^14 + 79*c_0101_4^13 + 203*c_0101_4^12 + 79*c_0101_4^11 - 356*c_0101_4^10 - 39*c_0101_4^9 + 333*c_0101_4^8 - 296*c_0101_4^7 + 162*c_0101_4^6 - 27*c_0101_4^5 + 26*c_0101_4^4 - 33*c_0101_4^3 - c_0101_4^2 + 6*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB