Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 3103335515] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0591 geometric_solution 4.60667762 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 -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.569052905840 0.337478841322 3 2 2 0 0132 3012 2031 0132 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 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.699941115642 0.771004526013 1 3 0 1 1230 3201 0132 1302 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 -1 1 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.699941115642 0.771004526013 1 4 2 4 0132 0132 2310 1023 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.823280164165 1.124787911811 5 3 5 3 0132 0132 1023 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 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.727269476154 0.349997996000 4 6 4 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810990808910 0.106251114648 6 5 6 5 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852680808734 0.058149031740 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_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' : 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_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], '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_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 9050077436389471897/185086870825272438*c_0101_6^13 + 106215837067991009707/740347483301089752*c_0101_6^12 + 545303574445981035521/246782494433696584*c_0101_6^11 + 2135527029366341426537/370173741650544876*c_0101_6^10 + 157946927817112150870/92543435412636219*c_0101_6^9 - 6579907312561186335653/246782494433696584*c_0101_6^8 - 4681741164475227435793/92543435412636219*c_0101_6^7 - 413196719021376581317/185086870825272438*c_0101_6^6 + 3679483275328235428321/92543435412636219*c_0101_6^5 + 60991531296347568131/185086870825272438*c_0101_6^4 - 8112503369974857873905/740347483301089752*c_0101_6^3 + 4185827573644383788933/740347483301089752*c_0101_6^2 + 1204272430285167456151/370173741650544876*c_0101_6 + 235108921043213836235/740347483301089752, c_0011_0 - 1, c_0011_1 + 750333105467983/11217386110622572*c_0101_2*c_0101_6^13 - 1225764941705601/5608693055311286*c_0101_2*c_0101_6^12 - 33057790970991687/11217386110622572*c_0101_2*c_0101_6^11 - 58189131191389202/8413039582966929*c_0101_2*c_0101_6^10 - 5855553629849315/33652158331867716*c_0101_2*c_0101_6^9 + 1214298760066137613/33652158331867716*c_0101_2*c_0101_6^8 + 956399513126355499/16826079165933858*c_0101_2*c_0101_6^7 - 40412542455168124/2804346527655643*c_0101_2*c_0101_6^6 - 255519196391995813/5608693055311286*c_0101_2*c_0101_6^5 + 188061339718166227/11217386110622572*c_0101_2*c_0101_6^4 + 141273694479684959/16826079165933858*c_0101_2*c_0101_6^3 - 116714452105941737/11217386110622572*c_0101_2*c_0101_6^2 - 15270598569368523/11217386110622572*c_0101_2*c_0101_6 - 6215066164736801/33652158331867716*c_0101_2, c_0101_1 - 401162908233400/2804346527655643*c_0101_6^13 + 1279147729180855/2804346527655643*c_0101_6^12 + 53363958165302447/8413039582966929*c_0101_6^11 + 128558265957704884/8413039582966929*c_0101_6^10 + 11286231760731427/8413039582966929*c_0101_6^9 - 218037353022673846/2804346527655643*c_0101_6^8 - 1077066602804935154/8413039582966929*c_0101_6^7 + 65432146968759390/2804346527655643*c_0101_6^6 + 295411445749366013/2804346527655643*c_0101_6^5 - 225374373186250438/8413039582966929*c_0101_6^4 - 191786446622573188/8413039582966929*c_0101_6^3 + 63826430746943259/2804346527655643*c_0101_6^2 + 32630941084743971/8413039582966929*c_0101_6 + 1084058129218775/8413039582966929, c_0101_2^2 - 401162908233400/2804346527655643*c_0101_6^13 + 1279147729180855/2804346527655643*c_0101_6^12 + 53363958165302447/8413039582966929*c_0101_6^11 + 128558265957704884/8413039582966929*c_0101_6^10 + 11286231760731427/8413039582966929*c_0101_6^9 - 218037353022673846/2804346527655643*c_0101_6^8 - 1077066602804935154/8413039582966929*c_0101_6^7 + 65432146968759390/2804346527655643*c_0101_6^6 + 295411445749366013/2804346527655643*c_0101_6^5 - 225374373186250438/8413039582966929*c_0101_6^4 - 191786446622573188/8413039582966929*c_0101_6^3 + 63826430746943259/2804346527655643*c_0101_6^2 + 32630941084743971/8413039582966929*c_0101_6 - 7328981453748154/8413039582966929, c_0101_4 - 1666810219810943/33652158331867716*c_0101_6^13 + 2698428334251253/16826079165933858*c_0101_6^12 + 73430463869853395/33652158331867716*c_0101_6^11 + 29251683722472843/5608693055311286*c_0101_6^10 + 14689328357062871/33652158331867716*c_0101_6^9 - 299918934415195271/11217386110622572*c_0101_6^8 - 122656457877370792/2804346527655643*c_0101_6^7 + 62274370262942695/8413039582966929*c_0101_6^6 + 303942250215957589/8413039582966929*c_0101_6^5 - 57893638767396617/11217386110622572*c_0101_6^4 - 70281027046373105/8413039582966929*c_0101_6^3 + 170036932377178405/33652158331867716*c_0101_6^2 + 35499704720808777/11217386110622572*c_0101_6 - 693179219480201/11217386110622572, c_0101_5 - 4546587024345161/33652158331867716*c_0101_6^13 + 3588817423380247/8413039582966929*c_0101_6^12 + 67324847107511033/11217386110622572*c_0101_6^11 + 246239241325456859/16826079165933858*c_0101_6^10 + 60255740445049385/33652158331867716*c_0101_6^9 - 2471969862903948881/33652158331867716*c_0101_6^8 - 347134244980851684/2804346527655643*c_0101_6^7 + 144937220034096844/8413039582966929*c_0101_6^6 + 285745750068549582/2804346527655643*c_0101_6^5 - 587791261522916425/33652158331867716*c_0101_6^4 - 388682669780369857/16826079165933858*c_0101_6^3 + 196655718761346343/11217386110622572*c_0101_6^2 + 161013107179876397/33652158331867716*c_0101_6 - 1519987669108021/11217386110622572, c_0101_6^14 - 3*c_0101_6^13 - 45*c_0101_6^12 - 115*c_0101_6^11 - 27*c_0101_6^10 + 548*c_0101_6^9 + 999*c_0101_6^8 - 24*c_0101_6^7 - 820*c_0101_6^6 + 45*c_0101_6^5 + 227*c_0101_6^4 - 129*c_0101_6^3 - 60*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB